2010 | OriginalPaper | Buchkapitel
A Nonmonotonic Extension of KLM Preferential Logic P
verfasst von : Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper, we propose the logic P
min
, which is a nonmonotonic extension of Preferential logic P defined by Kraus, Lehmann and Magidor (KLM). In order to perform nonmonotonic inferences, we define a “minimal model” semantics. Given a modal interpretation of a minimal
A
-world as
A
∧ □¬
A
, the intuition is that preferred, or minimal models are those that minimize the number of worlds where ¬□¬
A
holds, that is of
A
-worlds which are not minimal. We also present a tableau calculus for deciding entailment in P
min
.