[基于Tableau方法的标记逻辑]唐中兴

【基於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}或更广,这使得 标记逻辑可以描述许多在经典逻辑中无法描述的事实。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。