次协调逻辑下的自动推理

次协调逻辑下的自动推理 AUTOMATIC REASONING IN PARA-CONSISTENT LOGIC 朱福喜 1 2 first-author 刘莉萍 1 2 傅建明 1 2 武汉大学计算机科学与技术学院,武汉 武汉大学计算机科学与技术学院,武汉 College of Computer Science and Technology,Wuhan University, Wuhan 430072,China)0 College of Computer Science and Technology,Wuhan University, Wuhan 430072,China)0 ,430072 ,430072 引进了一套次协调逻辑系统──注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次协调性后，仍然可以进行正常的推理． In this paper we introduce a liner resolution method of annotate logic in a kind of paraconsistent logic system and discuss it, and then present several propositions. Furthermore we use a reasoning example to illustrate that if a para--consistence occurs in this logic system, it does not obstruct normal reasoning. 次协调 注解逻辑 线性归结 次协调反驳 para-consistence liner resolution annotate logic para--consistent refutation O141 湖北省自然科学基金(2017CFA007) 1998-05-01 2021-04-01 5