MAX: Logic Frames (lframes)
Description
- Conjunctive logical theory or state (set of literals)
- Used to encode objects, theories, and reasoning processes
- An lframe may appear as a term in another lframe, permitting MAX to
perform meta-reasoning
- Provides vehicle for uniform representation of
knowledge
- Interpreter provides small set of
predicates to manipulate lframes
Detail from MAX