Stanislaw Ambroszkiewicz, Wojciech Penczek

Modeling rational BDI-agents within the framework of asynchronous automata

832

Abstract

A new model for multi-agent systems is introduced. Multi-agent system are defined as asynchronous automata composed of non-deterministic agents equipped with several mental attitudes like perception, belief, desire, and intentions. Rational behavior of an agent in the multi-agent system is defined. Rationalizable runs are constructed, in which all the agents behave rationally and this fact is common knowledge among the agents. Finally, a finite representation of agent's mental state is defined. It is shown that this finite representation is sufficient for computing rational decisions of the agents. Moreover, this representation is also sufficient for constructing the rationalizable runs. This gives rise to the method of proving that the problem of existence of rationalizable runs satisfying certain properties is decidable in our framework.

Key words: multi-agent system, BDI-agent architecture, asynchronous automata