406 search results - page 6 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
103
Voted
FLAIRS
2003
14 years 11 months ago
2003
In this paper we address the question of assigning social norms to agents: should we attempt to ascribe social norms to agents that will act in complex dynamic environments, or is...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
72
Voted
AAAI
2008
14 years 12 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
AAAI
2011
13 years 9 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
AI
2006
Springer
14 years 11 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...