摘要
本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出了在更一般意义上形式化常识推理的一些结果。
This paper discusses the logical foundation of commonsense reasoning.Depending on a technical approach from nonmonotonic reasoning to commonsense reasoning,some results of formalizing commonsense reasoning in more general sense are pointed out.It provides useful fundamental tools for solutions of the commonsense logic and the commonsense problem.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1997年第6期407-414,共8页
Journal of Computer Research and Development
基金
国家基础研究攀登计划
国家高技术"863"计划
国家自然科学基金
广东省自然科学基金
关键词
非单调逻辑
常识推理
常识问题
人工智能
nonmonotonic logic, paraconsistent logic, fault tolerant logic.