Compositional formal specification of multi-agent systems

B.M. Dunin-Keplicz, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patterns of integrated reasoning, communication and interaction with the material world are described. Finally, we present an overview of formal semantics for our approach.
Original languageEnglish
Title of host publicationIntelligent Agents - ECAI 1994 Workshop on Agent Theories, Architectures, and Languages, Proceedings
EditorsM. Wooldridge
PublisherSpringer/Verlag
Pages102-117
Number of pages16
Volume890
ISBN (Print)3540588558, 9783540588559
DOIs
Publication statusPublished - 1995
Event1st Workshop on Agent Theories, Architectures, and Languages, ECAI 1994 - Amsterdam, Netherlands
Duration: 8 Aug 19949 Aug 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume890 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop1st Workshop on Agent Theories, Architectures, and Languages, ECAI 1994
Country/TerritoryNetherlands
CityAmsterdam
Period8/08/949/08/94

Fingerprint

Dive into the research topics of 'Compositional formal specification of multi-agent systems'. Together they form a unique fingerprint.

Cite this