David Poole  Home/Search
Context Related
| cs.ubc.ca/nest/lci/pap...poolelprc.pdf 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: cs.ubc.ca/nest/lci...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes logic programs as a specification for robot control. These provide a formal specification of what an agent should do depending on what it senses, and its previous sensory inputs and actions. We show how to axiomatise reactive agents, events as an interface between continuous and discrete time, and persistence, as well as axiomatising integration and differentiation over time (in terms of the limit of sums and differences). This specification need not be evaluated as a Prolog ... (Update)
Context of citations to this paper: More
...al. 1996] which is much more like a robot plan as developed here see Section 7. Rather than assuming robots have policies [Poole, 1995c] we can instead consider robot plans as in GOLOG [Levesque et al. 1996] These plans consider sequences of steps, with conditions...
...totally ordered and has a metric over intervals. o can either be continuous or discrete; for this paper we will consider discrete time. See [39] for a development of continuous time in this framework. A trace is a function from into some domain . A transduction is a function...
Cited by: More
Coherent Functions in Autonomous Systems - Sossai, Chemello (2002) (Correct)
Projection using Regression and Sensors - De Giacomo, Levesque (1999) (Correct)
A Logical Account of Perception Incorporating Feedback and.. - Shanahan (2002) (Correct)
Similar documents (at the sentence level):
73.0%: Logic Programming for Robot Control - Poole (1995) (Correct)
Active bibliography (related documents): More All
0.3: Representing And Reasoning About Motion In A Two-Dimensional World - Wanlin Pang (1994) (Correct)
0.1: The Independent Choice Logic for modelling multiple agents under.. - Poole (1997) (Correct)
0.1: An Approach To The Problems Of Complexity And.. - Caines, Mackling, .. (1994) (Correct)
Similar documents based on text: More All
0.5: Probabilistic Partial Evaluation: Exploiting rule structure in.. - Poole (1997) (Correct)
0.4: Sensing and Acting in the Independent Choice Logic - David Poole (1995) (Correct)
0.4: Decision Theory, the Situation Calculus and Conditional Plans - Poole (1998) (Correct)
Related documents from co-citation: More All
11: A robust layered control system for a mobile robot (context) - Brooks - 1986
9: Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
9: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
David Poole. Logic programming for robot control. In Chris S. Mellish, editor, Proc. International Joint Conference on Artificial Intelligence, pages 150--157, San Mateo, California, 1995. Morgan Kaufmann Publishers, Inc. http://citeseer.ist.psu.edu/article/poole95logic.html More
@inproceedings{ poole95logic,
author = "David Poole",
title = "Logic Programming for Robot Control",
booktitle = "{IJCAI}",
pages = "150-157",
year = "1995",
url = "citeseer.ist.psu.edu/article/poole95logic.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
365 Pengi: An implementation of a theory of activity (context) - Agre, Chapman - 1987
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
242 Planning and Control (context) - Dean, Wellman - 1991
138 Probabilistic Horn abduction and Bayesian networks - Poole - 1993
72 New Generation Computing (context) - Apt, Bezem - 1991
64 Communications of the ACM (context) - Kowalski, logic - 1979
54 A situated view of representation and control - Rosenschein, Kaelbling - 1995
51 Representing continuous change in the event calculus - Shanahan - 1990
44 Combining logic and differential equations for describing re.. (context) - Sandewall - 1989
28 Multiple agent hybrid control architecture (context) - Nerode, Kohn - 1994
25 Constraint nets: a semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
22 Reasoning about time in the situation calculus - Pinto, Reiter - 1995
13 COCOLOG: A conditional observer and controller logic for fin.. - Caines, Wang - 1995
9 A Foundation for the Design and Analysis of Robotic Systems .. - Zhang - 1994
7 An approach to reasoning about continuous change for applica.. - Dean, Siegle - 1990
3 The interval representation problem (context) - Trudel - 1991
2 VLSI architecture design using predicate logic (context) - Gaboury - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/nest/lci/papers/1995/publications.html): More
Performance Measures for Constrained Systems - van den Doel, Pai (1995) (Correct)
Exploiting the Rule Structure for Decision Making within the.. - Poole (1995) (Correct)
AI Meets Authoring: User Models for Intelligent Multimedia - Csinger, Booth, Poole (1994) (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