97 search results - page 1 / 20 » Reasoning about Partially Observed Actions |
AAAI
2006
13 years 5 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
AGP
1996
IEEE
13 years 8 months ago
1996
IEEE
AAAI
2000
13 years 5 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
AAAI
2007
13 years 6 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
ATAL
2007
Springer
13 years 10 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...