Order:
Disambiguations
Varol Akman [69]V. Akman [4]
  1.  15
    Burn All Your Textbooks.Varol Akman - 2017 - Australasian Journal of Logic 14 (3).
    The standard propositional exposition of necessary and sufficient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2. Editorial: Alan Turing and Artificial Intelligence. [REVIEW]Varol Akman & Patrick Blackburn - 2000 - 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..
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography  
  3. Turing Test: 50 Years Later. [REVIEW]Ayse P. Saygin, Ilyas Cicekli & Varol Akman - 2000 - Minds and Machines 10 (4):463-518.
    Direct download (18 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  18
    Situated Semantics.Varol Akman - 2009 - In Murat Aydede & P. Robbins (eds.), The Cambridge Handbook of Situated Cognition. Cambridge: Cambridge University Press. pp. 401--418.
  5. Introduction to the Special Issue on Philosophical Foundations of Artificial Intelligence.Varol Akman - 2000 - 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.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  6.  41
    Turing Test: 50 Years Later. [REVIEW]Pinar Saygin Ayse, Cicekli Ilyas & Akman Varol - 2000 - 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  1
    The Truth About “It is True That…”.Varol Akman & M. Burak Senol - 2016 - Pragmatics and Cognitionpragmatics and Cognition 23 (2):284-299.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  76
    Strawson on Intended Meaning and Context.Varol Akman & Ferda N. Alpaslan - unknown
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  65
    On Strawsonian Contexts.Varol Akman - 2005 - Pragmatics and Cognition 13 (2):363-382.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  29
    Steps Toward Formalizing Context.Varol Akman & Mehmet Surav - 1996 - Philosophical Explorations.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  64
    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 (8 more)  
     
    Export citation  
     
    My bibliography  
  12.  39
    Varol Akman on the Turkish War Against Mediocrity and Cliché.Varol Akman - 2009 - The Philosophers' Magazine 44 (44):42-44.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  56
    Context in Artificial Intelligence: A Fleeting Overview.Varol Akman - manuscript
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  56
    Book Review -- John Lyons, Linguistic Semantics: An Introduction. [REVIEW]Varol Akman - 1997 - Philosophical Explorations.
    This is a review of Lingustic Semantics: An Introduction, by John Lyons, published by Cambridge University Press in 1995.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  34
    Speci City, Automatic Designation, and `I'.Varol Akman - manuscript
    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.".
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  34
    Using Criticalities as a Heuristic for Answer Set Programming.Varol Akman - unknown
    Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used is one of the key factors for the performance of (...)
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  43
    The Use of Situation Theory in Context Modeling.Varol Akman & Mehmet Surav - 1997 - Philosophical Explorations.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  34
    John McCarthy, Formalizing Common Sense: Papers by John McCarthy.Varol Akman - unknown
    This is a review of the above title published by Ablex Publishing Corporation, Norwood, New Jersey, 1990; vi + 256 pages, hardback, ISBN 0{89391{535{1 (Library of Congress: Q335.M38 1989), edited by Vladimir Lifschitz.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  19.  39
    The Complexity of Context: Guest Editors' Introduction.Varol Akman - manuscript
    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.’’.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  21
    Guest Editor's Introduction.Varol Akman - 1998 - Minds and Machines 8 (4):475-477.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  21.  11
    Book Re Iews.Varol Akman - unknown
    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
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  37
    Context as a Social Construct.Varol Akman - unknown
    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), (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  35
    Issues in Commonsense Set Theory.Varol Akman - manuscript
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  36
    Book Review--Jaap Van der Does and Jan Van Eijk, Eds., Quantifiers, Logic, and Language. [REVIEW]Varol Akman - 1998 - Philosophical Explorations.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  36
    Editorial: Context in Context. [REVIEW]Bruce Edmonds & Varol Akman - 2002 - Foundations of Science 7 (3):233-238.
  26.  36
    The Power of Physical Representations.Varol Akman & Paul J. W. ten Hagen - 1989 - AI Magazine 10 (3):49-65.
  27.  34
    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. [REVIEW]Varol Akman - 1995 - Philosophical Explorations.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  31
    Review of J. Barwise and L. Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phnenomena[REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.
    This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, by Jon Barwise and Lawrence Moss, published by CSLI Publications in 1996.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  29.  32
    Contexts of Social Action: Guest Editors' Introduction.Varol Akman - manuscript
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  33
    Situations and Artificial Intelligence.Varol Akman - 1998 - Minds and Machines 8 (4):475-477.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  24
    Information-Oriented Computation With.Varol Akman - unknown
    While situation theory and situation semantics (Barwise and Perry 1983) provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their `computational' aspects has only recently started (Black 1993, Nakashima et al. 1988). Existing proposals mainly o er 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 (T n and Akman 1994a, T n and (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  32.  27
    Dashes as Typographical Cues for the Information Structure.Varol Akman - unknown
    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..
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  7
    Review of Drew V. McDermott, Mind and Mechanism[REVIEW]Varol Akman - 2002 - Notre Dame Philosophical Reviews 2002 (5).
  34.  28
    Ripping the Text Apart at Different Seams.Varol Akman - 1994 - Philosophical Explorations.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  35.  16
    Using Stable Model Semantics (SMODELS) in the Causal Calculator (CCALC).Varol Akman - unknown
    Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem will then be reduced to finding the answer set (stable model) of this logic (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  36.  22
    BABY-SIT: A Computational Medium Based on Situations.Varol Akman - unknown
    Following its inception (Barwise and Perry, 1983), situation theory has quickly matured (Cooper et al., 1990; Devlin, 1991) and under the familiarname of situation semantics has been applied to a number of linguistic issues (Barwise, 1987; Barwise, 1989; Barwise and Etchemendy, 1987; Cooper, 1986; Cooper, 1991; Cooper et al., 1990; Fenstad et al., 1987), including quanti cation and anaphora (Gawron and Peters, 1990). In the past, the development of a `mathematical'situation theory has been held back by a lack of availability (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  37.  27
    An Information-Based Treatment of Punctuation in Discourse Representation Theory.Varol Akman - unknown
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  14
    Reading McDermott.Varol Akman - unknown
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  20
    In Search of Intended Meaning: Investigating Barwise's Equation CR(S, C) = P.Varol Akman - manuscript
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  25
    Nonstandard Set Theories and Information Management.Varol Akman & Mujdat Pakkan - 1996 - Philosophical Explorations.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  20
    Situated Nonmonotonic Temporal Reasoning with BABY-SIT.Varol Akman - manuscript
    gramming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requir-.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  25
    The Mark of the Mental.Varol Akman - unknown
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  24
    Book Review -- John Haugeland (Editor), Mind Design II: Philosophy, Psychology, and Artificial Intelligence. [REVIEW]Varol Akman - 1998 - Philosophical Explorations.
    This is a review of Mind Design II: Philosophy, Psychology, and Artificial Intelligence, edited by John Haugeland, published by MIT Press in 1997.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  22
    Guest Editor's Introduction: Artificial Intelligence.Varol Akman - manuscript
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  25
    Problem Representation for Refinement.Halil A. Guvenir & Varol Akman - 1992 - 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46.  23
    A Simple and Efficient Haloed Line Algorithm for Hidden Line Elimination.Varol Akman - manuscript
    An efficient algorithm, HALO, is given to compute As computer aided design (CAD) deals with more com- haloed line drawings of wire frame objects. (Haloed..
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  22
    Contexts, Oracles, and Relevance.Varol Akman & Mehmet Surav - unknown
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48.  20
    Information-Based Aspects of Punctuation.Varol Akman - unknown
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  21
    Current Approaches to Punctuation in Computational Linguistics.Bilge Say & Varol Akman - 1997 - Philosophical Explorations.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  17
    Situations and Computation: An Overview of Recent Research.Varol Akman - unknown
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 71