Partial compilation of strategic knowledge

  • Authors:

  • Russ B. Altman;Bruce G. Buchanan

  • Affiliations:

  • Knowledge Systems Laboratory, Stanford University;Knowledge Systems Laboratory, Stanford University

  • Venue:
  • AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many system building efforts in artificial intelligence intentionally begin with expressively rich and flexible declarative structures for the control of problem solving-especially when the best problem solving strategies are not known. However, as experience with a system increases, it sometimes becomes desirable to compile declarative knowledge into procedures for purposes of efficiency. We present a paradigm for compilation which begins with declarative opportunism, moves to a phase of heuristic implementation of a partial plan and finally evolves into a fully elaborated procedure. We use the PROTEAN geometric constraint satisfaction system as an example. Using results from a purely declarative structure, we were able to compile strategic knowledge into a procedure for planning a solution. The problem solving behavior of the new system is reported.