a
by Frances Brazier, Barbara Dunin-keplicz, Rineke Verbrugge
http://www.cs.vu.nl/~wai/Papers/MODELAGE97.bdi3.ps
Add To MetaCart
Abstract:
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE. 1
Citations
| 692 | Intention is choice with commitment – Cohen, Levesque - 1990 |
| 393 | The Intentional Stance – Dennett - 1989 |
| 115 | Formal specification of multi-agent systems: a real-world case – Brazier, Dunin-Keplicz, et al. - 1995 |
| 105 | DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework – Brazier, Dunin-Keplicz, et al. - 1997 |
| 25 | Formalisation of a Cooperation Model Based on Joint Intentions – Brazier, Jonker, et al. - 1997 |
| 17 | Temporal semantics of complex reasoning tasks – Brazier, Treur, et al. - 1996 |
| 13 | Compositional modelling of reflective agents – Brazier, Treur - 1999 |
| 2 | A generic BDI architecture – Brazier, Dunin-Keplicz, et al. - 1997 |
| 1 | Temporal semantics of complex reasoning tasks – Willems - 1996 |
| 1 | of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95 – Gaines - 1995 |
