creators_name: Tin, Erkan
creators_name: Akman, Varol
editors_name: Seligman, Jerry
editors_name: Westerstahl, Dag
type: bookchapter
datestamp: 1998-06-19
lastmod: 2011-03-11 08:53:44
metadata_visibility: show
title: Information-Oriented Computation with BABY-SIT
ispublished: pub
subjects: comp-sci-art-intel
subjects: comp-sci-lang
subjects: ling-comput
subjects: ling-sem
subjects: phil-lang
subjects: phil-logic
full_text_status: public
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).
abstract: 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.
date: 1996
date_type: published
publication: Logic, Language and Computation
publisher: CSLI Publications, Stanford University, Stanford, California
pagerange: 19-34
refereed: FALSE
citation:   Tin, Erkan and Akman, Varol  (1996) Information-Oriented Computation with BABY-SIT.  [Book Chapter]     
document_url: http://cogprints.org/199/2/TinAkman.ps