Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Actions Made Explicit in BDI
| |
|
Actions Made Explicit in BDI
Vineet Padmanabhan3 , Guido Governatori4 and Abdul Sattar3 
| (3) |
Knowledge Representation & Reasoning Unit (KRRU) School of Information Technology, Griffith University, Gold Coast Campus, Queensland, Australia |
| (4) |
Cooperative Information System Research Centre, Queensland University of Technology, Queensland, Australia |
Abstract
The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist
which support this architecture and the recent version is that of Capability being added as an additional construct. In all these models the concept of action is seen in an endogenous manner. We argue
that the Result of an action performed by an agent is extremely important when dealing with composite actions and hence the need for an explicit
representation of them. The Capability factor is supported using a RES construct and it is shown how the components of a composite action is supported using these two. Further, we introduce an
OPP (opportunity) operator which in alliance with Result and Capability provides better semantics for practical reasoning in BDI.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|