E. Tin and V. Akman, "Computational Situation Theory," Manuscript, Department of Computer Engineering and Information Science, Bilkent University, Bilkent, Ankara, Turkey, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Situated Modeling of Epistemic Puzzles - Ersan, Akman (1995) (1 citation) Self-citation (Akman) (Correct)
No context found.
E. Tin and V. Akman, "Computational Situation Theory," Manuscript, Department of Computer Engineering and Information Science, Bilkent University, Bilkent, Ankara, Turkey, 1993.
Situated Modeling of Epistemic Puzzles - Ersan, Akman (1995) (1 citation) Self-citation (Akman) (Correct)
....versions of it have been applied to a number of linguistic issues [17] resulting in what is commonly known as situation semantics. This was followed by assorted studies on the computational aspects of the theory, which gave birth to a group of computational systems based on situation theory [32, 33, 35, 44, 48, 46, 50, 49, 9, 10]. PROSIT (PROgramming in SItuation Theory) developed by Nakashima et al. 32, 33, 35] is the pioneering work in this direction. Therefore, it is worth examining how much PROSIT reflects situation theoretic concepts and how much it deviates from them. PROSIT seems to be especially suitable for ....
....theory. PROSIT, developed by Nakashima et al. 32, 33, 35] is the pioneering work in this direction. This was followed by the development of ASTL by Black [9, 10] Another computational medium based on situations called BABY SIT is currently being built at Bilkent University by Akman and Tin [44, 48, 46]. PROSIT is primarily aimed at general problems of knowledge representation, while ASTL is developed for experiments in natural language processing. On the other hand, BABY SIT will hopefully handle problems of both sorts. In the following sections brief explanations of ASTL and BABY SIT will be ....
[Article contains additional citation context not shown here]
E. Tin and V. Akman. Computational situation theory. ACM SIGART Bulletin. (To appear 1994).
Contexts, Oracles, and Relevance - Surav, Akman (1995) Self-citation (Akman) (Correct)
....idea of an oracle comes from the ancient Greece. In the mythical literature, this word had two uses: i) the place where questions about the future were asked of the gods, and (ii) the priest (or priestess) who gave answers to such questions. In our conception, viz. Computational Situation Theory [38, 39], oracles should correspond to information servers for the objects they represent, and one should be able to pose queries concerning an object to its oracle 1 . For example, in the ultimate interpretation, the oracle related to one of the organizers of an international colloquium, e.g. ....
....which creates the desired contextual effects might be quite difficult. This issue might be considered, in some sense, to be analogous to the unification mechanism of Prolog. Here, we will not cover the details of this task, but refer the interested reader to Computational Situation Theory [29, 39, 38]. In determining the relevance, a major problem is the measurement method. In our opinion there are three possibilities: i) Relevance as a number in the interval [0; 1] This method might be useful in computational applications of relevance. One such application area is IR. The use of certainty ....
[Article contains additional citation context not shown here]
E. Tin and V. Akman. Computational situation theory. SIGART Bulletin, 5(4):4--17, 1994.
Situated Modeling of Epistemic Puzzles - Ersan, Akman (1995) (1 citation) Self-citation (Akman) (Correct)
....have been applied to a number of linguistic issues [8] resulting in what is commonly known as situation semantics . This was accompanied by assorted studies on the computational aspects of the theory, which gave birth to a small collection of programming languages based on situation theory; cf. [24] for a recent survey. PROSIT (PROgramming in SItuation Theory) 14, 15, 5] is the pioneering work in this direction. PROSIT seems to be especially suitable for writing programs simulating human like (commonsense) reasoning [12] Unfortunately, there have been very few attempts to employ PROSIT in ....
....whereas ASTL is intended for experiments in natural language processing. On the other hand, BABY SIT will hopefully handle problems of both sorts. A considerably detailed comparative study on PROSIT, ASTL, BABY SIT, and other systems with a situation theoretic flavor has recently appeared [24]. Therefore, we won t go into the details of ASTL and BABY SIT. 54 Situated Modeling of Epistemic Puzzles However, since the epistemic puzzles in this paper were implemented in PROSIT, this section will be devoted to that language. PROSIT [14, 15, 5] is a declarative language in which both ....
Erkan Tin and Varol Akman. Computational situation theory. SIGART Bulletin, 5(4):4--17, 1994. Received 8 September 1994. Revised 3 January
Situations and Computation: An Overview of Recent Research - Tin, Akman Self-citation (Tin Akman) (Correct)
....to investigate this [8, 9, 16, 23] These have incorporated only some of the original features of the theory; the remaining features were omitted for the sake of achieving particular goals. This has caused conceptual and philosophical divergence from the ontology of the theory. Recent studies [26, 27, 28, 29] have tried to avoid this pitfall by simply sticking to the essentials of the theory and adopting the ontological This work has been supported in part by a NATO Science for Stability Grant (TU LANGUAGE) awarded to Bilkent University. features which were first put forward by Barwise and Perry ....
.... is based on X Windows running on a SPARCStation (cf. Figure 3) The primary motivation underlying BABY SIT is to facilitate the development and testing of programs in domains ranging from linguistics to artificial intelligence in a unified framework built upon situation theoretic constructs [26, 27, 29]. An interactive environment helps one to develop and test his program, observe its behavior vis a vis extra (or missing) information, and issue queries [26] The computational model underlying the current version of BABY SIT consists of nine primitives: individuals, times, places, relations, ....
E. Tin and V. Akman. "Computational Situation Theory," ACM Sigart Bulletin, 5(4): 4--17, 1994.
Situated Nonmonotonic Temporal Reasoning with BABY-SIT - Tin, Akman Self-citation (Tin Akman) (Correct)
.... the development and testing of programs in domains ranging from linguistics to AI within a unified framework built upon situationtheoretic constructs [23, 25] BABY SIT accommodates the basic features of situation theory and, compared to the existing approaches [4, 5, 16] enhances these features [24, 26]. Devlin s reformed approach to situation theory [7] has been extensively used in designing the formal skeleton of BABY SIT. Akin to the basic types in situation theory, there are nine basic types which are employed in BABY SIT: IND (individuals) TIM (times) LOC (places) REL (relations) ....
E. Tin and V. Akman. Computational Situation Theory. ACM Sigart Bulletin, 5(4):4--17, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC