Author_Institution :
Dept. of Comput. Sci., Rutgers Univ., NJ, USA
Abstract :
Knowledge compilation is characterized in terms of a three-level hierarchy, consisting of the knowledge, function, and program levels. The nature of knowledge compilation is explicated by contrasting it with the related fields of conventional compilation, automatic programming, logic programming, software engineering, shell instantiation, machine learning, and problem solving. The reasons why knowledge compilation is important are discussed, and knowledge compilation models are examined. The dimensions, goals, and methodologies of knowledge compilation are discussed.<>
Keywords :
knowledge based systems; knowledge engineering; automatic programming; function levels; knowledge compilation; logic programming; machine learning; problem solving; program levels; shell instantiation; software engineering; three-level hierarchy; Algorithm design and analysis; Automatic programming; Automation; Calculus; Computer languages; Knowledge acquisition; Logic programming; Program processors; Prototypes; Software engineering;
