Barbara Dunin-Keplicz, Jan Treur  Home/Search
Context
Related
| cs.vu.nl/~wai/demas/ATAL94.ps cs.vu.nl/~wai/Pape...AL94.formspec26.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.vu.nl/vakgroepen/ai/p...desire (more) From: cs.vu.nl/~treur/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 general 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. ... (Update)
Similar documents (at the sentence level):
22.7%: Modelling Reasoning and Acting Agents - Dunin-Keplicz, Treur (1995) (Correct)
Active bibliography (related documents): More All
0.4: Temporal Semantics of Compositional Task Models And .. - Brazier, Treur.. (1999) (Correct)
0.3: Formal Semantics of Temporal Epistemic Reflection - van der Hoek, Meyer, Treur (1994) (Correct)
0.2: Desire: Modelling Multi-Agent Systems In A Compositional.. - Frances Brazier (1997) (Correct)
Similar documents based on text: More All
0.2: Modelling Distributed Industrial Processes in a.. - Brazier.. (1996) (Correct)
0.2: Modelling Internal Dynamic Behaviour of BDI Agents - Brazier, Dunin-Keplicz.. (1997) (Correct)
0.2: Formal Specification of Multi-Agent Systems: a.. - Brazier.. (1995) (Correct)
BibTeX entry: (Update)
@incollection{ duninkeplicz95compositional,
author = "B. Dunin-Keplicz and J. Treur",
title = "Compositional formal specification of multi-agent systems",
booktitle = "Intelligent Agents: Theories, Architectures, and Languages ({LNAI} Volume 890)",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "M. Wooldridge and N. R. Jennings",
pages = "102--117",
year = "1995",
url = "citeseer.ist.psu.edu/dunin-keplicz95compositional.html" }
Citations (may not include all citations):45 Formal Specification of Complex Reasoning Systems (context) - Treur - 1993
32 Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992
26 Formal specification of compositional architectures (context) - Langevelde, van and et al. - 1992
23 Specifying and verifying distributed intelligent systems - Fisher, Wooldridge - 1993
20 Temporal theories of reasoning - Engelfriet, Treur - 1994
16 Temporal semantics of meta-level architectures for dynamic c.. (context) - Treur - 1994
14 A formal model for the dynamics of compositional reasoning s.. (context) - Gavrila, Treur - 1994
12 User centered knowledge-based system design: a formal modell.. (context) - Brazier, Treur - 1994
5 A scheme for agent collaboration in open multi-agent environ.. (context) - Osawa
4 SAM: a model to design computational social agents (context) - Bouron, Collinot - 1992
4 the use of a formalized generic task model in knowledge acqu.. (context) - Kowalczyk, Treur - 1990
3 Interaction types and chemistry of generic task models (context) - Treur - 1992
2 Distributed Artifical Intelligence (context) - Huhns - 1987
2 Designing compositional assumption revision (context) - Pannekeet, Philipsen
1 Formal modelling in multi-agent domains (context) - Dunin-Keplicz, Treur
Documents on the same site (http://www.cs.vu.nl/vakgroepen/ai/projects/desire): More
Formal Specification of Multi-Agent Systems: a.. - Brazier.. (1995) (Correct)
Modelling Reasoning and Acting Agents - Dunin-Keplicz, Treur (1995) (Correct)
The Acquisition of a Shared Task Model - Brazier, Treur, Wijngaards (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC