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

Celý popis

Podrobná bibliografie

Vydáno v:	Annals of mathematics and artificial intelligence Ročník 42; číslo 1-3; s. 197 - 226
Hlavní autoři:	Bordini, Rafael H., Moreira, Álvaro F.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Nature B.V 01.09.2004
Témata:	Asymmetry Computer programming Logic programming Principles Programming languages Semantics Software agents
ISSN:	1012-2443, 1573-7470
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!