摘要
常识揄的难点是前提知识的不完备性、揄规则的不精确性以及知识中显性或隐性矛盾存在的普遍性。常识推理的第一个特点是“常识性”,“
This paper describes a fault-tolerant reasoning system FTRS base on Paraconsistent Circumscription LPCm theory. FTRS is a system of commonsense reasoning with incomplete and inconsistent knowledge.
出处
《计算机科学》
CSCD
北大核心
1998年第2期33-36,共4页
Computer Science
关键词
容错推理系统
FTRS
设计
人工智能
Paraconsistent circumscription
Tableaux
Fault-tolerant reasoning
PROLOG
