期刊文章详细信息
一个模态非单调逻辑
文献类型：期刊文章
机构地区：[1]汕头大学计算机科学研究所,汕头515063
基 金：国家自然科学基金;国家高技术"八六三"计划;国家基础研究攀登计划;广东省科学技术委员会基金资助项目
年 份：1996
卷 号：26
期 号：3
起止页码：276-288
语 种：中文
收录情况：CSCD、CSCD2011_2012、JST、ZGKJHX、普通刊
摘 要：基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关系定理.它直接地形式化非单调推理的直观意义,提供了一种缺省逻辑和自知逻辑的一阶扩展形式,同时具有限制逻辑推出全称句子的能力,而且在逻辑程序与演绎数据库中有重要应用.由它提供了一个各种主要非单调逻辑的统一基础,各种非单调逻辑之间的关系可由此得到统一处理.
关 键 词：非单调逻辑 模态逻辑 模态非单调逻辑 经验逻辑
分 类 号：O141.3[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
