the method used for encoding knowledge or semantic information in an artificial intelligence program. This is usually not the computer language employed but rather systematically developed structures encoded in that language. Examples of knowledge representation include the predicate calculus, conceptual dependencies, and frame.