97 search results - page 1 / 20 » Reasoning about Partially Observed Actions |
82
Voted
AAAI
2006
15 years 13 days 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
15 years 3 months ago
1996
IEEE
67
Voted
AAAI
2000
15 years 11 days 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
15 years 1 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...
78
Voted
ATAL
2007
Springer
15 years 5 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...