Propositional Circumscriptions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1998

Propositional Circumscriptions


Circumscription formalizes in terms of classical logic various aspects of common sense reasoning: exceptions are made as rare as possible from the given knowledge. We give the main properties of the reasoning thanks to circumscriptions. We provide various counter-examples to prove some counter-properties. We restrict our study to propositional circumscriptions, and we show that even in this case, things are not that easy. We evoke the predicate calculus case, showing that the propositional case suffices to get a good understanding of the logical properties of circumscriptions in any case. As we stick to traditional circumscriptions, we have adapted significantly the literature on «preferential models». We study carefully the more general «formula circumscription», examining when sets of formulas give rise to the same circumscription, and providing the first known characterization result. Finally, an intuitive presentation of some of these (counter-) properties is given. Examples of real circumscriptions illustrate the utility of this study for translating a common sense situation in terms of circumscription. This part contains arguments against some classical methods and proposes new methods instead, which have a better behavior and use simpler circumscriptions than the classical methods. Our study can be considered as giving the first steps towards an automatic way of translating sets of rules in terms of circumscription, which should allow to use seriously circumscription for what it has been proposed till the beginning. Also, as we describe syntactically all the sets of formulas which give rise to some given propositional circumscription, this study should help the automatization.
Fichier principal
Vignette du fichier
RR-3538.pdf (785.5 Ko) Télécharger le fichier

Dates and versions

inria-00073147 , version 1 (24-05-2006)


  • HAL Id : inria-00073147 , version 1


Yves Moinard, Raymond Rolland. Propositional Circumscriptions. [Research Report] RR-3538, INRIA. 1998. ⟨inria-00073147⟩
283 View
198 Download


Gmail Facebook Twitter LinkedIn More