HTN-like solutions for classical planning problems: An application to BDI agent systems

Silva, Lavindra de; Padgham, Lin; Sardiña, Sebastian

doi:10.1016/j.tcs.2019.01.034

Cited by 9 publications

(6 citation statements)

References 26 publications

(62 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Los comportamientos individuales durante emergencias suelen variar y depender de circunstancias específicas, no obstante, Silva [13] propone un modelo de comportamiento en evacuaciones basado en roles: Galvis y Gonzales hablan sobre los fundamentos psicológicos detrás de una situación de emergencia: [16].…”

Section: Comportamientos En Emergencias Sísmicas Comportamientos De C...unclassified

“…Las condiciones físicas también son un factor en el comportamiento ya que incide en la capacidad de movimiento y en la toma de decisiones en salidas riesgosas. Frustración según [13] es un estado que emerge en el individuo cuando interfiere en una conducta meta un instigador externo, impidiendo la consecución del objetivo. Así, la frustración es origen de conductas agresivas como se explica en la Figura 9.…”

unclassified

“…La tendencia al gregarismo a nivel general sucede cuando un individuo se ver inmerso en una situación de emergencia, siente miedo de la responsabilidad de sus actos, de la toma de decisión y tiene de una manera instintiva a refugiarse en el grupo, tomando decisiones en el mismo liberando toda la presión. La territorialidad es una variable importante en el modelo de comportamiento en emergencias [13]. Se trata de que las personas necesitamos un espacio vital que puede ser más o menos amplio dependiendo de circunstancias sociales y condiciones de la situación específica.…”

unclassified

See 2 more Smart Citations

Sistema multiagente para el análisis del comportamiento social ante un acontecimiento sismológico

Pérez-Orozco,

Blanco-Carvajal,

Pedraza-Ballén

et al. 2023

AiBi Revista de Investigación, Administración e Ingeniería

View full text Add to dashboard Cite

Este artículo presenta el diseño de un sistema multiagente, para el análisis del comportamiento social, ante una emergencia ocasionada por un sismo. Los autores analizan el modelo BDI (Belief, Desire, Intentions) como estructura interna de un agente. El proyecto examina el framework de desarrollo Jadex, los distintos modelos sociológicos individuales y los protocolos de atención civil de acontecimientos sísmicos. Posteriormente, los investigadores proceden al diseño estructurado del sistema, describiendo los diferentes componentes, y las variables a tener en cuenta durante la simulación. Por último, el artículo analiza las estadísticas proporcionadas en el tiempo de ejecución y se discuten las conclusiones encontradas en la investigación.

show abstract

Section: Comportamientos En Emergencias Sísmicas Comportamientos De C...unclassified

unclassified

See 1 more Smart Citation

Sistema multiagente para el análisis del comportamiento social ante un acontecimiento sismológico

Pérez-Orozco,

Blanco-Carvajal,

Pedraza-Ballén

et al. 2023

AiBi Revista de Investigación, Administración e Ingeniería

View full text Add to dashboard Cite

show abstract

“…However, there are use cases in the literature where they are needed, e.g. for communication with a user (Bercher et al 2021;Behnke et al 2020;Köhn et al 2020;de Silva, Padgham, and Sardina 2019). When they are present, (HTN) plan verification can be solved in polynomial time.…”

Section: Introductionmentioning

confidence: 99%

Compiling HTN Plan Verification Problems into HTN Planning Problems

Höller

Wichlacz

Bercher

et al. 2022

ICAPS

View full text Add to dashboard Cite

Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). There are verification systems based on translations to propositional logic and on techniques from parsing. Here we present a third approach and translate HTN plan verification problems into HTN planning problems. These can be solved using any HTN planning system. We collected a new benchmark set based on models and results of the 2020 International Planning Competition. Our evaluation shows that our compilation outperforms the approaches from the literature.

show abstract

“…In the literature there are a few works that link BDI programs to logic programs [2], but, for the present work, we take inspiration from [10], which presents a formal method for translating a HTN planning domain to logic programs. This choice was motivated by the close connection between BDI programs and HTN planning domains, which has been explored extensively in the literature [23,33].…”

Section: Introductionmentioning

confidence: 99%

Declarative Preferences in Reactive BDI Agents

Parizi

Sileno

Engers

2021

PRIMA 2020: Principles and Practice of Multi-Agent Systems

View full text Add to dashboard Cite

Current agent architectures implementing the belief-desire-intention (BDI) model consider agents which respond reactively to internal and external events by selecting the first-available plan. Priority between plans is hard-coded in the program, and so the reasons why a certain plan is preferred remain in the programmer's mind. Recent works that attempt to include explicit preferences in BDI agents treat preferences essentially as a rationale for planning tasks to be performed at run-time, thus disrupting the reactive nature of agents. In this paper we propose a method to include declarative preferences (i.e. concerning states of affairs) in the agent program, and to use them in a manner that preserves reactivity. To achieve this, the plan prioritization step is performed offline, by (a) generating all possible outcomes of situated plan executions, (b) selecting a relevant subset of situation/outcomes couplings as representative summary for each plan, (c) sorting the plans by evaluating summaries through the agent's preferences. The task of generating outcomes in several conditions is performed by translating the agent's procedural knowledge to an ASP program using discrete-event calculus.

show abstract

HTN-like solutions for classical planning problems: An application to BDI agent systems

Cited by 9 publications

References 26 publications

Sistema multiagente para el análisis del comportamiento social ante un acontecimiento sismológico

Sistema multiagente para el análisis del comportamiento social ante un acontecimiento sismológico

Compiling HTN Plan Verification Problems into HTN Planning Problems

Declarative Preferences in Reactive BDI Agents

Contact Info

Product

Resources

About