creators_name: Tin, Erkan
creators_name: Akman, Varol
editors_name: Dekker, Paul
editors_name: Stokhof, Martin
type: confpaper
datestamp: 1998-06-23
lastmod: 2011-03-11 08:53:44
metadata_visibility: show
title: BABY-SIT: A Computational Medium Based on Situations
ispublished: pub
subjects: comp-sci-art-intel
subjects: comp-sci-lang
subjects: ling-comput
subjects: ling-sem
subjects: phil-lang
full_text_status: public
keywords: computational situation theory, situation semantics, ASTL (a situation-theoretic language), PROSIT (programming in situation theory), BABY-SIT, natural language semantics, knowledge representation, inference, KEE (knowledge engineering environment).
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 just 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: 1993
date_type: published
publisher: Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands
pagerange: 665-681
refereed: FALSE
citation:   Tin, Erkan and Akman, Varol  (1993) BABY-SIT: A Computational Medium Based on Situations.  [Conference Paper]     
document_url: http://cogprints.org/203/2/adam.ps