A model building framework for answer set programming with external computations
From MaRDI portal
Publication:4593036
DOI10.1017/S1471068415000113zbMATH Open1379.68058arXiv1507.01451OpenAlexW1961824217MaRDI QIDQ4593036FDOQ4593036
Authors: Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller 
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Abstract: As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, HEX programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for HEX-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.
Full work available at URL: https://arxiv.org/abs/1507.01451
Recommendations
- Answer set programming with external sources
- Exploiting partial assignments for efficient evaluation of answer set programs with external source access
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
- Conflict-driven ASP solving with external sources
- Answer set programming with external source access
Cites Work
- External sources of knowledge and value invention in logic programming
- GASP: Answer set programming with lazy grounding
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Combining answer set programming with description logics for the semantic web
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
- Title not available (Why is that?)
- Counterexample-guided abstraction refinement for symbolic model checking
- Modularity aspects of disjunctive stable models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constraint Answer Set Solving
- Conflict-driven ASP solving with external sources
- Efficient HEX-Program Evaluation Based on Unfounded Sets
- Computable Functions in ASP: Theory and Implementation
- Solution Enumeration for Projected Boolean Search Problems
- Integrating answer set programming and constraint logic programming
- Conflict-driven answer set solving: from theory to practice
- Logic programs with stable model semantics as a constraint programming paradigm
- FLP answer set semantics without circular justifications for general logic programs
- Representing constraint satisfaction problems in answer set programming
- A semantic account for modularity in multi-language modelling of search problems
- A Module-Based Framework for Multi-language Constraint Modeling
- Relating constraint answer set programming languages and algorithms
- The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Partition-based logical reasoning for first-order and propositional theories
- Logics in Artificial Intelligence
- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
- ASP modulo CSP: the clingcon system
- Modular stratification and magic sets for Datalog programs with negation
- The loop formula based semantics of description logic programs
- Logic for Programming, Artificial Intelligence, and Reasoning
- Realizing Default Logic over Description Logic Knowledge Bases
- HEX programs with action atoms
Cited In (18)
- Knowledge representation analysis of graph mining
- Learning higher-order logic programs
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Title not available (Why is that?)
- LARS: a logic-based framework for analytic reasoning over streams
- Hybrid planning for challenging construction problems: an answer set programming approach
- Answer set programming with external sources
- On combining ontologies and rules
- Logic Programming and Nonmonotonic Reasoning
- Inlining external sources in answer set programs
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Exploiting partial assignments for efficient evaluation of answer set programs with external source access
- Answer set programming with external source access
- Exploiting answer set programming with external sources for meta-interpretive learning
- Partial compilation of ASP programs
- Adding Metalogic Features to Knowledge Representation Languages*
- Combining nonmonotonic knowledge bases with external sources
- Conflict-driven ASP solving with external sources
Uses Software
This page was built for publication: A model building framework for answer set programming with external computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593036)
