2005 | OriginalPaper | Buchkapitel
circ2dlp — Translating Circumscription into Disjunctive Logic Programming
verfasst von : Emilia Oikarinen, Tomi Janhunen
Erschienen in: Logic Programming and Nonmonotonic 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
The
stable model semantics
of disjunctive logic programs (DLPs) is based on minimal models [5,12] which makes atoms appearing in a disjunctive program false by default. This is often desirable from the knowledge representation point of view, but certain domains become awkward to formalize if all atoms are blindly subject to minimization. In contrast to this,
parallel circumscription
[11] provides a re.ned notion of minimal models as it distinguishes
varying
and
fixed
atoms in addition to those being falsified. This eases the task of knowledge presentation in many cases. For example, it is straightforward to formalize Reiter-style
minimal diagnoses
[13] for digital circuits using parallel circumscription.