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] 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
  • [22] Controllability of Heterogeneous Multi-Agent Systems
    Guan Yongqiang
    Ji Zhijian
    Zhang Lin
    Wang Long
    2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 7184 - 7189
  • [23] Consensus of heterogeneous multi-agent systems
    Zheng, Y.
    Zhu, Y.
    Wang, L.
    IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (16) : 1881 - 1888
  • [24] A Review of Agent-Based Programming for Multi-Agent Systems
    Cardoso, Rafael C.
    Ferrando, Angelo
    COMPUTERS, 2021, 10 (02) : 1 - 15
  • [25] Verifiable middleware for secure agent interoperability
    Bharadwaj, R
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 126 - 132
  • [26] Verifiable multi-agent programs
    Bordini, RH
    Fisher, M
    Visser, W
    Wooldridge, M
    PROGRAMMING MULTI-AGENT SYSTEMS, 2003, 3067 : 72 - 89
  • [27] Verifiable semantics for agent communication languages
    Wooldridge, M
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 349 - 356
  • [28] Architectural support for multilanguage parallel programming on heterogeneous systems
    Bisiani, Roberto
    Forin, Alessandro
    ACM SIGPLAN Notices, 1987, 22 (10): : 21 - 30
  • [29] OPENCL: A PARALLEL PROGRAMMING STANDARD FOR HETEROGENEOUS COMPUTING SYSTEMS
    Stone, John E.
    Gohara, David
    Shi, Guochun
    COMPUTING IN SCIENCE & ENGINEERING, 2010, 12 (03) : 66 - 72
  • [30] 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
12345