【基於Tableau方法的标记逻辑】唐中兴.pdf

录标记逻辑中的不相容性和极小后承推理关系=m6 目引起不相容性的原因处理前提知识中不相容的各种方法问题的提出和解决方法不相容性的传播标记逻辑和其它逻辑之间的关系标记逻辑中归结方法命题标记逻辑中的Tableau方法标记逻辑中的Tableau方法 =m的Tableau语义判断极小封闭的算法矛盾的传播一阶标记逻辑中的Tableau方法 =m的Tableau语义

第一章引言基于经典逻辑的推理方法,不能处理前提中出现的不相容情况.因此,在它们的推理过程中,必须保证推理的前提是相容的.但在现实推理过程中,保持前提的相容性是一件很困难的事、因此有必要过论在推理过程中不相容性存在的情况下如何继续推理的问题,我们统考虑关于“鸟会飞”的问题、假设前提集台S由以下公式组成因为S中存在着矛盾,所以在经典的推理方法中、从S可导出任何结论。但可以注意到,S中的矛盾与A5的存在无关,因此直觉上我们希望从s只能导出结论bird(fred),而不能导出结论bird(fred)。

Priest的淳论逻辑1P(1ogicofParadox) 10 是一种很重要的容错逻辑,LP能够将矛盾限制在一定的范围内,但LP的不足之处在于许多在经典逻辑中有效的结论在LP中却无法得到,LP的变形LPm(极小学论逻辑)克服了以上缺点,和大多数容错推理方法一样,LPm中的推理方法另外, 1 中的标记逻辑可以看成是所有容错逻辑中最有效的一个,其实质在于将原子的真值由uf扩展到(上,FT}或更广,这使得标记逻辑可以描述许多在经典逻辑中无法描述的事实。