Inference knowledge
describes the lowest level of functional decomposition
basic information-processing units:
inference => reasoning
transfer function => communication with other agents
why special status?
indirectly related to domain knowledge
enables reuse of inference