【结论相容的次协调逻辑研究】李强.pdf

【结论相容的次协调逻辑研究】李强.pdf

结论相容的次协调逻辑研究 Rescarch onParaconsistent IogjOfConsistentConclusions 李强 导师:姜云飞教授 专业:计算机应用 吉林大学计算机科学系 九九九年五月多数处理不一致知识的推理系统是基1某种多值逻辑,如标记逻 辑,论逻辑等,但是它们所得出的结果有可能仍是不一致的.如 给定一个知识库r=pA-pAgA(g.r),p与p都是r的演经结果、但 在许多情况下,要求推理系统得出的结论应当是无矛盾的,即满足 下列条件(其中一表示给定逻辑系统的演纤关系,致性是经典二值 满足条件(C)的演绎结果被称为相容信念.推理系统的相容信念应 是演绎闭包的、极大的,这样的推理方法也被称作保守的、不轻信 本文首先在Priest的极小化论逻辑LP的基础上根据不-致推 理中对相容信念的要求,提出了一种新的结论相容的语义推理关系 m在前提一致的情况下其推理能力等价于第帝绪论 理系统的所知所能更力有限,离开其所擅长的专业领域,它连人类 起码的常识都不懂.始束询问个领域以外的问题,可能它会白 推理下去永不停机,也可能会依据“失败即否定”框架原理同答否,即使那是一个非常简单而又众所周知的事实,在不完全知识的推理 中,结论的推出不仅依靠于某些知识在前提中的存在,也有赖于 些认知在前提中得不存在:的此推离的结论是非单调的,可能会与 以后加入前提的知识相矛盾.缺省理论、限制推理等著名的非单调 推理就是这样一个出不完全知识向完全知识转化的过程,对这种不 二、知识的不精确性.人的认识无非通过两种方法获得:归纳与 演绎.