Catalogue of Artificial Intelligence Techniques
Keywords: plan formation, terms
Categories: Knowledge Representation , Planning
Author(s): Alan Bundy
A technique for representing time or different situations in an assertional database. Each relation/property which changes over time is given an extra argument place, which is filled with a situation term. In plan formation this situation argument is usually a nested term representing the sequence of plan steps needed to get to this situation from the initial state. Thus situations label the effect of actions and can represent alternative futures, whereas a numerically measured time can only represent a unique future.
- Nilsson, N.J., Principles of Artificial Intelligence
, Tioga Pub. Co., Palo Alto, California, 1980.