The DLVHEX System

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2018 Künstliche Intelligenz  
HEX programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention. Keywords Answer set programming · External source access · Nonmonotonic reasoning Motivation Answer Set Programming (ASP) [1] is a logic programming formalism for knowledge representation and reasoning. However, in many applications, rules are insufficient for representing all reasoning about the domain of interest.
more » ... nstead, accessing information or computations from the world outside the program is needed. HEX programs [5] extend ASP with special external atoms in rule bodies, whose truth value is determined by an external source using, e.g., imperative code. Consider the following simple example: where the status of some robots is determined by reading and interpreting their battery level. External oracles can perform arbitrary computations to determine their truth value. Two distinguishing features of HEX are:
doi:10.1007/s13218-018-0535-y fatcat:r4cvjqtijvbuhb2pqufomqt5ca