Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the...

Full description

Saved in:

Bibliographic Details
Published in:	Annals of mathematics and artificial intelligence Vol. 42; no. 1-3; pp. 197 - 226
Main Authors:	Bordini, Rafael H., Moreira, Álvaro F.
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Nature B.V 01.09.2004
Subjects:	Asymmetry Computer programming Logic programming Principles Programming languages Semantics Software agents
ISSN:	1012-2443, 1573-7470
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!