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 de situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also o ered in order to compare our system with these pioneering and in uential frameworks.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Situated Nonmonotonic Temporal Reasoning with Baby-Sit.Erkan Tin & Varol Akman - 1997 - Philosophical Explorations.
Situated Modeling of Epistemic Puzzles.Murat Ersan & Varol Akman - 1995 - Philosophical Explorations 3 (1):51-76.
Situated Modeling of Epistemic Puzzles.Murat Ersan & Varol Akman - 1995 - Logic Journal of the IGPL 3 (1):51-76.
Towards Situation-Oriented Programming Languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - Philosophical Explorations.
Information-Oriented Computation with Baby-Sit.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), [Book Chapter]. Csli Publications, Stanford. pp. 19--34.
Added to index2009-01-28
Total downloads17 ( #286,848 of 2,177,955 )
Recent downloads (6 months)1 ( #317,698 of 2,177,955 )
How can I increase my downloads?