TY  - GEN
ID  - cogprints199
UR  - http://cogprints.org/199/
A1  - Tin, Erkan
A1  - Akman, Varol
Y1  - 1996///
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 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.
PB  - CSLI Publications, Stanford University, Stanford, California
KW  - situation theory
KW  -  situation semantics
KW  -  natural language
KW  -  information
KW  -  computation
KW  -  PROSIT (programming in situationtheory)
KW  -  ASTL (a situation theoretic language)
KW  -  BABY-SIT
KW  -  KEE (knowledge engineering environment)
KW  -  YSP (Yale shootingproblem).
TI  - Information-Oriented Computation with BABY-SIT
SP  - 19
AV  - public
EP  - 34
ER  -

<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>