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)
返 回