9 found
Sort by:
  1. Erkan Tin & Varol Akman (1997). Situated Nonmonotonic Temporal Reasoning with Baby-Sit. Philosophical Explorations.
    After a review of situation theory and previous attempts at `computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Erkan Tin & Varol Akman (1996). [Book Chapter].
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Erkan Tin & Varol Akman (1996). Information-Oriented Computation with Baby-Sit. In Jerry Seligman & Dag Westerståhl (eds.), [Book Chapter]. Csli Publications, Stanford. 19--34.
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Erkan Tin & Varol Akman (1995). Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [REVIEW] Philosophical Explorations.
    This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Erkan Tin & Varol Akman, Situations and Computation: An Overview of Recent Research.
    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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Erkan Tin, Varol Akman & Murat Ersan (1995). Towards Situation-Oriented Programming Languages. Philosophical Explorations.
    Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Erkan Tin & Varol Akman (1994). Computational Situation Theory. ACM SIGART Bulletin 5 (4):4-17.
    Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards `computational situation theory' with considerable emphasis on our own research.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Erkan Tin & Varol Akman, Situated Processing of Pronominal Anaphora.
    We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Erkan Tin & Varol Akman, Baby-Sit: A Computational Medium Based on Situations.
    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 (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation