Information-Oriented Computation with BABY-SIT

Tin, Erkan and Akman, Varol (1996) Information-Oriented Computation with BABY-SIT. [Book Chapter]

Full text available as:

[img] Postscript


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.

Item Type:Book Chapter
Keywords:situation theory, situation semantics, natural language, information, computation, PROSIT (programming in situationtheory), ASTL (a situation theoretic language), BABY-SIT, KEE (knowledge engineering environment), YSP (Yale shootingproblem).
Subjects:Computer Science > Artificial Intelligence
Computer Science > Language
Linguistics > Computational Linguistics
Linguistics > Semantics
Philosophy > Philosophy of Language
Philosophy > Logic
ID Code:199
Deposited By: Akman, Varol
Deposited On:19 Jun 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page