Programming Verifiable Heterogeneous Agent Systems

被引：0
|
作者：
Dennis, Louise A. [1 ]
Fisher, Michael [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England
来源：
PROGRAMMING MULTI-AGENT SYSTEMS | 2009年 / 5442卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.
引用
收藏
页码：40 / 55
页数：16
相关论文
共 50 条
  • [21] A Review of Agent-Based Programming for Multi-Agent Systems
    Cardoso, Rafael C.
    Ferrando, Angelo
    COMPUTERS, 2021, 10 (02) : 1 - 15
  • [22] Consensus of heterogeneous multi-agent systems
    Zheng, Y.
    Zhu, Y.
    Wang, L.
    IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (16): : 1881 - 1888
  • [23] Controllability of Heterogeneous Multi-Agent Systems
    Guan Yongqiang
    Ji Zhijian
    Zhang Lin
    Wang Long
    2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 7184 - 7189
  • [24] Observability of Heterogeneous Multi-Agent Systems
    Liu, Bo
    Shen, Xixi
    Wu, Licheng
    Su, Housheng
    IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2021, 8 (02): : 1828 - 1841
  • [25] Verifiable semantics for agent communication languages
    Wooldridge, M
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 349 - 356
  • [26] Verifiable multi-agent programs
    Bordini, RH
    Fisher, M
    Visser, W
    Wooldridge, M
    PROGRAMMING MULTI-AGENT SYSTEMS, 2003, 3067 : 72 - 89
  • [27] Verifiable middleware for secure agent interoperability
    Bharadwaj, R
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 126 - 132
  • [28] UPPA: Unified Parallel Programming Architecture for Heterogeneous Systems
    Wu S.-S.
    Dong X.-S.
    Wang Y.-F.
    Wang L.-X.
    Zhu Z.-D.
    Jisuanji Xuebao/Chinese Journal of Computers, 2020, 43 (06): : 990 - 1009
  • [29] A Comparative Study of Programming Environments Exploiting Heterogeneous Systems
    Ko, Bongsuk
    Han, Seunghun
    Park, Yongjun
    Jeon, Moongu
    Lee, Byeongcheol
    IEEE ACCESS, 2017, 5 : 10081 - 10092
  • [30] Programming models and methods for heterogeneous parallel embedded systems
    Casale-Brunet, Simone
    Bezati, Endri
    Mattavelli, Marco
    2016 IEEE 10TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC), 2016, : 289 - 296
12345