Interrelations between the BDI primitives: Towards heterogeneous agents

The study of formal theories of agents has intensified over the last decade since such formalisms can be viewed as providing the specifications for building agent-based systems. One such theory views agents as having beliefs, desires and intentions (BDI). The BDI paradigm provides us with the means of describing different types of agents; a desirable quality, since agent-based systems are employed in various domains with diverse characteristics and therefore different requirements. This is accomplished by adopting a set of constraints that describe how the three attitudes are related to each other, called a notion of realism. Although three such notions have been explored in the literature, namely strong realism, realism and weak realism, no systematic attempt has been undertaken to study other available options. In this paper we explore the dynamics and possible interrelations between the three attitudes and we propose notions of realism for heterogeneous BDI agents. We explore a wider range of possibilities by considering a combination of the types of relations between accessible worlds. Moreover, we distinguish between two broad categories of agents, bold and circumspect, according to the relation between beliefs and intentions. We explore several interesting notions of realism for such agents and we argue that these come close to the desiderata for rational BDI agents.

[1]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[2]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[3]  Jan van Leeuwen,et al.  Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .

[4]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Michael Wooldridge,et al.  Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .

[6]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[7]  Scott Soames,et al.  Propositions and attitudes , 1988 .

[8]  Frans Voorbraak,et al.  The Logic of Objective Knowledge and Rational Belief , 1990, JELIA.

[9]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[10]  J. Searle Intentionality: An Essay in the Philosophy of Mind , 1983 .

[11]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[12]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[13]  R. Montague Formal philosophy; selected papers of Richard Montague , 1974 .

[14]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[15]  D. Davidson Essays on actions and events , 1980 .

[16]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[17]  Wiebe van der Hoek Systems for Knowledge and Beliefs , 1990, JELIA.

[18]  J. Hintikka Knowledge and belief , 1962 .

[19]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[20]  John-Jules Ch. Meyer,et al.  Formalising Motivational Attitudes of Agents , 1995, ATAL.

[21]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[22]  Robert Audi Action, Decision, and Intention , 1986 .

[23]  W. Quine The ways of paradox, and other essays , 1966 .

[24]  Martin Ringle,et al.  Philosophical Perspectives in Artificial Intelligence , 1980 .

[25]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[26]  D. Dennett The Intentional Stance. , 1987 .

[27]  D. Davidson Actions, Reasons, And Causes , 1980 .

[28]  Richmond H. Thomason,et al.  A note on syntactical treatments of modality , 1980, Synthese.

[29]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[30]  Matthew Hanser Intention and teleology , 1998 .

[31]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[32]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[33]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..