We develop a general framework for abstracting online behavior of an agent that may acquire new knowledge during execution (e.g., by sensing), in the situation calculus and ConGolog. We assume that we have both a high-level action theory and a low-level one that represent the agent's behavior at different levels of detail. In this setting, we define ability to perform a task/achieve a goal, and then show that under some reasonable assumptions, if the agent has a strategy by which she is able to achieve a goal at the high level, then we can refine it into a low-level strategy to do so.
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus / Banihashemi, Bita; DE GIACOMO, Giuseppe; Lesperance, Yves. - (2018), pp. 1699-1706. (Intervento presentato al convegno 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 tenutosi a Stockholm; Sweden) [10.24963/ijcai.2018/235].
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
Giuseppe De Giacomo
;Yves Lespérance
2018
Abstract
We develop a general framework for abstracting online behavior of an agent that may acquire new knowledge during execution (e.g., by sensing), in the situation calculus and ConGolog. We assume that we have both a high-level action theory and a low-level one that represent the agent's behavior at different levels of detail. In this setting, we define ability to perform a task/achieve a goal, and then show that under some reasonable assumptions, if the agent has a strategy by which she is able to achieve a goal at the high level, then we can refine it into a low-level strategy to do so.File | Dimensione | Formato | |
---|---|---|---|
Banihashemi_Postprint_Abstraction-of-Agents_2018.pdf
accesso aperto
Note: https://www.ijcai.org/proceedings/2018/
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
319.07 kB
Formato
Adobe PDF
|
319.07 kB | Adobe PDF | |
Banihashemi_Abstraction-of-Agents_2018.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
186.18 kB
Formato
Adobe PDF
|
186.18 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.