Dynamic consistency checking in goal-directed answer set programming

DOI10.1017/S1471068414000118MaRDI QIDQ2931249zbMATH OpenFDO

Authors Kyle Marple, Gopal Gupta

Publication date 25 November 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.3603

zbMATH Keywords

answer set programmingconsistent query answeringgoal-directeddynamic consistency checking

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Abstract: In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets, under which only those constraints deemed relevant to the partial answer set are tested, allowing inconsistent knowledgebases to be successfully queried. However, the algorithm guarantees that, if a program has at least one consistent answer set, any partial answer set returned will be a subset of some consistent answer set. To appear in Theory and Practice of Logic Programming (TPLP).

Recommendations

• Explaining inconsistency in answer set programs and extensions
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Publication:2767119
• Detecting inconsistencies in large biological networks with answer set programming

Cites work

• Answer sets for consistent query answering in inconsistent databases

Cited in

(12)

• On dual programs in co-logic programming
• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Detecting inconsistencies in large biological networks with answer set programming
• The Seventh Answer Set Programming Competition: Design and Results
• scientific article; zbMATH DE number 7453145 (Why is no real title available?)
• Adding Metalogic Features to Knowledge Representation Languages*
• Tools for finding inconsistencies in real-world logic-based systems
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Query answering in resource-based answer set semantics
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

This page was built for publication: Dynamic consistency checking in goal-directed answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931249)