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 条
  • [1] Verifiable agent interaction in abductive logic programming:: The SCIFF framework
    Alberti, Marco
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Torroni, Paolo
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (04)
  • [2] Reverse Offload Programming on Heterogeneous Systems
    Chen, Cheng
    Yang, Wenxiang
    Wang, Fang
    Zhao, Dan
    Liu, Yang
    Deng, Liang
    Yang, Canqun
    IEEE ACCESS, 2019, 7 : 10787 - 10797
  • [3] Programming Heterogeneous Systems with Array Types
    Cui, Xiang
    Li, Xiaowen
    Chen, Yifeng
    2015 15TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING, 2015, : 1067 - 1074
  • [4] A LANGUAGE FOR VERIFIABLE MODULAR PROGRAMMING
    MALIK, MA
    AUSTRALIAN COMPUTER JOURNAL, 1982, 14 (04): : 137 - 142
  • [5] Agent-based computing and programming of agent systems
    Luck, M
    McBurney, P
    Gonzalez-Palacios, J
    PROGRAMMING MULTI-AGENT SYSTEMS, 2006, 3862 : 23 - 37
  • [6] Programming multi-agent systems
    Dastani, M
    Gomez-Sanz, JJ
    KNOWLEDGE ENGINEERING REVIEW, 2005, 20 (02): : 151 - 164
  • [7] Programming multi-agent systems
    Dastani, Mehdi
    KNOWLEDGE ENGINEERING REVIEW, 2015, 30 (04): : 394 - 418
  • [8] Transactional programming for distributed agent systems
    Murthy, VK
    1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 64 - 71
  • [9] Programming Multi-agent Systems
    Dastani, Mehdi
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2009, 5405 : 13 - 16
  • [10] Verifiable Self-Aware Agent-Based Autonomous Systems
    Dennis, Louise A.
    Fisher, Michael
    PROCEEDINGS OF THE IEEE, 2020, 108 (07) : 1011 - 1026
12345