Exploration of Unknown Territory via DALI Agents and ASP Modules

Costantini, Stefania; Gasperis, Giovanni De; Nazzicone, Giulio

doi:10.1007/978-3-319-19638-1_33

Cited by 3 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Costantini et al . (2015) the authors describe a combined architecture between DALI agents (Costantini and Tocchio 2004) and an answer set program that performs planning tasks and determines what actions the agent can take.…”

Section: Other Approaches To Reactivity In Logic Programmingmentioning

confidence: 99%

Reactive Answer Set Programming

Broda¹,

Sadri²,

BUTLER³

2022

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database. This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP). For this purpose a new variant of KELPS with finite models, called n-distance KELPS, is introduced. A formal definition of the mapping from this n-distance KELPS to ASP is given and proven sound and complete. The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, pre-emptive and prospective behaviours. These are all discussed and illustrated with examples. Then a hybrid framework is proposed that integrates KELPS and ASP, allowing to combine the strengths of both paradigms.

show abstract

Section: Other Approaches To Reactivity In Logic Programmingmentioning

confidence: 99%

Reactive Answer Set Programming

Broda¹,

Sadri²,

BUTLER³

2022

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

show abstract

“…So, in our opinion ASP can find its relevant place in agent architectures provided that such architectures are sufficiently well-structured and flexible to accommodate and integrate ASP components (as done, e.g. in Costantini, 2011; Costantini et al ., 2015).…”

Section: Answer Set Programming and Agentsmentioning

confidence: 99%

“…Costantini et al . (2015) exploits the extended DALI framework to implement affordable and flexible planning capabilities, with the possibility to select plans according to a suite of possible preferences. The effectiveness of this solution was shown by means of a case-study where DALI agents (organized in a MAS) cooperate in order to explore an unknown territory.…”

Section: Integrating Different Computational Logic Approaches In Agenmentioning

confidence: 99%

“…Costantini and Tocchio, 2002; Costantini & Tocchio, 2004). In a later paper (Costantini et al ., 2015), they show the effectiveness of this solution by means of a case study where DALI agents cooperate in order to explore un unknown territory upon occurrence of some kind of catastrophic event (earthquake, fire, flooding, terrorist attack, etc.). There, the DALI MAS in charge of managing the overall situation was equipped with ASP modules which provided flexible and affordable planning capabilities.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Answer set programming and agents

Dyoub

Gasperis

2018

The Knowledge Engineering Review

Self Cite

View full text Add to dashboard Cite

In this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents and multi-agent systems especially in the realm of Computational Logic. After shortly recalling the main (computational-logic-based) agent-oriented frameworks, we introduce ASP; then, we discuss the usefulness of a potential integration of the two paradigms in a modular heterogeneous framework, and the feasibility of such integration. This also in the more general view of improving and empowering flexibility of agent-oriented frameworks. Relevant literature will be mentioned and discussed. Possible future directions and potential developments will be outlined.

show abstract