The Use of Situation Theory in Context Modeling
Computational Intelligence, 13 (3):
427--438 (1997)Abstract
situations are the mathematical (albeit ontologically impoverished) counterparts
of real situations, and unlike the latter, are amenable to symbolic manipulation.
Given a real situation s, the set f' j s j= 'g is taken to be the corresponding
abstract situation. (This set will be nonwellfounded when s is a circular situation.
However, this need not concern us in this paper.)
Let s be a given situation. Following the standard practice, we require the availability
of some device for making...
