Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this pa...
Saved in:
Published in | Programming Multi-Agent Systems pp. 3 - 21 |
---|---|
Main Authors | , |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritized declarative goals that addresses this deficiency. We ensure that the agent’s chosen declarative goals and adopted plans are consistent with each other and with the agent’s knowledge. We show how agents specified in our language satisfy some key rationality requirements. |
---|---|
Bibliography: | This paper is an extended version of [16] and is also a revised version of [14]. |
ISBN: | 9783642319143 3642319149 |
ISSN: | 0302-9743 1611-3349 |
DOI: | 10.1007/978-3-642-31915-0_1 |