Logic-based robot control in highly dynamic domains

Robotics and Autonomous Systems

Volumn 56, Issue 11, 2008, Pages 980-991

  Ferrein, Alexander ^a   Lakemeyer, Gerhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Cognitive robotics; Planning; Reasoning about actions; RoboCup

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COMPUTER CONTROL SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; LEVEL CONTROL; OBJECT RECOGNITION; PROBLEM SOLVING; ROBOT APPLICATIONS; ROBOTICS; ROBOTS;

COGNITIVE ROBOTICS; PLANNING; REASONING ABOUT ACTIONS; ROBOCUP;

ROBOT PROGRAMMING;

EID: 53849128142     PISSN: 09218890     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.robot.2008.08.010     Document Type: Article

References (60)

1. Levesque H., Reiter R., Lésperance Y., Lin F., and Scherl R. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31 1-3 (1997) 59-83
2. J. McCarthy, Situations, actions and causal laws, Tech. Rep., Stanford University, 1963
3. Ferrein A., Fritz C., and Lakemeyer G. Using golog for deliberation and team coordination in robotic soccer. KI 19 1 (2005) 24-30
4. A. Ferrein, Robot controllers for highly dynamic environments with real-time constraints, Doctoral Dissertation, Knowledge-based Systems Group, RWTH Aachen University, Germany, 2008
5. Schiffer S., Ferrein A., and Lakemeyer G. Football is coming home. In: Chen X., Liu W., and Williams M.-A. (Eds). Proc. PCAR-06 (2006), University of Western Australia Press
6. Dylla F., Ferrein A., Lakemeyer G., Murray J., Obst O., Röfer T., Schiffer S., Stolzenburg F., Visser U., and Wagner T. Approaching a formal soccer theory from behaviour specifications in robotic soccer. In: Dabnicki P., and Baca A. (Eds). Computer in Sports (2008), WIT Press
7. F. Ingrand, R. Chatila, R. Alami, F. Rober, PRS: A high level supervision and control language for autonomous mobile robots, in: Proc. ICRA-96, 1996
8. Myers K. A procedural knowledge approach to task-level control. In: Drabble B. (Ed). Proc. AIPS-96 (1996), AAAI Press 158-165
9. Konolige K., Myers K., Ruspini E., and Saffiotti A. The Saphira architecture: A design for autonomy. JETAI 9 1 (1997) 215-235
10. Bonasso R., Firby R., Gat E., Kortenkamp D., Miller D., and Slack M. Experiences with an architecture for intelligent, reactive agents. Journal of Experimental and Theoretical Artifical Intelligence 9 2-3 (1997) 237-256
11. D. McDermott, A reactive plan language, Tech. Rep. YALEU/DCS-RR-864, Yale University, Department of Computer Science, 1991
12. Beetz M. Structured reactive controllers. Journal of Autonomous Agents and Multi-Agent Systems 2 4 (2001) 25-55
13. Pineau J., Montemerlo M., Pollack M.E., Roy N., and Thrun S. Towards robotic assistants in nursing homes: Challenges and results. Robotics and Autonomous Systems 42 3-4 (2003) 271-281
14. S. Lemai, F. Ingrand, Interleaving temporal planning and execution in robotics domains, in: Proc. AAAI-04, 2004, pp. 617-622
15. A. Finzi, F. Ingrand, N. Muscettola, Model-based executive control through reactive planning for autonomous rovers, in: Proc. IROS-04, 2004, pp. 879-884
16. N. Muscettola, G. Dorais, C. Fry, R. Levinson, C. Plaunt, Idea: Planning at the core of autonomous reactive agents, in: Proc. 3rd Int. NASA WS on Planning and Scheduling for Space, 2004
17. Carbone A., Finzi A., Orlandini A., and Pirri F. Model-based control architecture for attentive robots in rescue scenarios. Autonomous Robots 24 1 (2008) 87-120
18. Pirri F., Mentuccia I., and Storri S. The domestic robot - A friendly cognitive system takes care of your home. Ambient Intelligence: Impact on Embedded System Design (2003), Kluwer Academic, Boston 131-159
19. Burgard W., Cremers A., Fox D., Lakemeyer G., Hähnel D., Schulz D., Steiner W., and Thrun S. The interactive museum tour-guide robot. Proc. AAAI-98 (1998), AAAI Press
20. Funge J. Cognitive modeling for games and animation. Commununications of the ACM 43 7 (2000) 40-48
21. H. Levesque, M. Pagnucco, Legolog: Inexpensive experiments in cognitive robotics, in: CogRob-00. ECAI-00, 2000
22. H. Pham, Applying DTGolog to large-scale domains, Master's Thesis, Department of Electrical and Computer Engineering, Ryerson University, Toronto, Canada, 2006
23. E. Tira-Thompson, Tekkotsu: A rapid development framework for robotics, Master's Thesis, Robotics Institute, Carnegie Mellon University, 2004
24. Thielscher M. Introduction to the Fluent calculus. Electronic Transactions on Artificial Intelligence 2 3-4 (1998) 179-192
25. Thielscher M. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5 4-5 (2005) 533-565
26. Thielscher M. Representing the knowledge of a robot. In: Cohn A., Giunchiglia F., and Selman B. (Eds). Proc. KR-00 (2000), Morgan Kaufmann 109-120
27. Genesereth M., Love N., and Pell B. General game playing: Overview of the AAAI competition. AI Magazine 26 2 (2005) 62-72
28. S. Schiffel, M. Thielscher, Automatic construction of a heuristic search function for general game playing, in: Proc. NRAC-07, IJCAI-07, 2007
29. Pednault E.P.D. ADL: Exploring the middle ground between STRIPS and the situation calculus. In: Brachman R., Levesque H., and Reiter (Eds). Proc. KR-89 (1989), Morgan Kaufmann 324-332
30. Gelfond M., and Lifschitz V. Representing action and change by logic programs. Journal of Logic Programming 17 2-4 (1993) 301-321
31. Doherty P., Gustafsson J., Karlsson L., and Kvarnstrom J. TAL: Temporal action logics - Language specification and tutorial. Linkoping Electronic Articles in Computer and Information Science 15 3 (1998) 273-306
32. Sandewall E. Cognitive robotics logic and its metatheory: Features and fluents revisited. Electronic Transactions on Artificial Intelligence 2 (1998) 307-329
33. Kvarnström J., Doherty P., and Haslum P. Extending TALplanner with concurrency and resources. In: Horn W. (Ed). Proc. ECAI-00 (2000), IOS Press 501-505
34. Doherty P. Knowledge representation and unmanned aerial vehicles. In: Skowron A., Agrawal R., Luck M., Yamaguchi T., Morizet-Mahoudeaux P., Liu J., and Zhong N. (Eds). Proc. WI-2005 (2005), IEEE Press 9-16
35. A. Bouguerra, L. Karlsson, A. Saffiotti, Semantic knowledge-based execution monitoring for mobile robots, in: Proc. ICRA-07, 2007, pp. 3693-3698
36. G.D. Giacomo, L. Iocchi, D. Nardi, R. Rosati, Description logic-based framework for planning with sensing actions, in: Proc. of the 1997 International Workshop on Description Logics, 1997
37. Levesque H., and Lakemeyer G. Cognitive robotics. In: van Harmelen F., Lifschitz V., and Porter B. (Eds). Handbook of Knowledge Representation (2007), Elsevier
38. Murphy R. Introduction to AI Robotics (2000), The MIT Press
39. Strack A., Ferrein A., and Lakemeyer G. Laser-based localization with sparse landmarks. Proc. RoboCup Symposium 2004 (2006), Springer 569-576
40. Reiter R. Knowledge in Action (2001), MIT Press
41. Pirri F., and Reiter R. Some contributions to the metatheory of the situation calculus. Journal of the ACM 46 3 (1999) 325-361
42. De Giacomo G., Lésperance Y., and Levesque H. ConGolog, A concurrent programming language based on situation calculus. Artificial Intelligence 121 1-2 (2000) 109-169
43. De Giacomo G., Levesque H., and Sardiña S. Incremental execution of guarded theories. Computational Logic 2 4 (2001) 495-525
44. Grosskreutz H., and Lakemeyer G. On-line execution of cc-Golog plans. In: Nebel B. (Ed). Proc. IJCAI-01 (2001), Morgan Kaufmann
45. H. Grosskreutz, Probabilistic projection and belief update in the pgolog framework, in: CogRob-00. ECAI-00, 2000, pp. 34-41
46. Boutilier C., Reiter R., Soutchanski M., and Thrun S. Decision-theoretic, high-level agent programming in the situation calculus. Proc. AAAI-00 (2000), AAAI Press 355-362
47. Precup D., Sutton R., and Singh S. Theoretical results on reinforcement learning with temporally abstract options. Proc. EMCL-98. Lecture Notes in Computer Science vol. 1398 (1998), Springer 382-393
48. Lin F., and Reiter R. How to progress a database. Artificial Intelligence 92 1-2 (1997) 131-167
49. M. Hauskrecht, N. Meuleau, L.P. Kaelbling, T. Dean, C. Boutilier, Hierarchical Solution of Markov Decision Processes using Macro-actions, in: Proc. UAI-98, 1998
50. Soutchanski M. An on-line decision-theoretic Golog interpreter. In: Nebel B. (Ed). Proc. IJCAI-01 (2001), Morgan Kaufmann
51. Ferrein A., Fritz C., and Lakemeyer G. On-line decision-theoretic golog for unpredictable domains. Proc. KI-04. Lecture Notes in Computer Science vol. 3238 (2004), Springer 322-336
52. Lakemeyer G. On sensing and off-line interpreting in GOLOG. In: Levesque H., and Pirri F. (Eds). Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter (1999), Springer 173-187
53. De Giacomo G., and Levesque H. An incremental interpreter for high-level programs with sensing. In: Levesque H., and Pirri F. (Eds). Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter (1999), Springer 86-102
54. Poole D. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence 94 1-2 (1997) 7-56
55. Ferrein A., Fritz C., and Lakemeyer G. Extending DTGOLOG with options. In: Gottlob G., and Walsh T. (Eds). Proc. IJCAI-03 (2003), Morgan Kaufmann
56. Mitchell T.M., Keller R.M., and Kedar-Cabelli S.T. Explanation-based generalization: A unifying view. Machine Learning 1 (1986) 47-80
57. S. Schiffer, A. Ferrein, G. Lakemeyer, Qualitative world models for soccer robots, in: Wölfl, S., Mossakowski, T. (Eds.), Qualitative Constraint Calculi, Workshop at KI 2006, Bremen, 2006, pp. 3-14
58. Epic Games Inc., 2008. http://www.unrealtournament.com/
59. S. Jacobs, A. Ferrein, G. Lakemeyer, Controlling unreal tournament 2004 bots with the logic-based action language golog, in: Proc. AIIDE-05, 2005
60. S. Jacobs, A. Ferrein, G. Lakemeyer, Unreal Golog bots, in: IJCAI-05 WS on Reasoning, Representation, and Learning in Computer Games, 2005