Contact

Affiliations
  • Faculty, Bilkent University

Areas of specialization
  • None specified

Areas of interest

blank
About me
Varol Akman is professor in the Department of Computer Engineering and chair of the Department of Philosophy at Bilkent University, Ankara, Turkey. His current research is concentrated in artificial intelligence (e.g., logic, commonsense reasoning), natural language semantics and pragmatics (e.g., contexts, situation theory), and the Internet (e.g., cybercultures, social implications). In each of these areas, there are fundamental connections with philosophy that Akman regards indispensable and useful. During the period 1980–1985, Akman was a Fulbright scholar at Rensselaer Polytechnic Institute, Troy, New York, where he received a Ph.D. degree in computer and systems engineering. Prior to joining Bilkent, he held a senior researcher position with the Center for Mathematics and Computer Science (1986–1988), and a visiting position with the University of Utrecht (1985–1986), both in the Netherlands.
My works
56 items found. Sort by:
  • Varol Akman, An Information-Based Treatment of Punctuation in Discourse Representation Theory.
    Punctuation has so far attracted attention within the linguistics community mostly from a syntactic perspective. In this paper, we give a preliminary account of the information-based aspects of punctuation, drawing our points from assorted, naturally occurring sentences. We present our formal models of these sentences and the semantic contributions of punctuation marks. Our formalism is a simpli ed analogue of an extension|due to Nicholas Asher|of Discourse Representation Theory.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Re Iews.
    Analogical Natural Language Processing aims to challenge the current hegemony of the rulebased paradigm in NLP. Traditional NLP decomposes languages into atomic units, whereas example-based NLP centres around the re-use of language fragments. The book consists of six chapters : a short introduction, chapters on background material, analogical machine translation, stochastic and analogy-based NLP, some experiments in analogical cloning and a conclusion. We shall now look at the chapters more closely.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Context in Artificial Intelligence: A Fleeting Overview.
    The notion of context arises in assorted areas of artificial intelligence (AI), including knowledge representation, natural language processing, intelligent information retrieval, etc. Although the term ‘context’ is frequently employed in descriptions, explanations, and analyses of computer programs in these areas, its meaning is frequently left to the reader’s understanding. In other words, it is used in an intuitive manner. In an influential paper, Clark and Carlson (1981) state that context has become a favourite word. They then complain that the denotation (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Contexts of Social Action: Guest Editors' Introduction.
    In traditional linguistic accounts of context, one thinks of the immediate features of a speech situation, that is, a situation in which an expression is uttered. Thus, features such as time, location, speaker, hearer and preceding discourse are all parts of context. But context is a wider and more transcendental notion than what these accounts imply. For one thing, context is a relational concept relating social actions and their surroundings, relating social actions, relating individual actors and their surroundings, and relating (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Dashes as Typographical Cues for the Information Structure.
    We take em-dash as our sample punctuation mark and examine its usage from a discourse perspective, using sentences from well-known corpora. We particularly comment on how dashes can give hints on information structure, focus, and anaphora. Throughout the paper Discourse Representation Theory is used as a framework. Keywords: Punctuation, Discourse, Discourse Representation Theory, Information Structure..
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Guest Editor's Introduction: Artificial Intelligence.
    Founded in 1993, ELEKTRIK: Turkish Journal of Electrical Engineering and Computer Sciences, has gradually become better known and is fast establishing itself as a research oriented publication outlet with high academic standards. In a modest attempt to advance this trend, this special issue of ELEKTRIK brings together five papers exemplifying the state of the art in artificial intelligence (AI). Written by experts, the papers are especially aimed at readers interested in gaining a better appraisal of the applications side of the (...)
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Information-Based Aspects of Punctuation.
    We o er a preliminary account of the information-based aspects of punctuation marks. We give our initial treatment within the Discourse Representation Theory and its segmented version. We hypothesize that this work will be useful in classifying the informational contributions of punctuation marks and bringing them to bear on the semantic characterization of written discourse.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Issues in Commonsense Set Theory.
    The success of set theory as a foundation for mathematics inspires its use in arti cial intelligence, particularly in commonsense reasoning. In this survey, we brie y review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating di erent aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject are also given.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, In Search of Intended Meaning: Investigating Barwise's Equation CR(S, C) = P.
    Here, S is a sentence—or possibly a smaller or larger unit of meaningful expression for a language—that’s written by an author and c is the circumstance in which S is used. R is defined as the language conventions holding between an author and a reader (or better yet, his readership). P , probably the most important part of the equation, is the content of S or, the intended meaning of the author. We assume that the communication between an author and (...)
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Notions and Oracles.
    On Crimmins and Perry’s account of propositional attitude ascription (1989), beliefs are concrete cognitive structures—particulars ("things in the head") that belong to an agent and that have a lifetime. They are related to the world and to other cognitive structures and abilities, allowing one to classify the latter by propositional content. Containing ideas and notions as constituents, beliefs are structured entities. The difference between notions and ideas is the difference between an agent’s ways of thinking about individuals vs. properties.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, On Strawsonian Contexts.
    P.F. Strawson proposed in the early seventies a threefold distinction regarding how context bears on the meaning of ‘what is said’ when a sentence is uttered. The proposal was somewhat tentative and, being aware of this aspect, Strawson himself raised various questions to make it more adequate. In this paper, we review Strawson’s scheme, note his concerns, and add some of our own. We also defend its essence and recommend it as an insightful entry point re the interplay of intended (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Reading McDermott.
    The author is interested in computational approaches to consciousness. His reason for working in the field of AI is to solve the mind-body problem, that is, to understand how the brain can have experiences. This is an intricate project because it involves elucidation of the relationship between our mentality and its physical foundation. How can a biological/chemical system (the human body) have experiences, beliefs, desires, intentions, and so on? Physicists have good reasons to persuade us that ours is a material (...)
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • 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 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.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Speci City, Automatic Designation, and `I'.
    In its most common linguistic use, speci city refers to a kind of de niteness. This is expressed by the grammatical marking on an NP, showing that the speaker knows the identity of the referent. Thus, a police chief has (presumably) a particular Colombian in mind when he utters \My agents cannot wait to interrogate the Colombian.".
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Situated Modeling of Epistemic Puzzles.
    Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this de ciency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Situated Nonmonotonic Temporal Reasoning with BABY-SIT.
    gramming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requir-.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, The Complexity of Context: Guest Editors' Introduction.
    In our routine communicative activities, context is exploited both in production and in comprehension, and is strictly related to another problematic notion, viz. meaning. Thus Bateson (1979: 15): ‘‘Without context, words and actions have no meaning at all. This is true not only of human communication in words but also of all communication whatsoever, of all mental process, of all mind, including that which tells the sea anemone how to grow and the amoeba what he should do next.’’.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, The Mark of the Mental.
    and it's just comfortable in here. But what is a belief anyway? How does it acquire the content it has (e.g., that it's chilly in here)? These questions cannot really be answered without clarifying the concept of "a mechanism with a mind". What conditions must be satisfied by a mechanism (say, a computer or a robot) before we can attribute a mind to it? Obviously, the essence of this problem concerns the relation between mental and physical properties. After all, a (...)
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (2008). Relational Priming: Obligational Nitpicking. Behavioral and Brain Sciences 31 (4):378-379.
    No categories
    In my reading list   |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (2002). Review of Drew V. McDermott, Mind and Mechanism. Notre Dame Philosophical Reviews 2002 (5).
    No categories
    In my reading list   |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Bruce Edmonds & Varol Akman (2002). Editorial: Context in Context. Foundations of Science 7 (3).
    In my reading list   |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (2000). Introduction to the Special Issue on Philosophical Foundations of Artificial Intelligence. Journal of Experimental and Theoretical Artificial Intelligence 12 (3):247-250.
    This is the guest editor's introduction to a JETAI special issue on philosophical foundations of AI.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: cogprints.org citeseer.ist.psu.edu cogprints.ecs.soton.ac.uk cs.bilkent.edu.tr citebase.eprints.org informaworld.com ingentaconnect.com   | Scholar | More..
  • Varol Akman & Patrick Blackburn (2000). Editorial: Alan Turing and Artificial Intelligence. Journal of Logic, Language and Information 9 (4):391-395.
    Department of Computer Engineering, Bilkent University, 06533 Ankara, Turkey E-mail: akman@cs.bilkent.edu.tr; http://www.cs.bilkent.edu.tr/?akman..
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: citeseer.ist.psu.edu portal.acm.org cogprints.ecs.soton.ac.uk cs.bilkent.edu.tr citebase.eprints.org springerlink.com kluweronline.com ingentaconnect.com   | Scholar | More..
  • Ayse P. Saygin, Ilyas Cicekli & Varol Akman (2000). Turing Test: 50 Years Later. Minds and Machines 10 (4):463-518.
    The Turing Test is one of the most disputed topics in artificial intelligence, philosophy of mind, and cognitive science. This paper is a review of the past 50 years of the Turing Test. Philosophical debates, practical developments and repercussions in related disciplines are all covered. We discuss Turing''s ideas in detail and present the important comments that have been made on them. Within this context, behaviorism, consciousness, the `other minds'' problem, and similar topics in philosophy of mind are discussed. We (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: cogprints.org citeseer.ist.psu.edu crl.ucsd.edu portal.acm.org cogprints.ecs.soton.ac.uk cs.bilkent.edu.tr citebase.eprints.org springerlink.com kluweronline.com   | Scholar | More..
  • Varol Akman & Ferda N. Alpaslan, Strawson on Intended Meaning and Context.
    Strawson proposed in the early seventies an attractive threefold distinction regarding how context bears on the meaning of `what is said' when a sentence is uttered. The proposed scheme is somewhat crude and, being aware of this aspect, Strawson himself raised various points to make it more adequate. In this paper, we review the scheme of Strawson, note his concerns, and add some of our own. However, our main point is to defend the essence of Strawson's approach and to recommend (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review -- John Haugeland (Editor), Mind Design II: Philosophy, Psychology, and Artificial Intelligence.
    This is a review of Mind Design II: Philosophy, Psychology, and Artificial Intelligence, edited by John Haugeland, published by MIT Press in 1997.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review--Jaap Van Der Does and Jan Van Eijk, Eds., Quantifiers, Logic, and Language.
    This is a review of Quantifiers, Logic, and Language, edited by Jaap van der Does and Jan van Eijk, published by CSLI (Center for the Study of Language and Information) Publications in 1996.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (1998). Guest Editor's Introduction. Minds and Machines 8 (4).
    In this special issue of Minds and Machines ("Situations and Artificial Intelligence") we take a close look at recent situation-theoretic research which has mostly originated within a philosophical framework but promises to have strong connotations for Artificial Intelligence workers. The seven papers which make up this special issue (three of the papers appear in Minds and Machines 9(1)) demonstrate the advantages of the situation-based approach towards problems with a definite AI flavor.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: springerlink.com   | Scholar | More..
  • Varol Akman (1998). Situations and Artificial Intelligence. Minds and Machines 8 (4):475-477.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review -- John Lyons, Linguistic Semantics: An Introduction.
    This is a review of Lingustic Semantics: An Introduction, by John Lyons, published by Cambridge University Press in 1995.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Context as a Social Construct.
    This position paper argues that in addition to the familiar approach using formal contexts, there is now a need in AI to study contexts as social constructs. As a successful example of the latter approach, I draw attention to `interpretation' (in the sense of literary theory), viz. the reconstruction of intended meaning of a literary text that takes into account the context in which the author assumed the reader would place the text. An important contribution here comes from Harris (1988), (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (1997). John Barwise and Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phnenomena. Journal of Logic, Language and Information 6 (4).
    This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, by Jon Barwise and Lawrence Moss, published by CSLI (Center for the Study of Language and Information) Publications in 1996.
    In my reading list   |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: springerlink.com   | Scholar | More..
  • Varol Akman & Mehmet Surav, The Use of Situation Theory in Context Modeling.
    At the heart of natural language processing is the understanding of context dependent meanings. This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked-out example to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context. This is useful in NLP applications where preserving meaning is a desideratum.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Bilge Say & Varol Akman, Current Approaches to Punctuation in Computational Linguistics.
    Some recent studies in computational linguistics have aimed to take advantage of various cues presented by punctuation marks. This short survey is intended to summarise these research efforts and additionally, to outline a current perspective for the usage and functions of punctuation marks. We conclude by presenting an information-based framework for punctuation, influenced by treatments of several related phenomena in computational linguistics.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Erkan Tin & Varol Akman, Situated Nonmonotonic Temporal Reasoning with BABY-SIT.
    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
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman & Mujdat Pakkan (1996). Nonstandard Set Theories and Information Management. Cogprints.
    The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: cs.bilkent.edu.tr   | Scholar | More..
  • Varol Akman & Mehmet Surav, Steps Toward Formalizing Context.
    The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Erkan Tin & Varol Akman, Information-Oriented Computation with BABY-SIT.
    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
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.
    This is a review of From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, by Hans Kamp and Uwe Reyle, published by Kluwer Academic Publishers in 1993.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review -- Colin Allen and Michael Hand, Logic Primer.
    This a review of Logic Primer, by Colin Allen and Michael Hand, published by MIT Press in 1992.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman, Book Review -- Vladimir Lifschitz, Ed., Formalizing Common Sense: Papers by John McCarthy.
    This is a review of Formalizing Common Sense: Papers by John McCarthy, ed. by Vladimir Lifschitz, published by Ablex Publishing Corp. in 1990.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman & Mehmet Surav, Contexts, Oracles, and Relevance.
    We focus on how we should define the relevance of information to a context for information processing agents, such as oracles. We build our formalization of relevance upon works in pragmatics which refer to contextual information without giving any explicit representation of context. We use a formalization of context (due to us) in Situation Theory, and demonstrate its power in this task. We also discuss some computational aspects of this formalization.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Murat Ersan & Varol Akman, Situated Modeling of Epistemic Puzzles.
    Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Mujdat Pakkan & Varol Akman, HYPERSOLVER: A Graphical Tool for Commonsense Set Theory.
    This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Mujdat Pakkan & Varol Akman, Issues in Commonsense Set Theory.
    The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating different aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject are also given.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Mehmet Surav & Varol Akman, Modeling Context with Situations.
    The issue of context arises in assorted areas of Artificial Intelligence. Although its importance is realized by various researchers, there is not much work towards a useful formalization. In this paper, 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.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Erkan Tin & Varol Akman, Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications.
    This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • 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
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Erkan Tin, Varol Akman & Murat Ersan, Towards Situation-Oriented Programming Languages.
    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
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Varol Akman (1994). Ripping the Text Apart at Different Seams. [Journal (Paginated)].
    This is a brief reply to Herbert A. Simon's fine paper ``Literary Criticism: A Cognitive Approach'', Stanford Humanties Review, Special Supplement (``Bridging the Gap'' Where Cognitive Science Meets Literary Criticism), vol. 4, no. 1, pp. 1-26, Spring 1994.
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: stanford.edu   | Scholar | More..
  • Varol Akman (1994). Ripping the Text Apart at Different Seams. [Journal (Paginated)].
    This is a brief reply to Herbert A. Simon's fine paper ``Literary Criticism: A Cognitive Approach'', Stanford Humanties Review, Special Supplement (``Bridging the Gap'' Where Cognitive Science Meets Literary Criticism), vol. 4, no. 1, pp. 1-26, Spring 1994.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: stanford.edu   | Scholar | More..
  • 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.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: cogprints.org citeseer.ist.psu.edu cogprints.ecs.soton.ac.uk portal.acm.org cs.bilkent.edu.tr citebase.eprints.org   | Scholar | More..
  • 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.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • 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 (...)
    No categories
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | More..
  • Halil A. Guvenir & Varol Akman (1992). Problem Representation for Refinement. Minds and Machines 2 (3):267-282.
    In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements (...)
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: springerlink.com   | Scholar | More..
  • Varol Akman & Paul J. W. ten Hagen (1989). The Power of Physical Representations. AI Magazine 10 (3):49-65.
    In my reading list   |  Discuss this article  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation  | Other links: portal.acm.org cs.bilkent.edu.tr csa.com   | Scholar | More..
Is this list right?