Eyal Amir, Pedrito Maynard-Reid, II  Home/Search
Context Related
| hermes.dis.uniroma...aynardreidII.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: hermes.dis.uniroma1.it/~cogrob... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe a logic-based AI architecture based on Brooks' Subsumption Architecture. We axiomatize each of the layers of control in his system separately and use independent theorem provers to derive each layer's outputs given its inputs. We implement the subsumption of lower layers by higher layers using circumscription to make assumptions in lower levels and nonmonotonically retract them when higher levels come up with some new conclusions. We give formal semantics to our... (Update)
Context of citations to this paper: More
...in uences our design decisions, as will be evident. All proofs are omitted for lack of space. They are available in the full version (Amir 1999). 2 An Object Oriented Approach to Logic The intuition behind our approach to Object Oriented logic is that a theory can be presented...
.... cs.stanford.edu Abstract We describe an implementation of the Logicbased Subsumption Architecture (LSA) [Amir and Maynard Reid, 1999] , an AI architecture inspired by Brooks subsumption architecture but based on logic. In this architecture, layers of control...
Cited by: More
LISA: A Robot Driven by Logical Subsumption - Amir, Maynard-Reid (Correct)
Meta-Reasoning For a Distributed Agent Architecture - Chelberg, Welch.. (Correct)
A Dynamic, Real-Time Testbed for Resource Management.. - Chelberg, Welch.. (Correct)
Similar documents (at the sentence level):
32.2%: Logic-based Subsumption Architecture - Amir, Maynard-Reid (1998) (Correct)
6.6%: Logic-Based Subsumption Architecture - Amir, II (1999) (Correct)
Active bibliography (related documents): More All
0.5: Pointwise Circumscription Revisited - Amir (Correct)
0.3: Applying Theory of Evidence in multisensor data fusion: a logical .. - Cholvy (2000) (Correct)
0.2: Logic-Based Subsumption Architecture: Empirical Evaluation - Amir, II (2000) (Correct)
Similar documents based on text: More All
0.2: From Time-Steps To Events And Back - Linåker (2001) (Correct)
Related documents from co-citation: More All
4: A robust layered control system for a mobile robot (context) - Brooks - 1986
2: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
2: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolo.. - Stickel - 1989
BibTeX entry: (Update)
Amir, E., and Maynard-Reid, P. 1999. Logic-based subsumption architecture. In Proc. 6th Intl Joint Conf. on Articial Intelligence (IJCAI-99). http://citeseer.ist.psu.edu/amir99logicbased.html More
@inproceedings{ amir99logicbased,
author = "Eyal Amir and Pedrito Maynard-Reid {II}",
title = "Logic-Based Subsumption Architecture",
booktitle = "{IJCAI}",
pages = "147-152",
year = "1999",
url = "citeseer.ist.psu.edu/amir99logicbased.html" }
Citations (may not include all citations):1364 A robust layered control system for a mobile robot (context) - Brooks - 1986
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
269 Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
117 Features and Fluents (context) - Sandewall - 1994
107 Artificial Intelligence (context) - Nilsson - 1998
87 Nonmonotonic Reasoning: Logical Foundations of Common Sense (context) - Brewka - 1991
62 Handbook of Logic in Artificial Intelligence and Logic Progr.. (context) - Gabbay, Hogger et al. - 1994
58 Solving the Frame Problem (context) - Shanahan - 1997
56 A Prolog technology theorem prover (context) - Stickel
43 Nonmonotonic Reasoning (context) - Antoniou - 1997
42 Nonmonotonic Reasoning: An Overview (context) - Brewka, Dix et al. - 1997
42 Foundations of a logical approach to agent programming - Lesprance, Levesque et al. - 1996
41 Robotics and the common sense informatic situation - Shanahan - 1996
37 A Prolog Technology Theorem Prover: a new exposition and imp.. - Stickel, Stickel - 1992
29 Execution monitoring of high-level robot programs - Giacomo, Reiter et al. - 1998
27 Relating theories of actions and reactive control - Baral, Tran - 1998
24 Elaboration Tolerance - McCarthy - 1998
21 A logical account of the common sense informatic situation f.. - Shanahan - 1998
21 Natural actions (context) - Reiter - 1996
10 Reasoning about concurrent execution (context) - Giacomo, Lesperance et al. - 1997
8 Formalization of common sense (context) - McCarthy - 1990
8 Postmodular systems: Architectural principles for cognitive .. (context) - Stein - 1997
6 and Selman (context) - Kautz, McAllester - 1996
3 Reasoning under uncertainty (context) - Pearl - 1990
2 A Prolog Technology Theorem Prover: implementation by an ext.. (context) - on, Deduction et al.
2 Control of the Physical World by Intelligent Systems: Papers.. (context) - Kuipers, ed - 1994
2 Programs with Common Sense (context) - Meltzer, Michie et al. - 1958
1 The Logical Theory In this appendix we draw the entire logic.. (context) - Stickel - 1986
1 New York: Simon and Schuster (context) - CommonSense, in et al. - 1985
1 Actions with indirect effects: Preliminary report (context) - Action, Ramifications et al. - 1994
1 Knowledge in Action: Logical Foundations for Describing and .. (context) - Kaumann - 1998
1 and Shapiro (context) - Cohn, Schubert - 1997
Documents on the same site (http://hermes.dis.uniroma1.it/~cogrob98/working-notes/): More
An Incremental Interpreter for High-Level Programs with Sensing - De Giacomo, Levesque (1998) (Correct)
Temporal Golog with Execution Monitoring - Soutchanski (1998) (Correct)
Reinventing Shakey - Shanahan (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