Mikhail Prokopenko, Marc Butler  Home/Search
Context Related
| cmis.csiro.au/aai/RoboC...trmas_main.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: cmis.csiro.au/aai/RoboCup/Publ... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper describes a hierarchy of logic-based agent architectures and proposes a framework for formalising tactical reason- ing in dynamic multi-agent systems populated by synthetic (software) agents. We first consider basic types of situated agent ar- chitectures and their corresponding action theories. Then more complex tactical agent architectures suitable for high-level reasoning are formally defined. This approach is expressive enough to capture a subset of desirable properties from both... (Update)
Similar documents based on text: More All
1.6: Foundations for the Situation Calculus - Levesque, Pirri, Reiter (1998) (Correct)
1.6: Decision Theory, the Situation Calculus, and Conditional Plans - Poole (1998) (Correct)
1.6: Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) (Correct)
Related documents from co-citation: More All
5: Intelligence Without Reason - Brooks - 1991
5: Situated Reasoning in Multi-Agent Systems - Prokopenko - 1999
4: UvA Trilearn (context) - de Boer, Kok et al. - 2001
BibTeX entry: (Update)
Prokopenko, M., Butler M. Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study, to appear in the Proceedings of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action and Change. Stockholm, 1999. http://citeseer.ist.psu.edu/article/prokopenko99tactical.html More
@misc{ prokopenko99tactical,
author = "M. Prokopenko and M. Butler",
title = "Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study",
text = "Prokopenko, M., Butler M. Tactical Reasoning in Synthetic Multi-Agent Systems:
a Case Study, to appear in the Proceedings of the IJCAI-99 Workshop on Nonmonotonic
Reasoning, Action and Change. Stockholm, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/prokopenko99tactical.html" }
Citations (may not include all citations):458 Intelligence Without Reason - Brooks - 1991
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
123 The RoboCup Synthetic Agent Challenge - Kitano, Tambe et al. - 1997
54 A causal theory of ramifications and qualifications - McCain, Turner - 1995
44 The Representation of Knowl- edge about Dynamical Systems (context) - Sandewall, Fluents - 1994
14 Exploiting Analogical Representations (context) - Steels - 1990
12 Reasoning about Actions in Virtual Reality (context) - Prokopenko, Jauregui - 1997
11 Relating Theories of Actions and Reactive Robot Control - Baral, Tran - 1996
10 Action and planning in embedded agents (context) - Kaelbling, Rosenschein - 1990
7 Towards the Validation of High-level Action Descrip- tions f.. (context) - Sandewall - 1996
7 Multi-context Argumentative Agents - Parsons, Sierra et al. - 1998
7 Situated Reasoning in Multi-Agent Systems - Prokopenko - 1999
5 Logic-based Modelling of Goal-Directed Behaviour (context) - Sandewall - 1997
3 Embracing occlusion in spec- ifying the indirect effects of .. (context) - Gustafsson, Doherty - 1996
3 Maria Lee and Wai-Yat Wong (context) - Prokopenko, Kowalczyk - 1998
Documents on the same site (http://www.cmis.csiro.au/aai/RoboCup/Publications/): More
Cyberoos'99: Tactical Agents in the RoboCup Simulation.. - Prokopenko, Butler.. (Correct)
On Situated Reasoning in Multi-Agent Systems - Prokopenko (1999) (Correct)
Designing and Modelling Situated Agents.. - Prokopenko.. (1998) (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