Next Steps in Propositional Horn Contraction

Book cover
Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper we focus on Horn logic. In addition to being of interest in its own right, our choice is motivated by the use of Horn logic in several areas, including ontology reasoning in description logics. We consider three versions of contraction: entailment-based and inconsistency-based contraction (e-contraction and i-contraction, resp.), introduced by Delgrande for Horn logic, and package contraction (p-contraction), studied by Fuhrmann and Hansson for the classical case. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. We define more appropriate notions of basic contraction for all three types above, and provide associated representation results in terms of postulates. Our results stand in contrast to Delgrande’s conjectures that orderly maxichoice is the appropriate contraction for both e- and i-contraction. Our interest in p-contraction stems from its relationship with an important reasoning task in ontological reasoning: repairing the subsumption hierarchy in EL. This is closely related to p-contraction with sets of basic Horn clauses (Horn clauses of the form p → q). We show that this restricted version of p-contraction can also be represented as i-contraction.
add to favoritesadd

Users who have this book

Users who want this book

What readers are saying

What do you think? Write your own comment on this book!

write a comment

What do you think? Write your own comment on this book

Info about the book

Series:

Unknown

ISBN:

3540627189

Rating:

4.5/5 (2)

Your rating:

0/5

Languge:

English

Do you want to exchange books? It’s EASY!

Get registered and find other users who want to give their favourite books to good hands!