Surav, Mehmet2016-01-082016-01-081994http://hdl.handle.net/11693/17627Ankara : Department of Computer Engineering and Information Science and the Institute of Engineering and Science of Bilkent Univer., 1994.Thesis (Master's) -- -Bilkent University, 1994.Includes bibliographical references leaves 63-68The issue of context arises in assorted areas of Artificial Intelligence, Mathematical Logic, and Natural Language Semantics. Although its importance is realized by various researchers, there is not much work towards a useful formalization. In this thesis, we will try to identify the problem, and decide what we need for an acceptable (formal) account of the notion of context. We will present a preliminary model (based on Situation Theory) and give examples to show the use of context in various fields, and the advantages gained by the acceptance of our proposal.x, 68 leavesEnglishinfo:eu-repo/semantics/openAccessContextKnowledge RepresentationCommonsense ReasoningSituation Theory and Situation SemanticsQA76.6 .S87 1994Formalization (Physiology).Logic programming.Language and logic.Logic, symbolic and mathematical.Thesis