摘要
基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关系定理.它直接地形式化非单调推理的直观意义,提供了一种缺省逻辑和自知逻辑的一阶扩展形式,同时具有限制逻辑推出全称句子的能力,而且在逻辑程序与演绎数据库中有重要应用.由它提供了一个各种主要非单调逻辑的统一基础,各种非单调逻辑之间的关系可由此得到统一处理.
出处
《中国科学（E辑）》
CSCD
1996年第3期276-288,共13页
Science in China(Series E)
基金
国家自然科学基金
国家高技术"八六三"计划
国家基础研究攀登计划
广东省科学技术委员会基金资助项目
