Using theory completion to learn a robot navigation control program

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2583, Issue , 2003, Pages 182-197

  Moyle, Steve ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; LOGIC PROGRAMMING; NAVIGATION; ROBOTS; INDUCTIVE LOGIC PROGRAMMING (ILP);

BACKGROUND INFORMATION; EVENT CALCULUS; LEARNING SETTINGS; NAVIGATION CONTROLS; REAL ROBOT; ROBOT NAVIGATION; TIME TRACE; TO EFFECT;

INDUCTIVE LOGIC PROGRAMMING (ILP); ROBOTS;

EID: 7044260410     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36468-4_12     Document Type: Conference Paper

References (26)

1. Bulitko and Wilkins, 1999. V.V. Bulitko and D.C. Wilkins. Learning to Envision: An Intelligent Agent for Ship Damage Control. In Proceedings of the ACAI'99 conference, Crete, Greece, 1999.
2. De Raedt et al., 1993. Luc De Raedt, Nada Lavrac, and Saso Dzeroski. Multiple predicate learning. In Preceedings of IJCAI 93, p. 1037 - 1042. 1993.
3. Denecker et al., 1996. Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, and Danny De Schreye. A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. In M. Maher, editor, Proceedings of JICSLP'96, the Joint International Conference and Symposium on Logic Programming, p. 170-184. Bonn, Germany, 1996. MIT Press.
4. Esposito et al., 2000. Floriana Esposito, Donato Malerba, and Francesca A. Lisi. Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions. In J. Cussens and A. Frisch, editors, Inductive Logic Programming: 10th International Conference, p. 93 - 111. Springer, London, 2000.
5. Flach and Kakas, 2000. Peter A. Flach and Antonis C. Kakas eds. Abduction and Induction: Essays on their Relation and Integration. Applied Logic Series, D. M. Gabbay. Vol. 18. Kluwer Academic Publishers, 2000.
6. Kakas and Michael, 1995. A. C. Kakas and A. Michael. Integrating Abductive and Constraint Logic Programming. In Proceedings of the 12th International Conference on Logic Programming, Japan, 1995.
7. Kakas and Riguzzi, 2000. Antonis C. Kakas and Fabrizio Riguzzi. Abductive Concept Learning. New Generation Computing, 18:243-294, 2000.
8. Klingspor and Morik, 1995. Volker Klingspor and Katharina Morik. Towards Concept Formation Grounded on Perception and Action of a Mobile Robot. In U. Rembold, et al., editors, IAS-4, Proceedings of the 4th International Conference on Intelligent Autonomous Systems, IOS Press, 1995.
9. Kowalski and Sergot, 1986. Robert Kowalski and Marek Sergot. A Logic-based Calculus of Events. New Generation Computing, 4: 67-95, 1986.
10. Lorenzo and Otero, 2000. David Lorenzo and Ramon P. Otero. Using a ILP algorithm to learn Logic Programs for Reasoning about Actions. In J. Cussens and A. Frisch, editors, Inductive Logic Programming: Work-in-Progress Reports, p. 163 - 171. London, 2000.
11. McCarthy, 1959. John McCarthy. Programs with Common Sense. In Proceedings of the Symposium on Mechanisation of Thought Processes, London, 1959. Her Majesty's Stationery Office.
12. Moyle and Muggleton, 1997. S. Moyle and S. Muggleton. Learning Programs in the Event Calculus. In N. Lavrac and S. Dzeroski, editors, 7th International Workshop, ILP-97, p. 205-212. Prague, 1997. Springer.
13. Moyle, 1999. S. A. Moyle. Learning about Action and Change: An Inductive Logic Programming approach. Technical report, Oxford University Computing Laboratory, University of Oxford, Oxford, 1999.
14. Moyle, 2000. S. A. Moyle. An investigation into Theory Completion techniques in Inductive Logic Programming. Thesis for D Phil, Oxford University Computing Laboratory, University of Oxford, 2000.
15. Muggleton, 1995. S. Muggleton. Inverse Entailment and Progol. New Generation Computing, 13(3 and 4):245-286, 1995.
16. Muggleton, 1996. S. Muggleton. Learning from positive data. In S. Muggleton, editor, Proceedings of the 6th International Workshop on Inductive Logic Programming, p. 225-244. 1996.
17. Muggleton and Bryant, 2000. Stephen Muggleton and Christopher Bryant. Theory Completion Using Inverse Entailment. In J. Cussens and A. Frisch, editors, Inductive Logic Programming: 10th International Conference, p. 130 - 146. London, 2000. Springer.
18. Peirce, 1931. Charles Sanders Peirce. Elements of logic. In C. Hartshorne and P.Weiss, editors, Collected papers of Charles Sanders Peirce, Harvard University Press, Cambridge, Massachusetts, 1931.
19. Sadri and Kowalski, 1995. Fariba Sadri and Robert Kowalski. Variants of the Event Calculus. In Proceedings of the 12th International Conference on Logic Programming, Japan, 1995.
20. Shanahan, 1989. Murray Shanahan. Prediction is Deduction but Explanation is Abduction. In Preceedings of IJCAI 89, p. 1055 - 1060. 1989.
21. Shanahan, 1990. Murray Shanahan. Representing Continuous Change in the Event Calculus. In Proceedings of ECAI 90, p. 598-603. 1990.
22. Shanahan, 1997. Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997.
23. Shanahan, 2000. Murray Shanahan. A Logical Account of the Common Sense Informatic Situation for a Mobile Robot. Electronic Transactions on Artificial Intelligence, , 2000.
24. Srinivasan, 2000. Ashwin Srinivasan, The Aleph Manual 2000, http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/.
25. Sripada, 1995. Suryanarayana M. Sripada. Efficient Implementation of the Event Calculus for Temporal Database Applications. In Proceedings of the 12th International Conference on Logic Programming, Japan, 1995.
26. Yamamoto, 2000. Akihiro Yamamoto. Using abduction for induction based on bottom generalization. In P. A. Flach and A. C. Kakas, editors, Abduction and Induction: Essays on their Relation and Integration, Kluwer Academic Publishers, 2000.