摘要
分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景．
The reason for nonmonotonic reasoning reserch has been fully analysed. The relation between nonmontonic logic and classic logic has been discussed. The nonmonotonic reasoningcan be classified into two kinds: minimal and default approaches. Finally. the current openproblems and futher research to be done are also described.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1995年第3期33-37,共5页
Journal of Beijing University of Aeronautics and Astronautics
基金
国家自然科学基金
航空科学基金
关键词
人工智能
信息处理
非单调推理
artificial intelligence
information processing
logic systems
nonmonotonic reasoning
truth maintenace system
