Download:
|
by Chitta Baral, Tran Son
In Proc. of AAAI 96 Workshop on Reasoning about
http://cs.utep.edu/actions/aaai96/baral-son.ps
Add To MetaCart
Abstract:
In this paper we explore the connection between theories of actions and reactive robot control architectures that are based on the paradigm of situated activity. In particular, we use the entailment relation of the action description language to formalize the notion of `an action leading to a goal ' of Kaelbling and Rosenschein.
Citations
|
2141
|
A robust layered control system for a mobile robot
– Brooks
- 1986
|
|
376
|
Reactive reasoning and planning
– Georgeff, Lansky
- 1987
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
315
|
Universal plans for reactive robots in unpredictable environments
– Schoppers
- 1987
|
|
249
|
An investigation into reactive planning in complex domains
– Firby
- 1987
|
|
248
|
Elephants don't play chess
– Brooks
- 1990
|
|
146
|
Integrating Behavioral, Perceptual, and World Knowledge in Reactive Navigation. Designing Autonomous Agents
– Arkin
- 1992
|
|
95
|
Action and Planning in Embedded Agents
– Kaelbling, Rosechein
- 1990
|
|
90
|
The Frame Problem and Knowledge Producing Actions
– Scherl, Levesque
- 1993
|
|
86
|
Temporal reasoning in logic programming: A case for the situation calculus
– Pinto, Reiter
- 1993
|
|
85
|
A Logical Approach to High-Level Robot Programming - A Progress Report
– LespĂ©rance, Levesque, et al.
- 1994
|
|
75
|
Designing Autonomous Agents
– Maes
- 1990
|
|
73
|
Explanation in the situation calculus
– Shanahan
- 1993
|
|
62
|
Using meta-logic to reconcile reactive with rational agents
– Kowalski
- 1995
|
|
58
|
Representing Actions: Laws, Observations and Hypothesis
– Baral, Gelfond, et al.
- 1997
|
|
43
|
Symbol Grounding via a Hybrid Architecture in an Autonomous Assembly System
– Malcom, Smithers
- 1990
|