Knowledge-Directed Theory Revision

  • Kamal Ali
  • Kevin Leung
  • Tolga Konik
  • Dongkyu Choi
  • Dan Shapiro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5989)

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.

References

  1. 1.
    Langley, P., Choi, D.: A unified cognitive architecture for physical agents. In: Proceedings of the Twenty-First National Conference on Artificial Intelligence, Boston. AAAI Press, Menlo Park (2006)Google Scholar
  2. 2.
    Wilkins, D., Myers, K., Lowrance, J., Wesley, L.: A multiagent planning architecture. In: Proceedings of AIPS 1998 (1998)Google Scholar
  3. 3.
    Gardenfors, P.: Belief revision and nonomotonic logic: Two sides of the same coin? In: Proceedings of the ninth European Conference on Artificial Intelligence. Pitman Publishing (1990)Google Scholar
  4. 4.
    Sourceforge: Sourceforge.net - rush 2005 (2005), http://sourceforge.net/projects/rush2005/
  5. 5.
    Hess, R., Fern, A.: Discriminatively trained particle filters for complex multi-object tracking. In: IEEE Conference on Computer Vision and Pattern Recognition (2009)Google Scholar

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