首页   按字顺浏览 期刊浏览 卷期浏览 Nonmonotonic reasoning based on incomplete logic
Nonmonotonic reasoning based on incomplete logic

 

作者: Tuan-Fang Fan,   I-Peng Lin,   Churn-Jung Liau,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1997)
卷期: Volume 7, issue 4  

页码: 375-395

 

ISSN:1166-3081

 

年代: 1997

 

DOI:10.1080/11663081.1997.10510924

 

出版商: Taylor & Francis Group

 

关键词: partial logic;incomplete logic;default reasoning;circumscription;autoepistemic reasoning

 

数据来源: Taylor

 

摘要:

What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics. This is an alternative presentation of partial semantics. In this paper, we will introduce the general notion of incomplete logic (ICL), compare it with partial logic, and give the resolution method for it. We will also show how ICL can be applied to nonmonotonic reasoning. We define nonmonotonic derivation as monotonic derivation in ICL from the database and some consistent assumptions. The mechanism of ICL makes it easy to assert the consistency of an assumption without asserting the assumption itself.

 

点击下载:  PDF (980KB)



返 回