title: Information-Oriented Computation with BABY-SIT
creator: Tin, Erkan
creator: Akman, Varol
subject: Artificial Intelligence
subject: Language
subject: Computational Linguistics
subject: Semantics
subject: Philosophy of Language
subject: Logic
description: 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.
publisher: CSLI Publications, Stanford University, Stanford, California
contributor: Seligman, Jerry
contributor: Westerstahl, Dag
date: 1996
type: Book Chapter
type: NonPeerReviewed
format: application/postscript
identifier: http://cogprints.org/199/2/TinAkman.ps
identifier:   Tin, Erkan and Akman, Varol  (1996) Information-Oriented Computation with BABY-SIT.  [Book Chapter]     
relation: http://cogprints.org/199/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>