|
|||||
|
|
| 一个模态非单调逻辑 | |
| 引用本文： | 林作铨.一个模态非单调逻辑[J].中国科学(E辑),1996,26(3):276-288. |
| 作者姓名： | 林作铨 |
| 作者单位： | 汕头大学计算机科学研究所!汕头515063 |
| 基金项目： | 国家自然科学基金，国家高技术“八六三”计划，国家基础研究攀登计划，广东省科学技术委员会基金资助项目 |
| 摘 要： | 基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑，给出了它的语义和语形，证明其它全性定理以及它与主要非单调逻辑的关系定理。它直接地形式化非单调推理的直观意义，提供了一种缺省逻辑和自知逻辑的一阶扩展形式，同时具有限制逻辑停顿同称句子的能力，而且在逻辑程序与演绎数据库中有重要应用。 |
| 关 键 词： | 非单调逻辑 模态逻辑 模态非单调逻辑 经验逻辑 |
| 本文献已被 CNKI 维普 等数据库收录！ | |