Zobrazeno 1 - 10
of 2 764
pro vyhledávání: '"A. De Giacomo (a"'
We introduce LTLf+ and PPLTL+, two logics to express properties of infinite traces, that are based on the linear-time temporal logics LTLf and PPLTL on finite traces. LTLf+/PPLTL+ use levels of Manna and Pnueli's LTL safety-progress hierarchy, and th
Externí odkaz:
http://arxiv.org/abs/2411.09366
Responsibility is one of the key notions in machine ethics and in the area of autonomous systems. It is a multi-faceted notion involving counterfactual reasoning about actions and strategies. In this paper, we study different variants of responsibili
Externí odkaz:
http://arxiv.org/abs/2410.14544
We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both represented as basic
Externí odkaz:
http://arxiv.org/abs/2410.14712
Achieving seamless coordination in cooperative games is a crucial challenge in artificial intelligence, particularly when players operate under incomplete information. A common strategy to mitigate this information asymmetry involves leveraging expli
Externí odkaz:
http://arxiv.org/abs/2409.12397
Consider an agent acting to achieve its temporal goal, but with a "trembling hand". In this case, the agent may mistakenly instruct, with a certain (typically small) probability, actions that are not intended due to faults or imprecision in its actio
Externí odkaz:
http://arxiv.org/abs/2404.16163
We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTLf). The notion of best-effort strategy has been introduced to also deal with the scenari
Externí odkaz:
http://arxiv.org/abs/2308.15188
Autor:
Aminof, Benjamin, De Giacomo, Giuseppe, Di Stasio, Antonio, Francon, Hugo, Rubin, Sasha, Zhu, Shufang
In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks and environment specifications, providing a complete landscape of synt
Externí odkaz:
http://arxiv.org/abs/2308.15184
We consider an agent acting to fulfil tasks in a nondeterministic environment. When a strategy that fulfills the task regardless of how the environment acts does not exist, the agent should at least avoid adopting strategies that prevent from fulfill
Externí odkaz:
http://arxiv.org/abs/2308.15178
Goal Recognition is the task of discerning the correct intended goal that an agent aims to achieve, given a set of goal hypotheses, a domain model, and a sequence of observations (i.e., a sample of the plan executed in the environment). Existing appr
Externí odkaz:
http://arxiv.org/abs/2306.08680
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 a
Externí odkaz:
http://arxiv.org/abs/2305.14222