Knowledge processing the hard way: Extracting value from symbolic logic for artificial intelligence

Abstract

Knowledge processing can be viewed in three stages. The first stage involves the formation of concepts, the basic primitives and objects with which we wish to reason. The second stage involves the formation of knowledge about the concepts we have isolated. The final stage involves efficiently processing the knowledge to its desired ends.