Truth and modality for knowledge representation
Truth and modality for knowledge representation
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Reasoning about knowledge
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
The Right Agent (Architecture) to do the Right Thing
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Provably bounded-optimal agents
Journal of Artificial Intelligence Research
A Replanning Algorithm for a Reactive Agent Architecture
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
An Architecture for Normative Reactive Agents
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
On Partially Observable MDPs and BDI Models
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Qualitative Assessment on Aeronautical Training with Cognitive Agents
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
BDI Models and Systems: Bridging the Gap
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
The Right Agent (Architecture) to do the Right Thing
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Improving Choice Mechanisms within the BVG Architecture
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Emotion based adaptive reasoning for resource bounded agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Applied Artificial Intelligence
A meta-reasoning model for hard real-time agents
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Design and development of a fuzzy agent-based model to measure interest rate expectations
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time spent acting to achieve them. Following a brief review of the various ways in which this problem has previously been analysed, we motivate and introduce a simple formal model of agents, which is closely related to the well-known belief-desire-intention model. In this model, an agent is explicitly equipped with mechanisms for deliberation and action selection, as well as a meta-level control function, which allows the agent to choose between deliberation and action. Using the formal model, we define what it means for an agent to be optimal with respect to a task environment, and explore how various properties of an agent's task environment can impose certain requirements on its deliberation and meta-level control components. We then show how the model can capture a number of interesting practical reasoning scenarios, and illustrate how our notion of meta-level control can easily be extended to encompass higherorder meta-level reasoning. We conclude with a discussion and pointers to future work.