2012 | OriginalPaper | Buchkapitel
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
verfasst von : Paolo Mancarella, Francesca Toni
Erschienen in: Logic Programs, Norms and Action
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
We propose a novel semantics for
semi-negative
abductive logic programs (i.e. where the only negative literals are abducibles) with
implicative integrity constraints
(i.e. in the form of implications). This semantics combines answer set programming (with the implicative integrity constraints) and argumentation (for relevant explanations with the logic program, supported by abducibles). We argue that this semantics is better suited than the standard semantics to deal with applications of abductive logic programming and prove some properties of this semantics. We motivate our approach in an agent-based access control policy scenario.