A KR as a medium for efficient computation

• To use a KR one must compute with it.
• KR's organize information in ways which facilitate making certain kinds of inferences.
• Frames suggest hierarchies with inheritance which is a reasonably efficient mode of computation (search along is-a links).
• Logic involves pattern matching and unification. These are less efficient (exponential complexity). Otter attempts to improve things, for example, with the sos concept and weighting of statements.
• Production systems convert rules to networks (Rete algorithm) thereby improving efficiency.