406 search results - page 23 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
DALT
2006
Springer
15 years 3 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
101
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
105
click to vote
AAAI
1994
15 years 1 months ago
1994
Between sensing the world after every action (as in a reactive plan) and not sensing at all (as in an openloop plan), lies a continuum of strategies for sensing during plan execut...