Order:
  1. Computing with causal theories.Erkan Tin & Varol Akman - 1992 - International Journal of Pattern Recognition and Artificial Intelligence 6 (4):699-730.
    Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Robotlar ve planlama.Varol Akman & Erkan Tin - 1993 - Elektrik Mühendisliği 391:37-43.
    Planlama --- bir amaca ulaşmak üzere bir aksiyonlar bütünü tasarlamak --- yapay zekadaki en temel problemlerden biridir. Bu yazıda, robotikte planlama konusuna mantıkçı (logicist) yaklaşım ele alınmaktadır. [Planning --- devising a plan of action to reach a given goal --- is a fundamental problem in AI. This paper reviews the logicist approach to planning in robotics.].
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. The logic of counteraction.Erkan Tin & Varol Akman - 1993 - Elektrik 1 (3):167-181.
    We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Computational situation theory.Erkan Tin & Varol Akman - 1994 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Towards situation-oriented programming languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - ACM SIGPLAN Notices 30 (1):27-36.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Situated nonmonotonic temporal reasoning with BABY-SIT.Erkan Tin & Varol Akman - 1997 - AI Communications 10 (2):93-109.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Situations and computation: an overview of recent research.Erkan Tin & Varol Akman - 1995 - In J. Griffith (ed.), Topics in Constraint Grammar Formalism for Computational Linguistics (SfS Report 4-95). Tübingen: Seminar für Sprachwissenschaft, Eberhard-Karls-Universität.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof (eds.), 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Situated processing of pronominal anaphora.Erkan Tin & Varol Akman - 1994 - In Harald Trost (ed.), Proceedings of KONVENS'94. Vienna, Austria: Informatik Xpress.
    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)  
     
    Export citation  
     
    Bookmark  
  11. Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993. [REVIEW]Erkan Tin & Varol Akman - 1995 - ACM SIGACT News 26 (1):20-22.
    This is a review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark