TY - GEN ID - cogprints203 UR - http://cogprints.org/203/ A1 - Tin, Erkan A1 - Akman, Varol Y1 - 1993/// N2 - While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their `computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to artificial intelligence in a unified framework built upon situation-theoretic constructs. PB - Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands KW - computational situation theory KW - situation semantics KW - ASTL (a situation-theoretic language) KW - PROSIT (programming in situation theory) KW - BABY-SIT KW - natural language semantics KW - knowledge representation KW - inference KW - KEE (knowledge engineering environment). TI - BABY-SIT: A Computational Medium Based on Situations SP - 665 AV - public EP - 681 ER -