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] 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
  • [42] Universally verifiable outsourcing and application to linear programming
    De Hoogh, Sebastiaan
    Schoenmakers, Berry
    Veeningen, Meilof
    Cryptology and Information Security Series, 2015, 13 : 186 - 215
  • [43] 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
  • [44] A logic programming language for multi-agent systems
    Costantini, S
    Tocchio, A
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 1 - 13
  • [45] Constraint programming and multi-agent systems engineering
    Attoui, A
    Hasbani, A
    EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 346 - 351
  • [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] CONSENSUS OF A MULTI-AGENT SYSTEMS WITH HETEROGENEOUS DELAYS
    Rehak, Branislav
    Lynnyk, Volodymyr
    KYBERNETIKA, 2020, 56 (02) : 363 - 381
12345