In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34 (1996)
AbstractWhile 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 only recently 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.
Similar books and articles
Situated processing of pronominal anaphora.Erkan Tin & Varol Akman - 1994 - In Harald Trost (ed.), Proceedings of KONVENS'94. Vienna, Austria: Informatik Xpress.
Situated nonmonotonic temporal reasoning with BABY-SIT.Erkan Tin & Varol Akman - 1997 - AI Communications 10 (2):93-109.
Situations and computation: an overview of recent research.Erkan Tin & Varol Akman - 1995 - In J. Griffith (ed.), Topics in Constraint Grammar Formalism for Computational Linguistics (SfS Report 4-95). Tübingen: Seminar für Sprachwissenschaft, Eberhard-Karls-Universität.
Towards situation-oriented programming languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - ACM SIGPLAN Notices 30 (1):27-36.
BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof (eds.), 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
Added to PP
Historical graph of downloads