Knowledge Information Processing

Origin. FGCP's Knowledge Information Processing Systems (KIPS) research; frame-based knowledge representation; semantic networks with inference.

Mechanism. Knowledge is represented as structured objects (frames) with slots, values, and inheritance. Inference operates over the structure: inheritance propagates properties down is-a hierarchies, demons trigger when slots are accessed or modified, and rules fire when patterns match. The representation is closer to human conceptual structure than raw logic, at the cost of formal semantics.

Procedure. Model the domain as a hierarchy of frames. Define slots for properties, with default values and constraints. Define is-a and part-of relations for inheritance. Attach demons to slots for procedural attachment — if-needed demons compute values lazily, if-added demons maintain consistency. Query by pattern matching over the frame network.

Applies to. Expert systems, semantic modeling, ontology design, and domains where inheritance and defaults capture the structure better than flat facts.

Limitations. Multiple inheritance creates ambiguity when ancestors conflict. Default reasoning is non-monotonic and can produce inconsistency when new information arrives. The frame-logic integration was never fully formalized, so frame systems behave procedurally even when they look declarative. FGCP's KIPS work influenced later ontology languages but was superseded by description logics with cleaner semantics.