---
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."
altloc:
  - http://www.cs.bilkent.edu.tr/~akman/book-chapters/csli58/TinAkman.html
chapter: 2
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Tin
    given: Erkan
    honourific: ''
    lineage: ''
  - family: Akman
    given: Varol
    honourific: ''
    lineage: ''
date: 1996
date_type: published
datestamp: 1998-06-19
department: ~
dir: disk0/00/00/01/99
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name:
  - family: Seligman
    given: Jerry
    honourific: ''
    lineage: ''
  - family: Westerstahl
    given: Dag
    honourific: ''
    lineage: ''
eprint_status: archive
eprintid: 199
fileinfo: /style/images/fileicons/application_postscript.png;/199/2/TinAkman.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
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).'
lastmod: 2011-03-11 08:53:44
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 19-34
pubdom: FALSE
publication: 'Logic, Language and Computation'
publisher: 'CSLI Publications, Stanford University, Stanford, California'
refereed: FALSE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:25:03
subjects:
  - comp-sci-art-intel
  - comp-sci-lang
  - ling-comput
  - ling-sem
  - phil-lang
  - phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Information-Oriented Computation with BABY-SIT
type: bookchapter
userid: 178
volume: ~
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>