Browsing by Subject "Situation Theory"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Situated nonmonotonic temporal reasoning with BABY-SIT
    (IOS Press, 1997) Tın, E.; Akman, V.
    After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
  • Thumbnail Image
    ItemOpen Access
    The use of situation theory in context modeling
    (Wiley-Blackwell Publishing, Inc., 1997) Akman, V.; Surav, M.
    At the heart of natural language processing is the understanding of context dependent meanings This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked-out example to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context. This is useful in NLP applications where preserving meaning is a desideratum.