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...

Full description

Saved in:
Bibliographic Details
Published inProgramming Multi-Agent Systems pp. 3 - 21
Main Authors Khan, Shakil M., Lespérance, Yves
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Agent Program
Logical Foundation
Parent Goal
Situation Calculus
Transition Rule
Online AccessGet full text

Cover

More Information
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