Programming by Demonstration: An Inductive Learning Formulation

International Conference on Intelligent User Interfaces, Proceedings IUI

Volumn 1999-January, Issue , 1998, Pages 145-152

  Lau, Tessa A ^a   Weld, Daniel S ^a  

^a University of Washington   (United States)

Author keywords

inductive logic programming; machine learning; programming by demonstration; version spaces

Indexed keywords

COMPUTER CIRCUITS; DEMONSTRATIONS; INDUCTIVE LOGIC PROGRAMMING (ILP);

GENERALISATION; INDUCTIVE LEARNING; INDUCTIVE LOGIC; INDUCTIVE LOGIC PROGRAMMING; LEARNING FORMULATION; LOGIC-PROGRAMMING; MACHINE-LEARNING; PROGRAMMING BY DEMON-STRATION; PROGRAMMING BY DEMONSTRATION SYSTEMS; VERSION SPACE;

MACHINE LEARNING;

EID: 85109830938     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/291080.291104     Document Type: Conference Paper

References (27)

1. M. Bauer. Acquisition of Abstract Plan Descriptions for Plan Recognition. In Proc. 15th Nat. Conf. AI, 1998. To appear.
2. William W. Cohen. Grammatically biased learning: learning logic programs using an explicit antecedent description language. Artificial Intelligence, 68: 303-366, 1994.
3. Allen Cypher. Eager: Programming repetitive tasks by demonstration. In Allen Cypher, editor, Watch What I Do: Programming by Demonstration, pages 205-217. MIT Press, Cambridge, MA, 1993.
4. Allen Cypher, editor. Watch What I Do: Programming by Demonstration. MIT Press, Cambridge, MA, 1993.
5. H. Kautz. A Formal Theory Of Plan Recognition. PhD thesis, University of Rochester, 1987.
6. David Kurlander. Chimera: Example-Based Graphical Editing. In Allen Cypher, editor, Watch What I Do: Programming by Demonstration, pages 270-290. MIT Press, Cambridge, MA, 1993.
7. N. Kushmerick, D. Weld, and R. Doorenbos. Wrapper Induction for Information Extraction. In Proc. 15th Int. Joint Conf. AI, 1997.
8. Neal Lesh and Oren Etzioni. A sound and fast goal recognizer. In Proc. 14th Int. Joint Conf. AI, pages 1704-1710, 1995.
9. Neal Lesh and Oren Etzioni. Scaling up goal recognition. In Proc. 5th Int. Conf. Principles of Knowledge Representation and Reasoning, pages 178-189, 1996.
10. Henry Lieberman. Tinker: A Programming by Demonstration System for Beginning Programmers. In Allen Cypher, editor, Watch What I Do: Programming by Demonstration, pages 49-64. MIT Press, Cambridge, MA, 1993.
11. Pattie Maes and Robyn Kozierok. Learning interface agents. In Proceedings of AAAI-93, pages 459465, 1993.
12. David Maulsby and Ian H. Witten. Cima: An Interactive Concept Learning System for End-User Applications. Applied Artificial Intelligence, 11: 653-671, 1997.
13. T. Mitchell. Generalization as search. J. Artificial Intelligence, 18: 203-226, 1982.
14. T. Mitchell. Machine Learning. McGraw Hill, 1997.
15. Brad A. Myers. Peridot: Creating User Interfaces by Demonstration. In Allen Cypher, editor, Watch What I Do: Programming by Demonstration, pages 125-153. MIT Press, Cambridge, MA, 1993.
16. C. G. Nevill-Manning and I. H. Witten. Detecting sequential structure. In Proc. Workshop on Programming by Demonstration, ML'95, Tahoe City, July 1995.
17. C. G. Nevill-Manning and I. H. Witten. Identifying Hierarchical Structure in Sequences: A linear-time algorithm. Journal of Artificial Intelligence Research, 7: 67-82, 1997.
18. Gordon W. Paynter. Generalising Programming by Demonstration. In Proceedings Sixth Australian Conference on Computer-Human Interaction, pages 344-345, Nov 1996.
19. M. Pazzani and D. Kibler. The utility of prior knowledge in inductive learning. Machine Learning, 9: 54-97, 1992.
20. M. Pazzani and D. Kibler. The utility of knowledge in inductive learning. Machine Learning, 9 (1): 57-94, 1997.
21. M. Pollack. Inferring domain plans in question-answering. PhD thesis, University of Pennslyvania, 1986.
22. J. R. Quinlan. Learning Logical Definitions from Relations. Machine Learning, 5: 239-266, 1997.
23. R. Reiter. On closed world databases. In H. Gal-laire and J. Minker, editors, Logic and Data Bases, pages 55-76. Plenum Press, 1978.
24. J. Schlimmer and L. Hermens. Software agents: Completing patterns and constructing user interfaces. J. Artificial Intelligence Research, pages 6189, 1993.
25. R. Weida and D. Litman. Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. In Proc. 3rd Int. Conf. Principles of Knowledge Representation and Reasoning, October 1992.
26. D. Weld. An introduction to least-commitment planning. AI Magazine, pages 27-61, Winter 1994. Available at ftp://ftp. cs. Washington.-edu/pub/ai/.
27. I. H. Witten, C. G. Nevill-Manning, and D. L. Maulsby. Interacting with learning agents: implications for ml from hci. In Workshop on Machine Learning meets Human-Computer Interaction, ML'96, pages 51-58, July 1996.