creators_name: Tin, Erkan
creators_name: Akman, Varol
editors_name: Griffith, John
editors_name: Hinrichs, Erhard W.
editors_name: Nakazawa, Tsuneko
type: confpaper
datestamp: 1998-06-24
lastmod: 2011-03-11 08:53:44
metadata_visibility: show
title: Situations and Computation: An Overview of Recent Research
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: computational situation theory, situation semantics, situation schemata, knowledge representation, inference, PROSIT (programming in situation theory), ASTL (a situation-theoretic language), BABY-SIT, KEE (knowledge engineering environment).
abstract: Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.
date: 1995
date_type: published
publisher: Seminar fuer Sprachwissenschaft (SfS), Computerlinguistik, Eberhard-Karls-Universitaet Tuebingen, Tuebingen, Germany
pagerange: 77-106
refereed: FALSE
citation:   Tin, Erkan and Akman, Varol  (1995) Situations and Computation: An Overview of Recent Research.  [Conference Paper]     
document_url: http://cogprints.org/204/2/TinAkman.ps