Meta-Reasoning Architecture: Logic Frames
Meta-Reasoning Architecture: Logic Frames
MAX requires that knowledge be encoded in a representation
system called logic frames (lframes).
L-frames are declarative structures
comprising logical conjunctions of literals and are descended from
the AI-representation known as
frames.
MAX's logic frames
uniformly represent
information regarding objects, theories,
context-relevance, constraints, goal-relevance,
operator preconditions and post-conditions
(a STRIPS-like
operator representation), and actions to be performed in the form of a
production.
Nested lframes can be utilized to explicitly encode
meta-reasoning.
Return to the top of this architecture.
Current Location: Meta-Reasoning Architecture - Logic Frames