See this document in CiteSeerX!

Modelling rational BDI-agents within the framework of  (Make Corrections)  
asynchronous automata (Extended



  Home/Search   Context   Related

 
View or download:
ipipan.waw.pl/~penczek/WP...CSP97.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ipipan.waw.pl/~pencze...allpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Stanis/law Ambroszkiewicz and Wojciech Penczek Institute of Computer Science, Polish Academy of Sciences email: penczek, sambrosz@ipipan.waw.pl Abstract A new model for multi-agent systems is introduced. Multi-agent systems are defined as asynchronous automata composed of non-deterministic agents equipped with several mental attitudes like perception, belief, desire, and intentions. Rational behavior of an agent in the multi-agent system is defined. Rationalizable runs are constructed,... (Update)

Similar documents (at the sentence level):
79.5%:   Modelling rational BDI-agents within the framework of.. - Ambroszkiewicz, Penczek   (Correct)

Active bibliography (related documents):   More   All
0.5:   Cooperation Mechanisms in a Multi-Agent Distributed.. - Ambroszkiewicz, Matyja, .. (1998)   (Correct)
0.3:   Social Interactions of Autonomous Agents; Private and Global.. - Dignum (1997)   (Correct)
0.2:   Agent Virtual Organizations within the Framework of Network.. - Ambroszkiewicz (1999)   (Correct)

Similar documents based on text:   More   All
0.5:   Model Checking of Causal Knowledge Formulas - Penczek, Ambroszkiewicz (1999)   (Correct)
0.4:   Team Formation by Self-Interested Mobile Agents - Ambroszkiewicz, Matyja, Penczek (1998)   (Correct)
0.4:   Distributed Games: Local Interactions, Explicit.. - Ambroszkiewicz, Penczek (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ extended-modelling,
  author = "Asynchronous Automata Extended",
  title = "Modelling rational BDI--agents within the framework of",
  url = "citeseer.ist.psu.edu/718801.html" }
Citations (may not include all citations):
434   An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
138   An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
85   Modelling rational agents within a BDI--architecture (context) - Rao, Georgeff - 1991
54   Multiagent Systems: A Theoretical Framework for Intentions (context) - Singh - 1994
34   The Design of Intelligent Agents: A Layered Approach (context) - Muller - 1996
34   Rationalizable Strategic Behavior and the Problem of Perfect.. (context) - Pearce - 1984
32   Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992
31   Rationalizable strategic behavior (context) - Bernheim - 1984
30   Decision procedures for propositional linear-time belief-des.. (context) - Rao
25   Local knowledge assertions in a changing world (context) - Ramanujam - 1996
17   Notes on finite asynchronous automata (context) - Zielonka - 1987
16   Temporal Logics for Trace Systems: On automated verification (context) - Penczek - 1993
13   Asynchronous Automata for Infinite Traces (context) - Gastin, Petit - 1992
12   This is MY WORLD: The logic of an agent-oriented testbed for.. (context) - Wooldridge - 1995
9   Communication and Cooperation in Agent Systems (context) - Haddadi - 1996
7   Using Asynchronous Buchi Automata for Efficient Automatic Ve.. - Peled, Penczek - 1995
5   Modeling rational BDI--agents within the framework of asynch.. (context) - Ambroszkiewicz, Penczek - 1997
4   A model of BDI-agent in game--theoretic framework - Ambroszkiewicz, Komar - 1997
3   Modeling Social Agents: Communication as action - Dignum, van Linder - 1996
2   A rational unit of a cooperative spoken dialogue system: Imp.. (context) - Bretier, Sadek - 1996
1   Cooperative problem-solving guided by intentions and percept.. (context) - Burmaister, Sundermeyer - 1992

Documents on the same site (http://www.ipipan.waw.pl/~penczek/WPenczek/allpapers.html):   More
Model Checking for Modal Logics (Extended Abstract) - Penczek (2001)   (Correct)
Towards Formal Specification and Verification in Cyberspace - Ambroszkiewicz, Penczek.. (2000)   (Correct)
A Complete Axiomatization of a First-Order Temporal Logic.. - Penczek, Srebrny (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