Belief-Desire-Intention (BDI)

A model that is mentioned in Prof. Kerstin Eder and Prof. Michael Fisher’s talks in RoboSoft

Terms

Beliefs: facts that an agent believes about the world, like knowledge. But it is not necessary to be always true.

Desires: are goals and preferred end states. An agent may have many desires, possibly in conflict.

Intentions: are the agent’s commitments to its desire. They shall be consistent and without conflict.

Rational Agents:

A rational agent is an agent that has clear preferences, models uncertainty via expected values of variables or functions of variables, and always chooses to perform the action with the optimal expected outcome for itself from among all feasible actions. A rational agent can be anything that makes decisions, typically a person, firm, machine, or software. (Wikipedia)

Some statements

Intentions are fundamentally based on the notion of commitments

Commitments relate to satisficing (good enough), and optimal to the best solution

Intentions are meant to stabilize decision making (Bratman)

BDI logics

  • Cohen and Levesque logic
  • Rao and Georgeff’s belief-desire-intention logic

BDI Architecture

  • Belief store
  • Goal store
  • Plan-library
  • Intention hierarchy

Applications

  • BDI agent models for test generation (Prof. Kerstin Eder)
    • BDI agents vs. automata for model-based test generation (see “Model-based Test Generation for Robotic Software:Automata versus Belief-Desire-Intention Agents”)

References:

  • M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Cambridge Massachusetts, 1987
  • “Modeling rational agents within a BDI architecture” by Rao and Georgeff
  • “BDI Agents: From Theory to Practice” by Rao and Georgeff
  • “The Belief-Desire-Intention Model of Agency” by Michael Georgeff et. al
  • “CHAPTER 2: Beliefs, Desires, Intentions (BDI Logic)” by Milind Tambe
  • P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2-3):213–261, 1990
  • “AgentSpeak(L): BDI Agents speak out in a logicalcomputable language” by Rao regarding BDI architectures
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.