Knowledge-Directed Theory Revision

  • Kamal Ali
  • Kevin Leung
  • Tolga Konik
  • Dongkyu Choi
  • Dan Shapiro
Conference paper

DOI: 10.1007/978-3-642-13840-9_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5989)
Cite this paper as:
Ali K., Leung K., Konik T., Choi D., Shapiro D. (2010) Knowledge-Directed Theory Revision. In: De Raedt L. (eds) Inductive Logic Programming. ILP 2009. Lecture Notes in Computer Science, vol 5989. Springer, Berlin, Heidelberg

Abstract

Using domain knowledge to speed up learning is widely accepted but theory revision of such knowledge continues to use general syntactic operators. Using such operators for theory revision of teleoreactive logic programs is especially expensive in which proof of a top-level goal involves playing a game. In such contexts, one should have the option to complement general theory revision with domain-specific knowledge. Using American football as an example, we use Icarus’ multi-agent teleoreactive logic programming ability to encode a coach agent whose concepts correspond to faults recognized in execution of the play and whose skills correspond to making repairs in the goals of the player agents. Our results show effective learning using as few as twenty examples. We also show that structural changes made by such revision can produce performance gains that cannot be matched by doing only numeric optimization.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kamal Ali
    • 1
  • Kevin Leung
    • 1
  • Tolga Konik
    • 1
  • Dongkyu Choi
    • 1
  • Dan Shapiro
    • 1
  1. 1.Cognitive Systems Laboratory, Center for the Study of Language and InformationStanford UniversityStanford

Personalised recommendations