Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Burigana, Alessandro"'
In this paper, we propose a novel algorithm for epistemic planning based on dynamic epistemic logic (DEL). The novelty is that we limit the depth of reasoning of the planning agent to an upper bound b, meaning that the planning agent can only reason
Externí odkaz:
http://arxiv.org/abs/2406.01139
Autor:
Bolander, Thomas, Burigana, Alessandro
Bisimulations are standard in modal logic and, more generally, in the theory of state-transition systems. The quotient structure of a Kripke model with respect to the bisimulation relation is called a bisimulation contraction. The bisimulation contra
Externí odkaz:
http://arxiv.org/abs/2405.00480
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary knowledge nesting. As such expressive power comes at the cost of undecid
Externí odkaz:
http://arxiv.org/abs/2307.15485
Dynamic Epistemic Logic (DEL) provides a framework for epistemic planning that is capable of representing non-deterministic actions, partial observability, higher-order knowledge and both factual and epistemic change. The high expressivity of DEL cha
Externí odkaz:
http://arxiv.org/abs/2307.15451
Publikováno v:
Theory and Practice of Logic Programming 20 (2020) 593-608
Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in "simple" domains the agents can solely rely on facts about the world, in several contexts,
Externí odkaz:
http://arxiv.org/abs/2008.03007