Abstraction of nondeterministic situation calculus action theories

We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume th...

Full description

Bibliographic Details
Main Authors: Banihashemi, B, De Giacomo, G, Lesperance, Y
Format: Conference item
Language:English
Published: International Joint Conferences on Artificial Intelligence 2023
_version_ 1797113206504685568
author Banihashemi, B
De Giacomo, G
Lesperance, Y
author_facet Banihashemi, B
De Giacomo, G
Lesperance, Y
author_sort Banihashemi, B
collection OXFORD
description We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume that we have both an abstract and a concrete nondeterministic basic action theory, and a refinement mapping which specifies how abstract actions, decomposed into agent actions and environment reactions, are implemented by concrete ConGolog programs. This new setting supports strategic reasoning and strategy synthesis, by allowing us to quantify separately on agent actions and environment reactions. We show that if the agent has a (strong FOND) plan/strategy to achieve a goal/complete a task at the abstract level, and it can always execute the nondeterministic abstract actions to completion at the concrete level, then there exist a refinement of it that is a (strong FOND) plan/strategy to achieve the refinement of the goal/task at the concrete level.
first_indexed 2024-04-23T08:25:08Z
format Conference item
id oxford-uuid:22853d43-6890-4da5-b149-c8a85ee27e23
institution University of Oxford
language English
last_indexed 2024-04-23T08:25:08Z
publishDate 2023
publisher International Joint Conferences on Artificial Intelligence
record_format dspace
spelling oxford-uuid:22853d43-6890-4da5-b149-c8a85ee27e232024-04-15T15:20:17ZAbstraction of nondeterministic situation calculus action theoriesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:22853d43-6890-4da5-b149-c8a85ee27e23EnglishSymplectic ElementsInternational Joint Conferences on Artificial Intelligence2023Banihashemi, BDe Giacomo, GLesperance, YWe develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume that we have both an abstract and a concrete nondeterministic basic action theory, and a refinement mapping which specifies how abstract actions, decomposed into agent actions and environment reactions, are implemented by concrete ConGolog programs. This new setting supports strategic reasoning and strategy synthesis, by allowing us to quantify separately on agent actions and environment reactions. We show that if the agent has a (strong FOND) plan/strategy to achieve a goal/complete a task at the abstract level, and it can always execute the nondeterministic abstract actions to completion at the concrete level, then there exist a refinement of it that is a (strong FOND) plan/strategy to achieve the refinement of the goal/task at the concrete level.
spellingShingle Banihashemi, B
De Giacomo, G
Lesperance, Y
Abstraction of nondeterministic situation calculus action theories
title Abstraction of nondeterministic situation calculus action theories
title_full Abstraction of nondeterministic situation calculus action theories
title_fullStr Abstraction of nondeterministic situation calculus action theories
title_full_unstemmed Abstraction of nondeterministic situation calculus action theories
title_short Abstraction of nondeterministic situation calculus action theories
title_sort abstraction of nondeterministic situation calculus action theories
work_keys_str_mv AT banihashemib abstractionofnondeterministicsituationcalculusactiontheories
AT degiacomog abstractionofnondeterministicsituationcalculusactiontheories
AT lesperancey abstractionofnondeterministicsituationcalculusactiontheories