A modal nonmonotonic logic

被引：0

作者：

林作铨

机构：

[1] Institute of Computer Science

[2] Shantou 515063

[3] China

[4] Shantou University

来源：

Science in China(Series E:Technological Sciences) | 1996年 / 03期

基金：

中国国家自然科学基金;

关键词：

nonmonotonic logic; modal logic; modal nonmonotonic logic; experiential logic;

D O I：

暂无

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

010104 ; 010105 ; 070104 ;

摘要：

A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonotonic logic are provided,and the completeness theorem and the theorems relating it to major nonmonotonic logics are proved.It directly formalizes the intuition of nonmonotonic reasoning.Among other things,it provides us a first-order extension of default logic and autoepistemic logic,and simultaneously has the capability of circumscription to infer universal statement.It has important applications in logic programming and deductive data base.As a result,it provides a uniform basis for various nonmonotonic logics,from which the correspondent relationship among major nonmonotonic logics can coincide.

引用

页码：303 / 321

页数：19