The dlvhex system for knowledge representation: recent advances (system description)*

The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on theoretical aspects and specific components, a bird's eye view of the overall system is missing. In order to promote the system for real-world applications, we further present applications which were already successfully realized on top of DLVHEX. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.

[1]  Thomas Eiter,et al.  Conflict-driven ASP solving with external sources , 2012, Theory and Practice of Logic Programming.

[2]  Antonius Weinzierl,et al.  Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access , 2016, IJCAI.

[3]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[4]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[5]  Antonius Weinzierl,et al.  Finding explanations of inconsistency in multi-context systems , 2010, Artif. Intell..

[6]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[7]  Hans Tompits,et al.  Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning , 2006, ESWC.

[8]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[9]  Michael Fink,et al.  Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases , 2016, IEEE Transactions on Computational Intelligence and AI in Games.

[10]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[11]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[12]  Thomas Eiter,et al.  Efficient HEX-Program Evaluation Based on Unfounded Sets , 2014, J. Artif. Intell. Res..

[13]  Pinar Yolum,et al.  Ranking semantic information for e-government: complaints management , 2008, OBI '08.

[14]  Hans Tompits,et al.  dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[15]  Thomas Eiter,et al.  Domain expansion for ASP-programs with external sources , 2016, Artif. Intell..

[16]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[17]  Hans Tompits,et al.  A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.

[18]  Martin Gebser,et al.  Conflict-driven answer set solving: From theory to practice , 2012, Artif. Intell..

[19]  Wolfgang Faber,et al.  Semantics and complexity of recursive aggregates in answer set programming , 2011, Artif. Intell..

[20]  Thomas Eiter,et al.  The mcs-ie System for Explaining Inconsistency in Multi-Context Systems , 2010, JELIA.

[21]  Matthias Prandtstetter,et al.  Semantically Enriched Multi-Modal Routing , 2016, Int. J. Intell. Transp. Syst. Res..

[22]  Peter Schüller,et al.  A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks , 2016, AI Commun..

[23]  Torsten Schaub,et al.  ASP modulo CSP: The clingcon system , 2012, Theory and Practice of Logic Programming.