Probabilistic Complex Actions in GOLOG

Uncertainty seems to be inherent in most robotic applications. This is because a robot's sensors and actuators are in general imprecise and prone to error. The logic-based action language GOLOG was introduced for the purpose of high-level robot control, but its usefulness was limited because it did not address uncertainty. bIn this paper we show how this deficiency can be overcome.

[1]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[2]  Nicholas Kushmerick,et al.  An Algorithm for Probabilistic Planning , 1995, Artif. Intell..

[3]  Mikhail Soutchanski,et al.  An On-line Decision-Theoretic Golog Interpreter , 2001, IJCAI.

[4]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[5]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[6]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[7]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[8]  David L. Poole,et al.  A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility , 1996, UAI.

[9]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[10]  Daniel S. Weld,et al.  Probabilistic Planning with Information Gathering and Contingent Execution , 1994, AIPS.

[11]  Kurt Konolige.  COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.

[12]  Arnon Avron,et al.  Transitive Closure and the Mechanization of Mathematics , 2003 .

[13]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[14]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[15]  Blai Bonet.  High-Level Planning and Control with Incomplete Information Using POMDP's , 1998 .

[16]  Gerhard Lakemeyer,et al.  On sensing and off-line interpreting in GOLOG , 1999 .

[17]  Rachid Alami,et al.  A Possibilistic Planner that Deals with Non-Determinism and Contingency , 1999, IJCAI.

[18]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[19]  Matthew Hennessy,et al.  Semantics of programming languages - an elementary introduction using structural operational semantics , 1990 .

[20]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[21]  Michael L. Littman,et al.  MAXPLAN: A New Approach to Probabilistic Planning , 1998, AIPS.

[22]  D. McDermott.  Transformational Planning of Reactive Behavior , 1992 .

[23]  Raymond Reiter,et al.  Sequential, Temporal GOLOG , 1998, KR.

[24]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[25]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[26]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[27]  Neil Immerman.  Languages which capture complexity classes , 1983, STOC '83.

[28]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[29]  David Poole,et al.  Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..

[30]  John Langford,et al.  Probabilistic Planning in the Graphplan Framework , 1999, ECP.