BDI Agents: From Theory to Practice
This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.
Modeling Rational Agents within a BDI-Architecture
A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.
Reactive Reasoning and Planning
The reasoning system that controls the robot is designed to exhibit the kind of behavior expected of a rational agent, and is endowed with the psychological attitudes of belief, desire, and intention, resulting in complex goal-directed and reflective behaviors.
Decision-Making in an Embedded Reasoning System
Some of the features of a Procedural Reasoning System (PRS) that enables it to operate effectively in such environments and how this architecture supports both goal-directed reasoning and the ability to react rapidly to unanticipated changes in the environment is described.
An Abstract Architecture for Rational Agents
Decision Procedures for BDI Logics
This paper provides a family of multi-modal branching-time BDI logics with a possible-worlds semantics, categorizes them, provides sound and complete axiomatizations, and gives constructive tableaubased decision procedures for testing the satisfiability and validity of formulas.
A Methodology and Modelling Technique for Systems of BDI Agents
- D. Kinny, M. Georgeff, Anand Srinivasa Rao
- Computer ScienceModelling Autonomous Agents in a Multi-Agent…
- 1 February 1996
This paper describes an agent-oriented methodology and modelling technique for systems of agents based upon the Belief-Desire-Intention (BDI) paradigm and extends existing Object-Oriented (OO) models to produce an approach that can be easily learnt and understood by those familiar with the OO paradigm.
An architecture for real-time reasoning and system control
The Procedural Reasoning System, a generic reasoning system based on the rational-agent architecture, is described. The system has been applied to several real-time applications, including mobile…
Commitment and Effectiveness of Situated Agents
The results demonstrate the feasibility of developing systems for empirical measurement of agent performance that are stable, sensitive, and capable of revealing the effect of "high-level" agent characteristics such as commitment.
The Belief-Desire-Intention Model of Agency
Within the ATAL community, the belief-desire-intention (BDI) model has come to be possibly the best known and best studied model of practical reasoning agents. There are several reasons for its…