Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language

作     者：Rafael H. Bordini Álvaro F. Moreira 

作者机构：Departamento de Informática Teórica (INT) Instituto de Informática (II) Universidade Federal do Rio Grande do Sul (UFRGS) CP 15064 91501-970 Porto Alegre RS Brazil Departamento de Informática (DEIN) Centro de Ciências Exatas e Teccnologia (CCET) Universidade de Caxias do Sul (UCS) 95070-560 Caxias do Sul RS Brazil 

出 版 物：《Electronic Notes in Theoretical Computer Science》 

年 卷 期：2002年第70卷第5期

页      面：108-125页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

摘      要：In this paper, we consider each of the nine principles of BDI logics as defined by Rao and Georgeff based on Bratman s asymmetry thesis, and we verify which ones are satisfied by Rao s AgentSpeak(L), a computable logic language inspired by the BDI architecture for cognitive agents. This is in line with Rao s original motivation for defining AgentSpeak(L): to bridge the gap between the theory and practice of BDI agent systems. In order to set the grounds for the proof, we first introduce a particular way in which to define the informational, motivational, and deliberative modalities of BDI logics for AgentSpeak(L) agents, according to its structural operational semantics (that we introduced in a recent paper). This provides a framework that can be used to investigate further properties of AgentSpeak(L) agents, contributing towards giving firm theoretical grounds for BDI agent programming.