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].
Titolo: | Abstraction of Agents Executing Online and their Abilities in the Situation Calculus | |
Autori: | LESPERANCE, YVES (Corresponding author) | |
Data di pubblicazione: | 2018 | |
Citazione: | 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]. | |
Handle: | http://hdl.handle.net/11573/1182873 | |
ISBN: | 978-0-9992411-2-7 | |
Appartiene alla tipologia: | 04b Atto di convegno in volume |
File allegati a questo prodotto
File | Note | Tipologia | Licenza | |
---|---|---|---|---|
Banihashemi_Postprint_Abstraction-of-Agents_2018.pdf | https://www.ijcai.org/proceedings/2018/ | Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione) | Tutti i diritti riservati (All rights reserved) | Open Access Visualizza/Apri |
Banihashemi_Abstraction-of-Agents_2018.pdf | Versione editoriale (versione pubblicata con il layout dell'editore) | Tutti i diritti riservati (All rights reserved) | Administrator Richiedi una copia |