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 条
  • [41] An Interface for Programming Verifiable Autonomous Agents in ROS
    Cardoso, Rafael C.
    Ferrando, Angelo
    Dennis, Louise A.
    Fisher, Michael
    MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2020, AT 2020, 2020, 12520 : 191 - 205
  • [42] Verifiable concurrent programming using concurrency controllers
    Betin-Can, A
    Bultan, T
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 248 - 257
  • [43] Universally verifiable outsourcing and application to linear programming
    De Hoogh, Sebastiaan
    Schoenmakers, Berry
    Veeningen, Meilof
    Cryptology and Information Security Series, 2015, 13 : 186 - 215
  • [44] Constraint programming and multi-agent systems engineering
    Attoui, A
    Hasbani, A
    EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 346 - 351
  • [45] A logic programming language for multi-agent systems
    Costantini, S
    Tocchio, A
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 1 - 13
  • [46] EPMAS: EVOLUTIONARY PROGRAMMING MULTI-AGENT SYSTEMS
    Peleteiro, Ana M.
    Burguillo, Juan C.
    Oplatkova, Zuzana
    Zelinka, Ivan
    PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2010, 2010, : 27 - 33
  • [47] From logic programming towards multi‐agent systems
    Robert Kowalski
    Fariba Sadri
    Annals of Mathematics and Artificial Intelligence, 1999, 25 : 391 - 419
  • [48] Design issues in mobile-agent programming systems
    Karnik, NM
    Tripathi, AR
    IEEE CONCURRENCY, 1998, 6 (03): : 52 - +
  • [49] Development of Agent Logic Programming Means for Heterogeneous Multichannel Intelligent Visual Surveillance
    Morozov, Alexei A.
    Sushkova, Olga S.
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2018, 2018, 11238 : 29 - 41
  • [50] Agent-based integration of heterogeneous database systems
    Liu, LZ
    Song, HT
    Bai, L
    PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2005, : 1034 - 1037
12345