@inproceedings{rg91, title = {Modeling Rational Agents within a {BDI}-Architecture}, author = {Anand S. Rao and Michael P. Georgeff}, booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning ({KR}'91)}, editor = {James Allen and Richard Fikes and Erik Sandewall}, pages = {473--484}, publisher = {Morgan Kaufmann publishers Inc.: San Mateo, CA, USA}, url = {citeseer.ist.psu.edu/rao91modeling.html}, year = {1991}, biburl = {http://www.bibsonomy.org/bibtex/27d8602aff0eca21013d275617a3d1669/ramaz}, abstract = {Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents as they seek to attain their goals. In this paper, a formalization of intentions based on a branching�time possible�worlds model is presented. It is shown how the formalism realizes many of the important elements of Bratman's theory of intention. In particular, the notion of intention developed here has equal status with the notions of belief and desire, and cannot be reduced to these concepts. This allows different types of rational agents to be modeled by imposing certain conditions on the persistence of an agent's beliefs, goals, and intentions. Finally, the formalism is compared with Bratman's theory of intention and Cohen and Levesque's formalization of intentions.}, owner = {Mauro}, timestamp = {2006.08.31}, isbn = {1-55860-165-1}, keywords = {imported } }