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

被引：0
|
作者：
Rafael H. Bordini
Álvaro F. Moreira
机构：
[1] University of Liverpool,Department of Computer Science
[2] Universidade Federal do Rio Grande do Sul,Departamento de Informática Teórica, Instituto de Informática
来源：
Annals of Mathematics and Artificial Intelligence | 2004年 / 42卷
关键词：
distributed artificial intelligence; BDI logics; agent-oriented programming; structural operational semantics; asymmetry thesis principles;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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 grounds for the proofs, we first introduce a rigorous 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 computationally grounded semantics for the BDI modalities forms the basis of a framework that can be used to further investigate BDI properties of AgentSpeak(L) agents, and contributes towards establishing firm theoretical grounds for a BDI approach to agent-oriented programming.
引用
收藏
页码：197 / 226
页数：29
相关论文
共 9 条
  • [1] Proving BDI properties of agent-oriented programming languages - The asymmetry thesis principles in AgentSpeak(L)
    Bordini, RH
    Moreira, AF
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 197 - 226
  • [2] JaKtA: BDI Agent-Oriented Programming in Pure Kotlin
    Baiardi, Martina
    Burattini, Samuele
    Ciatto, Giovanni
    Pianini, Danilo
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14282 LNAI : 49 - 65
  • [3] On using Theorem Proving for Cognitive Agent-oriented Programming
    Jensen, Alexander Birch
    Hindriks, Koen, V
    Villadsen, Jorgen
    [J]. ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, 2021, : 446 - 453
  • [4] Knowledge Representation for Argumentation in Agent-Oriented Programming Languages
    Panisson, Alison R.
    Bordini, Rafael H.
    [J]. PROCEEDINGS OF 2016 5TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS 2016), 2016, : 13 - 18
  • [5] A Survey of Agent-Oriented Programming: From Program Models to Programming Languages and Environments
    Mao, Xinjun
    Wang, QiuZhen
    [J]. 2015 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT), VOL 2, 2015, : 159 - 165
  • [6] Special track on agent-oriented programming, systems, languages, and applications (APSLA)
    Ricci, Alessandro
    Platon, Eric
    Ishikawa, Fuyuki
    Weyns, Danny
    [J]. Proceedings of the ACM Symposium on Applied Computing, 2008, : 50 - 51
  • [7] Towards a Computational Model of Argumentation Schemes in Agent-Oriented Programming Languages
    Panisson, Alison R.
    Bordini, Rafael H.
    [J]. 2020 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2020), 2020, : 9 - 16
  • [8] Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication
    Moreira, AF
    Vieira, R
    Bordini, RH
    [J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 135 - 154
  • [9] Agent-Oriented Programming Languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based Applications
    Russell, Sean
    O'Hare, G. M. P.
    Collier, Rem W.
    [J]. PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2015, 9387 : 501 - 509
1