(Enter summary)
Abstract: A formal approach to the design of (meta-level) compositional architectures for multi-agents
systems is presented. A structure for reflective agents is proposed within which reasoning
about observation and communication, an agent's own information state and reasoning
processes, other agents' information states and reasoning processes, and combinations of
these types of reflective reasoning are explicitly modelled. To illustrate the approach the
wise men's puzzle has been modelled using... (Update)
Context of citations to this paper: More
.... of a generic cooperative agent, based on the generic agent model and Jenning s model of cooperation, see (Jennings, 1995) In (Brazier and Treur, 1996) another refinement of the generic agent model is proposed for reflective agents capable of reasoning about their own reasoning...
...3. 4 Agent advanced attitudes Mental Attitudes Deliberative Reflective Emotional Adaptive AgentBuilder CaseLP [6] DESIRE [8] [13] IMPACT [22] 21] 22] Zeus [50, 42] An observation emerging from this table is that the effort in building agents which mimic...
Cited by: More
Automated Support For - Adaptive Incident Management
(Correct)
Comparing Environments for Developing Software Agents - Eiter, Mascardi
(Correct)
Formal Semantics of Meta-Level Architectures: Dynamic Control of.. - Treur
(Correct)
Similar documents (at the sentence level): More
21.8%: Compositional Modelling of Reflective Agents - Treur (1999)
(Correct)
21.3%: Managing Conflicts in Reflective Agents - Brazier, Treur (2000)
(Correct)
9.2%: Modelling Distributed Industrial Processes in a.. - Brazier.. (1996)
(Correct)
Active bibliography (related documents): More All
0.4: Modelling S removal from hot metal by lime and magnesium - Brazier, van Eck, Treur (1996)
(Correct)
0.4: Design of a Modelling Framework for Multi-Agent Systems - Brazier, van Eck, Treur (1996)
(Correct)
0.3: Modelling Cooperative Behaviour for Resource Access in a.. - Brazier, van Eck, Treur (1996)
(Correct)
Similar documents based on text: More All
0.7: Temporal Semantics of Compositional Task Models And .. - Brazier, Treur.. (1999)
(Correct)
0.7: Modelling Interaction with Experts: The Role of a Shared.. - Brazier, Treur.. (1996)
(Correct)
Related documents from co-citation: More All
3: The Intentional Stance (context) - Dennett - 1987
3: IMPACTing SHOP: Planning in a Multi-Agent Environment
- Dix, Munoz-Avila et al. - 2001
2: Agent-Based Software Engineering
- Petrie - 2000
BibTeX entry: (Update)
Brazier, F.M.T., Treur, J. (1996). Compositional modelling of reflective agents. In: B.R. Gaines, M.A. Musen (Eds.), Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 23/1-13/12. http://citeseer.ist.psu.edu/article/brazier96compositional.html More
@misc{ brazier96compositional,
author = "F. Brazier and J. Treur",
title = "Compositional modelling of reflective agents",
text = "Brazier, F.M.T., Treur, J. (1996). Compositional modelling of reflective
agents. In: B.R. Gaines, M.A. Musen (Eds.), Proc. of the 10th Banff Knowledge
Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG
Publications, Department of Computer Science, University of Calgary, pp.
23/1-13/12.",
year = "1996",
url = "citeseer.ist.psu.edu/article/brazier96compositional.html" }
Citations (may not include all citations):
66
Intelligent Agents
- Wooldridge, Jennings - 1995
56
Formal Specification of Multi-Agent Systems: a Real World Ca..
- Brazier, Dunin et al. - 1995
48
Meta-level architectures and reflection (context) - Maes, Nardi - 1998
38
DESIRE: modelling multi-agent systems in a compositional for..
- Brazier, Dunin et al. - 1997
23
Specifying and Verifying Distributed Intelligent Systems
- Fisher, Wooldridge - 1993
20
A Logical and Operational Model of Scalable Knowledge- and P.. (context) - Wagner - 1996
16
Multi-context Systems as a Specification framework for Compl..
- Giunchiglia, Traverso et al. - 1993
16
Temporal Semantics of Meta-Level Architectures for Dynamic C.. (context) - Treur - 1994
15
Proofs in Context
- Attardi, Simi - 1994
7
Temporal semantics of complex reasoning tasks
- Brazier, Treur et al. - 1996
5
Modelling Cooperative Behaviour for Resource Access in a Com..
- Brazier, van Eck et al. - 1996
4
Modelling Reasoning and Acting Agents (context) - Keplicz, Treur - 1995
4
The psychology of learning mathematics (context) - Skemp - 1971
3
Self-awareness: notes for a computational theory of intrapsy.. (context) - Castelfranchi - 1995
1
Prolegomena to a theory of mechanized formal reasoning (context) - Lecture, AI et al. - 1980
1
learning and action (context) - Skemp - 1979
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