COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS-Reference-Cited by-同舟云学术

COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS

Published:2002-03 Issue:01n02 Volume:11 Page:51-91
ISSN:0218-8430
Container-title:International Journal of Cooperative Information Systems
language:en
Short-container-title:Int. J. Coop. Info. Syst.

Author:

JONKER CATHOLIJN M.¹,TREUR JAN¹

Affiliation:

1. Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands

Abstract

A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is illustrated for an example multi-agent system, consisting of co-operative information gathering agents. This application of the verification method results in a formal analysis of pro-activeness and reactiveness of agents, and shows which combinations of pro-activeness and reactiveness in a specific type of information agents lead to a successful cooperation.

Publisher

World Scientific Pub Co Pte Lt

Subject

Computer Science Applications,Information Systems

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218843002000480

Reference6 articles.

1. The derivation of distributed termination detection algorithms from garbage collection schemes

2. Temporal semantics of compositional task models and problem solving methods

3. Compositional verification of a distributed real-time arbitration protocol

Cited by 70 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inner Speech and Extended Consciousness: a Model based on Damasio’s Theory of Emotions;2023 11th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW);2023-09-10

2. Theoretical Models of Consciousness: A Scoping Review;Brain Sciences;2021-04-24

3. A systematic map on verification and validation of emergent behavior in software engineering research;Future Generation Computer Systems;2020-11

4. Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems;Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27

5. Agent systems verification : systematic literature review and mapping;Applied Intelligence;2018-01-13