Verifying Interlevel Relations within Multi-Agent Systems

Authors:
Alexei Sharpanskykh;Jan Treur
Affiliations:
Vrije Universiteit Amsterdam, Dept of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands. E-mail: {sharp, treur}@few.vu.nl URL: http://www.few.vu.nl/̋{sharp,treur};Vrije Universiteit Amsterdam, Dept of AI, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands. E-mail: {sharp, treur}@few.vu.nl URL: http://www.few.vu.nl/̋{sharp,treur}
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 8
Cited 13

A logic-based calculus of events

New Generation Computing
SADT: structured analysis and design technique

SADT: structured analysis and design technique
Compositional verification of a distributed real-time arbitration protocol

Real-Time Systems
Extensions of first order logic

Extensions of first order logic
Model checking

Model checking
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Symbolic Model Checking

Symbolic Model Checking
Temporal Development Methods for Agent-Based

Autonomous Agents and Multi-Agent Systems

Agent-oriented modeling of the dynamics of biological organisms

Applied Intelligence
A framework for formal modeling and analysis of organizations

Applied Intelligence
An ambient agent model for automated mindreading by identifying and monitoring representation relations

Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Modeling of Agents in Organizational Context

CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Past--future separation and normal forms in temporal predicate logic specifications

Journal of Algorithms
Modeling organizational performance indicators

Information Systems
Integrating agent models and dynamical systems

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
On the complexity monotonicity thesis for environment, behaviour and cognition

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Formal analysis of design process dynamics

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Abstraction relations between internal and behavioural agent models for collective decision making

ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Formal analysis of executions of organizational scenarios based on process-oriented specifications

Applied Intelligence
Formal framework to support organizational design

Knowledge-Based Systems
Abstraction relations between internal and behavioural agent models for collective decision making

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of every aggregation level is specified by a set of dynamic properties for components and interactions at that level, expressed in some (temporal) language. The dynamic properties of higher aggregation levels in principle can be logically related to dynamic properties of lower levels. This asks for identification and verification of such interlevel relations. In this article it is shown how this problem can be addressed using model checking techniques.