asynchronous automata (Extended  Home/Search
Context
Related
| ipipan.waw.pl/~penczek/WP...CSP97.ps.gz 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: ipipan.waw.pl/~pencze...allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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