基于APC的次协调自动推理系统的设计与实现  

Design and implementation of paraconsistent automatic reasoner based on APC

作　　者：朱三元[1] 朱福喜[2] 

机构地区：[1]孝感学院计算机科学系,湖北孝感432100 [2]武汉大学计算机学院,湖北武汉430079

出　　处：《计算机工程与设计》2007年第22期5482-5484,5487,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(90104005)

摘　　要：次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理。设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提高推理效率的多种策略。Paraconsistent logic is used to reason properly in contradictory circumstances and annotated predicates calculus based on extended truth values is an augmentation to classic predicates calculus. APC resolution can be used as automatic reasoning method in paraconsistent system. An automatic reasoner is designed to handle reasoning in both consistent and inconsistent circumstances, and several strategies are fulfilled to improve the efficiency of reasoning.

关 键 词：次协调 注解谓词演算 归结原理 自动推理机 推理策略 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]