Compositional design and verification of a multi-agent system for one-to-many negotiation

被引：6
|
作者：
Brazier, F [1 ]
Cornelissen, F [1 ]
Gustavsson, R [1 ]
Jonker, CM [1 ]
Lindeberg, O [1 ]
Polak, B [1 ]
Treur, J [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Math & Comp Sci, Artificial Intelligence Grp, NL-1081 HV Amsterdam, Netherlands
来源：
INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/ICMAS.1998.699031
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.
引用
收藏
页码：49 / 56
页数：8
相关论文
共 50 条
  • [1] Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
    Frances M.T. Brazier
    Frank Cornelissen
    Rune Gustavsson
    Catholijn M. Jonker
    Olle Lindeberg
    Bianca Polak
    Jan Treur
    [J]. Applied Intelligence, 2004, 20 : 95 - 117
  • [2] Compositional verification of a multi-agent system for one-to-many negotiation
    Brazier, FMT
    Cornelissen, F
    Gustavsson, R
    Jonker, CM
    Lindeberg, O
    Polak, B
    Treur, J
    [J]. APPLIED INTELLIGENCE, 2004, 20 (02) : 95 - 117
  • [3] Open, Dynamic and Continuous One-to-Many Negotiation System
    Sun, Tianhao
    Zhu, Qingsheng
    Li, Shuangqing
    Zhou, Mingqiang
    [J]. 2007 SECOND INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, 2007, : 87 - 93
  • [4] A Study of One-to-Many Multi-Attribute Automated Negotiation
    Wu, Yuying
    Zhang, Lixing
    Yan, Feng
    [J]. INFORMATION SYSTEMS IN THE CHANGING ERA: THEORY AND PRACTICE, 2009, : 270 - 276
  • [5] An Approach to One-to-Many Concurrent Negotiation
    Mansour, Khalid
    Kowalczyk, Ryszard
    [J]. GROUP DECISION AND NEGOTIATION, 2015, 24 (01) : 45 - 66
  • [6] ON COORDINATING STRATEGY FOR ONE-TO-MANY NEGOTIATION
    Yao, Yonglei
    Ma, Li
    [J]. CIICT 2008: PROCEEDINGS OF CHINA-IRELAND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS TECHNOLOGIES 2008, 2008, : 160 - 164
  • [7] An Approach to One-to-Many Concurrent Negotiation
    Khalid Mansour
    Ryszard Kowalczyk
    [J]. Group Decision and Negotiation, 2015, 24 : 45 - 66
  • [8] One-one bargaining negotiation process in multi-agent system
    Liu, DY
    Chen, JZ
    [J]. PROCEEDINGS OF INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1996, : 150 - 159
  • [9] Design and Research of One-to-Many Multi-attribute Negotiation Support System Based on User Acceptance Behavior Model
    Lv, Xinfu
    [J]. 2018 5TH INTERNATIONAL CONFERENCE ON ELECTRICAL & ELECTRONICS ENGINEERING AND COMPUTER SCIENCE (ICEEECS 2018), 2018, : 396 - 399
  • [10] Qualitative One-to-Many Multi-Issue Negotiation: Approximating the QVA
    Hindriks, Koen V.
    Tykhonov, Dmytro
    de Weerdt, Mathijs M.
    [J]. GROUP DECISION AND NEGOTIATION, 2012, 21 (01) : 49 - 77
12345