Situations and Computation: An Overview of Recent Research

Tin, Erkan and Akman, Varol (1995) Situations and Computation: An Overview of Recent Research. [Conference Paper]

Full text available as:

[img] Postscript


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.

Item Type:Conference Paper
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).
Subjects:Computer Science > Artificial Intelligence
Computer Science > Language
Linguistics > Computational Linguistics
Linguistics > Semantics
Philosophy > Philosophy of Language
Philosophy > Logic
ID Code:204
Deposited By: Akman, Varol
Deposited On:24 Jun 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page