Theories of Action, Planning, and Robot Control: Bridging the Gap
Papers from the AAAI Workshop
Chitta Baral, Program Chair
Technical Report WS-96-07 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Combining Navigational Planning and Reactive Control / 1
K. Ali and A. Goel, Georgia Institute of Technology
Detecting and Reacting to Unplanned-for World States / 10
E. Atkins, E. Durfee, and K. Shin, University of Michigan
Relating Logic Programming Theories of Actions and Partial Order Planning / 18
C. Baral, University of Texas at El Paso
Relating Theories of Actions and Reactive Robot Control / 28
C. Baral, and T. Son, University of Texas at El Paso
Reformulating Theories Of Action For Efficient Planning / 36
D. Benjamin, Syracuse University
A Representation for Efficient Planning in Dynamic Domains With External Events / 45
J. Blythe, Carnegie Mellon University
Moving a Robot Starting From a Theory of Actions / 55
G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati, University di Roma
Operator Constructions: A Compact, Maintainable Representation for Real World Planners / 65
D. Gaines, and C. Hayes, University of Illinois, Urbana-Champaign
GTD-POP: Bridging The Gap between Soundness and Efficiency in Practical Planners / 74
D. Gaines, University of Illinois, Urbana-Champaign
Planning with Observations and Knowledge / 78
R. Goldman, M. Boddy and L. Pryor, Honeywell
On the Synthesis of Situation Control Rules under Exogeneous Events / 86
F. Kabanza, Universite de Sherbrooke
Causal Links Planning and the Systematic Approach to Action and Change / 95
L. Karlsson, Linkoping University
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem / 103
T. Kelley, University of Toronto
An Ordering Of Goals For Planning - Formalizing Control Information in the Situation Calculus / 113
Fangzhen Lin, University of Toronto
How to Execute a Conditional / 120
R. Scherl, NJIT; Y. Lesperance, H. Levesque, F. Lin, and R. Reiter, University of Toronto
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application / 127
P. Traversoo, E. Gilmchiglia, L. Spalazzi, and F. Giunchiglia, IRST and DISA
Integration and Action in Perception/Action Systems with Access to Non-Local Space Information / 137
G. Wasson and W. Martin, University of Virginia
Unified Information and Control Flow in Hierarchical Task Networks / 142
M. Williamson, K. Decker, and K. Sycara, Carnegie Mellon University
Using Constrains for Task-oriented Communication, Planning and Control (Position paper) / 151
A. Tate, AIAI, The University of Edinburgh
Exploring the Common Ground between Action Theories and Planning - Research Interest (Position paper) / 153
Y. Zhang, University of Western Sydney
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.