MAX: Meta-level reasoning

Description

• Uniform representation of knowledge permits MAX to express knowledge both about the domain and its own reasoning
• The "glass-box" construction allows all processes access to all knowledge
• Thus, MAX can reason about the domain and its own reasoning with equal facility