Catalogue of Artificial Intelligence Techniques

   

Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Situation Calculus

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.


References:


Comments:

Add Comment

No comments.