While situation theory and situation semantics (Barwise and Perry 1983) provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their `computational' aspects has only recently started (Black 1993, Nakashima et al. 1988). Existing proposals mainly o er 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 (T n and Akman 1994a, T n and Akman 1994b). The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to arti cial intelligence in a uni ed framework built upon situation-theoretic constructs.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Information-Oriented Computation with Baby-Sit.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), [Book Chapter]. Csli Publications, Stanford. pp. 19--34.
Towards Situation-Oriented Programming Languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - Philosophical Explorations.
Situated Nonmonotonic Temporal Reasoning with Baby-Sit.Erkan Tin & Varol Akman - 1997 - Philosophical Explorations.
Situated Modeling of Epistemic Puzzles.Murat Ersan & Varol Akman - 1995 - Logic Journal of the IGPL 3 (1):51-76.
Situated Modeling of Epistemic Puzzles.Murat Ersan & Varol Akman - 1995 - Philosophical Explorations 3 (1):51-76.
Default Reasoning as Situated Monotonic Inference.Lawrence Cavedon - 1998 - Minds and Machines 8 (4):509-531.
Added to index2010-11-07
Total downloads24 ( #208,445 of 2,158,278 )
Recent downloads (6 months)1 ( #355,837 of 2,158,278 )
How can I increase my downloads?