摘要:

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.

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510924

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor

摘要:

Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of default logics and discuss their differences wrt some basic properties. In particular, we show how two recently proposed variants, namely rational and CA-default logic, are related to each other and existing default logics. As an interesting byproduct, we obtain a cumulative counterpart to Lukasiewicz' variant of default logic. The resulting system is insofar surprising since it necessitates to refine the canonical way of assuring cumulativity in default logics. On the other hand, we pursue an integrating approach. We give a translation embedding rational and CA-default logic into a recently developed framework for default logics. This allows us not only to classify these variants, but it moreover provides us with semantical underpinnings that have been lacking so far.

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510925

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510926

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510927

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510928

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1997.10510923

出版商:Taylor & Francis Group    

年代:1997

数据来源: Taylor