Reasoning Consistently about Inconsistency
Reasoning Consistently about Inconsistency
复制标题
对不一致的情况进行一致的推理
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
S. A. McCoy
中科院分区：
文献类型：
--
作者：
C. Hinde;Robert Steven Patching;R. Stone;Daniela Xhemali;S. A. McCoy
修补等。和欣德等人。在他们关于真值空间质量分配的工作中，提出了处理不一致的质量分配逻辑的语义统一函数和语义分离函数。本文采用这两个函数，在保留外部不一致的同时展示了如何以一致的方式推理不一致。这意味着系统外部出现的不一致不需要进入系统，而是需要在系统内部表示，因此可以适当地提取为系统的输出，以作为外部的不一致出现。因此，内部推理系统只需要关心对真、假和不确定性的信念。
Patching et al. and Hinde et al. in their work on truth-space mass assignments, presented a semantic unification function and a semantic separation function for mass assignment logic that dealt with inconsistency. This paper takes these two functions and while preserving the outside inconsistencies shows how inconsistency can be reasoned about in a consistent manner. This means that inconsistency that arises outside the system need not enter the system, but needs to be represented within the system, and can therefore be extracted appropriately as output from the system to emerge as inconsistency on the outside. The internal reasoning system need therefore only concern itself with belief in truth, falsity and uncertainty.