Probabilistic Complex Actions in GOLOG

• Autorzy: Grosskreutz H. , Lakemeyer G.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

knowledge representation; uncertainty; cognitive robotics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 57, nr 2-4
• Strony: 167--192
• Opis fizyczny: Bibliogr. 36 poz.

Twórcy

autor

Grosskreutz H.

• Department of Computer Science V, RWTH Aachen, 52056 Aachen, Germany

autor

Lakemeyer G.

• Department of Computer Science V, RWTH Aachen, 52056 Aachen, Germany

Bibliografia

• [Avr03] Arnon Avron. Transitive closure and the mechanization of mathematics. In F. Kamareddine, editor, Thirty Five Years of Automating Mathematics, pages 149-171. Kluwer Academic Publishers, 2003.
• [BCF+00] W. Burgard, A.B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artificial Intelligence, 114(1-2):3-55, 2000.
• [BHL95] F. Bacchus, J.Y. Halpern, and H. Levesque. Reasoning about noisy sensors in the situation calculus. In IJCAI’95, 1995.
• [BHL99] F. Bacchus, J.Y. Halpern, and H. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111(1-2), 1999.
• [BL99] Avrim Blum and John Langford. Probabilistic planning in the graphplan framework. In 5th European Conference on Planning (ECP’99), 1999.
• [BRST00] C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI’2000, 2000.
• [DHW94] D. Draper, S. Hanks, and D. Weld. Probabilistic planning with information gathering and contingent execution. In Proc. of AIPS’94, 1994.
• [FFL03] A. Ferrein, Ch. Fritz, and G. Lakemeyer. Specifying multirobot coordination in icpgolog-from simulations towards real robots. In IJCAI’03 Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments: World modeling, planning, learning, and communicating, Acapulco, MX, 2003.
• [GA99] Emmanuel Guere and Rachid Alami. A possibilistic planner that deals with non-determinism and contingency. In IJCAI’99, 1999.
• [GB98] H. Geffner and B. Bonet. High-level planning and control with incomplete information using pomdps. In Proc. Fall AAAI Symposium on Cognitive Robotics, 1998.
• [GL88] M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the Fifth Logic Programming Symposium, pages 1070-1080, 1988.
• [GL03] H. Grosskreutz and G. Lakemeyer. cc-golog—an action language with continuous change. Logic Journal of the IGPL, 2003.
• [GLL00] Guiseppe De Giacomo, Yves Lesperance, and Hector J Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
• [Gro02] Henrik Grosskreutz. Towards more realistic logic-based robot controllers in the Golog framework. PhD thesis, Fachgruppe Informatik, RWTH Aachen, February 2002.
• [Hen90] Matthew Hennessy. The Semantics of Programming Languages: an Elementary Introduction using Structural Operational Semantics. John Wiley and Sons, New York, N.Y., 1990.
• [Imm87] Neil Immerman. Languages which capture complexity classes. In 15th Symposium on Theory of Computing, pages 347-354. Association for Computing Machinery, 1987.
• [KHW95] N. Kushmerick, S. Hanks, and D. Weld. An algorithm for probabilistic planning. Artificial Intelligence, 76:239-286, 1995.
• [KLC98] L. P. Kaelbling, M. L. Littman, and A. R. Cassandra. Planning and acting in partially observable stochastic domains. Artificial Intelligence 101(1-2, 1998.
• [Kon97] Kurt Konolige. Colbert: A language for reactive control in sapphira. In KI’97, volume 1303 of LNAI, 1997.
• [Lak99] Gerhard Lakemeyer. On sensing and off-line interpreting in GOLOG. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter, pages 173-187. Springer, Berlin, 1999.
• [Lev96] H. J. Levesque. What is planning in the presence of sensing. In AAAI’96, 1996.
• [LL98] G. Lakemeyer and H. J. Levesque. Aol: a logic of acting, sensing, knowing, and only knowing. In Proc of KR’98, Morgan Kaufmann, 1998.
• [LRL+97] Hector J. Levesque, Raymond Reiter, Yves Lesprance, Fangzhen Lin, and Richard Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
• [McC63] J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University. Reprinted 1968 in Semantic Information Processing (M. Minske ed.), MIT Press, 1963.
• [McD91] Drew McDermott. A reactive plan language. Research Report YALEU/DCS/RR-864, Yale University, 1991.
• [McD92] D. McDermott. Transformational planning of reactive behavior. Research Report YALEU/DCS/RR-941, Yale University, www.cs.yale.edu/AI/Planning/xfrm.html, 1992.
• [ML98] Stephen M. Majercik and Michael L. Littman. Maxplan: A new approach to probabilistic planning. In AIPS 98, 1998.
• [Poo96] David Poole. A framework for decision-theoretic planning I: Combining the situation calculus, conditional plans, probability and utility. In Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI’96). Morgan Kaufmann Publishers, 1996.
• [Poo97] David Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):5-56, 1997.
• [Poo98] David Poole. Decision theory, the situation calculus and conditional plans. Linköping Electronic Articles in Computer and Information Science, 3(8), 1998. URL: http://www.ep.liu.se/ea/cis/1998/008/.
• [Rei98] R. Reiter. Sequential, temporal golog. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98).Morgan Kaufmann, 1998.
• [Rei00] R. Reiter. On knowledge-based programming with sensing in the situation calculus. In Second International Cognitive Robotics Workshop, 2000.
• [Rei01] R. Reiter. KNOWLEDGE IN ACTION: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, 2001.
• [SL03] R.B. Scherl and H.J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144:1-39,March 2003.
• [Sou01] Mikhail Soutchanski. An on-line decision-theoretic golog interpreter. In IJCAI’2001, 2001.
• [Thi99] Michael Thielscher. Introduction to the fluent calculus. Linköping Electronic Articles in Computer and Information Science, 1999.