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