ActHEX: Implementing HEX Programs with Action Atoms

Fink, Michael; Germano, Stefano; Ianni, Giovambattista; Redl, Christoph; Schüller, Peter

doi:10.1007/978-3-642-40564-8_31

Cited by 11 publications

(8 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is why clingo also offers full-fledged theory reasoning capabilities, dealing with partial assignments (Gebser et al 2016;Kaminski et al 2017). Clearly, the above considerations also apply to extensions of dlvhex, such as acthex (Fink et al 2013). Furthermore, jdlv (Febbraro et al 2012) encapsulates the dlv system to facilitate one-shot ASP solving in Java environments by providing means to generate and process logic programs, and to afterwards extract their stable models.…”

Section: Observationsmentioning

confidence: 99%

Multi-shot ASP solving with clingo

Gebser

Kaminski

Kaufmann

et al. 2018

Theory and Practice of Logic Programming

221

198

View full text Add to dashboard Cite

We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the ASP systemclingo. Multi-shot ASP solving features grounding and solving processes that deal with continuously changing logic programs. In doing so, they remain operative and accommodate changes in a seamless way. For instance, such processes allow for advanced forms of search, as in optimization or theory solving, or interaction with an environment, as in robotics or query answering. Common to them is that the problem specification evolves during the reasoning process, either because data or constraints are added, deleted, or replaced. This evolutionary aspect adds another dimension to ASP since it brings about state changing operations. We address this issue by providing an operational semantics that characterizes grounding and solving processes in multi-shot ASP solving. This characterization provides a semantic account of grounder and solver states along with the operations manipulating them. The operative nature of multi-shot solving avoids redundancies in relaunching grounder and solver programs and benefits from the solver's learning capacities.clingoaccomplishes this by complementing ASP's declarative input language with control capacities. On the declarative side, a new directive allows for structuring logic programs into named and parameterizable subprograms. The grounding and integration of these subprograms into the solving process is completely modular and fully controllable from the procedural side. To this end,clingooffers a new application programming interface that is conveniently accessible via scripting languages. By strictly separating logic and control,clingoalso abolishes the need for dedicated systems for incremental and reactive reasoning, likeiclingoandoclingo, respectively, and its flexibility goes well beyond the advanced yet still rigid solving processes of the latter.

show abstract

Section: Observationsmentioning

confidence: 99%

Multi-shot ASP solving with clingo

Gebser

Kaminski

Kaufmann

et al. 2018

Theory and Practice of Logic Programming

221

198

View full text Add to dashboard Cite

show abstract

“…In order to achieve our goal, we started to investigate the literature [1,3,4,7,14,15,17,19,21,22]. Then, we focused our research on artificial agents for video-games (also called "bots").…”

Section: First Yearmentioning

confidence: 99%

Reasoning in Highly Reactive Environments

Pacenza

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

“…ACTHEX: HEX programs with action atoms. ACTHEX [6,52] is an extension of HEX: an ACTHEX-program is repeatedly executed in an environment, can obtain (sense) information from the environment using external atoms, and can declaratively schedule actions to be executed in the environment using action atoms in the head of rules. The environment is an abstraction of the world outside the logic program.…”

Section: Further Hex Usage and Related Workmentioning

confidence: 99%

“…Example 34 (simplified from [52]). The following ACTHEX-program controls a robot capable of executing a parameterized action #robot, where an external &sensor predicate enables to access sensor data.…”

Section: Further Hex Usage and Related Workmentioning

confidence: 99%

Answer Set Programming with External Source Access

Eiter

Kaminski

Redl

et al. 2017

Reasoning Web. Semantic Interoperability on the Web

Self Cite

View full text Add to dashboard Cite

Access to external information is an important need for Answer Set Programming (ASP), which is a booming declarative problem solving approach these days. External access not only includes data in different formats, but more general also the results of computations, and possibly in a two-way information exchange. Providing such access is a major challenge, and in particular if it should be supported at a generic level, both regarding the semantics and efficient computation. In this article, we consider problem solving with ASP under external information access using the dlvhex system. The latter facilitates this access through special external atoms, which are two-way API style interfaces between the rules of the program and an external source. The dlvhex system has a flexible plugin architecture that allows one to use multiple predefined and user-defined external atoms which can be implemented, e.g., in Python or C++. We consider how to solve problems using the ASP paradigm, and specifically discuss how to use external atoms in this context, illustrated by examples. As a showcase, we demonstrate the development of a HEX program for a concrete realworld problem using Semantic Web technologies, and discuss specifics of the implementation process.

show abstract

ActHEX: Implementing HEX Programs with Action Atoms

Cited by 11 publications

References 2 publications

Multi-shot ASP solving with clingo

Multi-shot ASP solving with clingo

Reasoning in Highly Reactive Environments

Answer Set Programming with External Source Access

Contact Info

Product

Resources

About