Situation Theory is a principled programme to develop a unified mathematical theory of meaning and information content, and to apply that theory to specific areas of language, computation, and cognition. They develop a theory of situations and of meaning as a relation between situations. The two major concepts of Situation Theory are infons and situations. Situations are first-class citizens of the theory, and are defined intensionally. It is desirable to have some computational tools to handle situations.
Abstract situations are the mathematical constructs which are amenable to mathematical manipulation.
Given a real situation s , the set is the corresponding abstract situation. Formally, an anchor for a set, A , of basic parameters is a function defined on A , which assigns to each parameter in A an object of type T . Object-types are determined over some initial situation. Let s be a given situation. This is the type of all those objects to which may be anchored in s , for which the conditions imposed by I obtain.