84 found
Order:
See also
Varol Akman
Bilkent University
  1. Turing test: 50 years later.Ayse Pinar Saygin, Ilyas Cicekli & Varol Akman - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  2. Representing the Zoo World and the Traffic World in the language of the causal calculator.Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):105-140.
    The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  3. Steps toward formalizing context.Varol Akman & Mehmet Surav - 1996 - AI Magazine 17 (3):55-72.
    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.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  4. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. The complexity of context: guest editors' introduction.Varol Akman & Carla Bazzanella - 2003 - Journal of Pragmatics 35:321-329.
    Papers in this special issue were written upon invitation. They were then subjected to the usual refereeing process of the Journal of Pragmatics. While we have attempted to cover almost all important areas in which context is employed as a conceptual apparatus, our coverage is clearly limited in scope. Accordingly, instead of a general updated overview of the use of context in every conceivable specific field (let's say the state-of-the-art of interdisciplinary research on context: a colossal/impossible enterprise!), we will offer (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. The use of situation theory in context modeling.Varol Akman & Mehmet Surav - 1997 - Computational Intelligence 13 (3):427-438.
    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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Contexts of social action: guest editors' introduction.Anita Fetzer & Varol Akman - 2002 - Language and Communication 22:391-402.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Strawson on intended meaning and context.Varol Akman & Ferda N. Alpaslan - 1999 - In P. Bouquet, M. Benerecetti, L. Serafini, P. Brezillon & F. Castellani (eds.), CONTEXT 1999: Modeling and Using Context (Lecture Notes in Artificial Intelligence, vol 1688). Berlin: Springer. pp. 1-14.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Rethinking context as a social construct.Varol Akman - 2000 - Journal of Pragmatics 32 (6):743-759.
    This paper argues that in addition to the familiar approach using formal contexts, there is now a need in artificial intelligence 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 the 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 Wendell (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Situated semantics.Varol Akman - 2009 - In Murat Aydede & P. Robbins (eds.), The Cambridge Handbook of Situated Cognition. Cambridge, UK: Cambridge University Press. pp. 401-418.
    Situated semantics can be regarded as an attempt at placing situational context (context of situation) at the center of all discussions of meaning. Situation theory is a theory of information content that takes context very seriously. Individuals, properties, relations, and spatiotemporal locations are basic constructs of situation theory. Individuals are conceived as invariants; having properties and standing in relations, they tend to persist in time and space. An anchoring function binds the location parameters to appropriate objects present in the grounding (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Situational semantics.Varol Akman - 2009 - In Siobhan Chapman & Christopher Routledge (eds.), Key Ideas in Linguistics and the Philosophy of Language. Edinburgh, UK: Edinburgh University Press. pp. 209-212.
    An information-based approach to natural language semantics. Formulated by Jon Barwise and John Perry in their influential book Situations and Attitudes (1983), it is built upon the notion of a 'situation' --- a limited part of the real world that a cognitive agent can individuate and has access to. A situation represents a lump of information in terms of a collection of facts. It is through the actualist ontology of situations that the meaning of natural language utterances can be elucidated.
    Download  
     
    Export citation  
     
    Bookmark  
  12. The power of physical representations.Varol Akman & Paul J. W. ten Hagen - 1989 - AI Magazine 10 (3):49-65.
    Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Editorial: context in context.Bruce Edmonds & Varol Akman - 2002 - Foundations of Science 7 (3):233-238.
    The papers that make up this special issue do not take idealized abstractions of context as their point of departure but rather start with the actual phenomena under study and later generalize. We agree that, more often than not, giving a formal model and providing a theory of a loaded notion – such as context – can lead to important insights. Thus, precise models of context and accompanying theories are useful. However, given the widely different fields, methodologies and worldviews within (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Logical connectives.Varol Akman - 2006 - In A. C. Grayling, Naomi Goulder & Andrew Pyle (eds.), The Continuum Encyclopedia of British Philosophy (4 volumes). London: Continuum. pp. 1939-1940.
    Logical connectives (otherwise known as 'logical constants' or 'logical particles') have seemed challenging to philosophers of language. This article gives a concise account of logical connectives.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Bilgisayar profesörü felsefeyle ne yapar?Varol Akman - 2004 - Bilkent Dergisi 1:22-25.
    Bilkent Üniversitesi'nde bu yıl [2003] açılan Felsefe Bölümü’nün başkanlığını yürüten ve ana ilgi alanı yapay zekâ olan Prof. Dr. Varol Akman, yapay zekâyla felsefenin ilişkisini ve Felsefe Bölümü'nün özelliklerini anlattı. (An interview published in Bilkent Magazine about the then new Bilkent Philosophy Department.).
    Download  
     
    Export citation  
     
    Bookmark  
  16. When silence may mean derision.Varol Akman - 1994 - Journal of Pragmatics 22 (2):211-212.
    In a paper published in 1992, Dennis Kurzon shows that silence does not necessarily mean lack of power: the silent response to a question may well be aiming at gaining control of a situation, viz. exercising power. I would like to extend Kurzon's analysis and argue that at times silence may mean derision or ridicule.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Vagueness.Varol Akman - 2006 - In A. C. Grayling, Naomi Goulder & Andrew Pyle (eds.), The Continuum Encyclopedia of British Philosophy (4 volumes). London: Continuum. pp. 3260-3261.
    Vagueness, 'the quality or condition of being vague' (OED), has kept philosophers busy since ancient times. This article gives a concise account of vagueness.
    Download  
     
    Export citation  
     
    Bookmark  
  18. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Mental models of force and motion.Varol Akman, Deniz Ede, William Randolph Franklin & Paul J. W. ten Hagen - 1990 - In Okyay Kaynak (ed.), Proceedings of the IEEE International Workshop on Intelligent Motion Control (Istanbul, 20-22 August 1990). New York: Institute of Electrical and Electronics Engineers. pp. 153-158.
    Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Analogy-making in situation theory.Emre Sahin & Varol Akman - 2008 - In Randal B. Bernstein & Wesley N. Curtis (eds.), Artificial Intelligence: New Research. Hauppauge, NY: Nova Science Publishers, Inc.. pp. 299-321.
    Analogy-making is finding analogies between different situations. In this paper, we provide a new model of computational analogy-making which uses Situation Theory as its formal background. Situation Theory is a semantic and logical theory which provides a naturalistic way to represent relations in situations. The system described in this paper is aimed at solving analogy problems made by basic geometric figures in a chessboard-like environment.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Representing emotions in terms of object directedness.Varol Akman & Hakime G. Unsal - 1994 - Department of Computer Engineering Technical Reports, Bilkent University.
    A logical formalization of emotions is considered to be tricky because they appear to have no strict types, reasons, and consequences. On the other hand, such a formalization is crucial for commonsense reasoning. Here, the so-called "object directedness" of emotions is studied by using Helen Nissenbaum's influential ideas.
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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.].
    Download  
     
    Export citation  
     
    Bookmark  
  23. Absolut I.Varol Akman - 2001 - In Filip Buekens (ed.), Proceedings of Information, Indexicality and Consciousness: A Conference on John Perry. Tilburg, The Netherlands: Department of Philosophy, Tilburg University.
    Having been influenced by John Perry's 1997 article, "Indexicals and Demonstratives," in this paper I take a closer look at contexts for indexicals, more specifically the indexical "I." (N.B. The adjective in the title is not misspelt; it is used in the sense of the leading brand of premium vodka.).
    Download  
     
    Export citation  
     
    Bookmark  
  24. Situation semantics.Varol Akman - 2009 - In Keith Brown & Keith Allan (eds.), Concise Encyclopedia of Semantics. Amsterdam, The Netherlands: Elsevier. pp. 890-893.
    This article first appeared in "Encyclopedia of Language and Linguistics 2nd Edition," Keith Brown, ed., pp. 398-401, Elsevier, Amsterdam, 2006.
    Download  
     
    Export citation  
     
    Bookmark  
  25. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  26.  95
    Undaunted sets.Varol Akman - 1992 - ACM SIGACT News 23 (1):47-48.
    This is a short piece of humor (I hope) on nonstandard set theories. An earlier version appeared in Bull. EATCS 45: 146-147 (1991).
    Download  
     
    Export citation  
     
    Bookmark  
  27.  94
    Focusing for pronoun resolution in English discourse: an implementation.Ebru Ersan & Varol Akman - 1994 - Department of Computer Engineering Technical Reports, Bilkent University.
    Anaphora resolution is one of the most active research areas in natural language processing. This study examines focusing as a tool for the resolution of pronouns which are a kind of anaphora. Focusing is a discourse phenomenon like anaphora. Candy Sidner formalized focusing in her 1979 MIT PhD thesis and devised several algorithms to resolve definite anaphora including pronouns. She presented her theory in a computational framework but did not generally implement the algorithms. Her algorithms related to focusing and pronoun (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  92
    Context and the indexical 'I'.Varol Akman - 2002 - 1st North American Summer School in Logic, Language, and Information (NASSLLI) Workshop on Cognition: Formal Models and Experimental Results, John Perry (Organizer), CSLI, Stanford, CA.
    John Perry argued that the clearest case of an indexical that relies only on the narrow context is 'I,' whose designation depends on the agent and nothing else. In this presentation, I give some examples which show that this view, while essentially correct, may have problems in some rare divergent cases.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  93
    On a proposal of Strawson concerning context vs. 'what is said'.Varol Akman - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts, CSLI Lecture Notes No. 180. Stanford, CA: Center for the Study of Language and Information Publications. pp. 79-94.
    In Strawson’s Entity and Identity, there are two essays (Chapters 11 and 12), which study the notion of context. In these essays, Strawson advances a threefold distinction regarding how context bears on the meaning of 'what is said' when a sentence is uttered. -/- In this paper, we'll (i) review the original scheme of Strawson and summarize his improvements to his own scheme, and (ii) add our own improvements to make it even more thoroughgoing. We'll also show that unless it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  93
    Commonsense aspects of buying and selling.Varol Akman & Murat Ersan - 1996 - Cybernetics and Systems: An International Journal 27 (4):327-352.
    We describe an experimental approach toward implementing a commonsense "microtheory" for buying and selling. Our prototype system characterizes how intelligent agents hold items and money, how they buy and sell items, and the way money and items are transferred. The ontology of the system includes money (cash, check, credit card), agents (people, organizations), items (movable, real estate, service), barter, and the notions of transfer, loan, buying by installments, profit, and loss.
    Download  
     
    Export citation  
     
    Bookmark  
  31.  88
    Identity.Varol Akman - 2006 - In A. C. Grayling, Naomi Goulder & Andrew Pyle (eds.), The Continuum Encyclopedia of British Philosophy (4 volumes). London: Continuum. pp. 1610-1611.
    In logic, the law (or principle) of identity states simply: 'A is A'. This article gives a concise account of identity.
    Download  
     
    Export citation  
     
    Bookmark  
  32.  87
    On an alleged problem with Stalnaker’s representation of context.Varol Akman - 2001 - Contexts in Logics, a Workshop Co-Located with CONTEXT'01: 3rd International Conference on Modeling and Using Context, Dundee, UK.
    We consider an objection of Hans Kamp (based on an example by Barbara Partee) to Robert Stalnaker's model of context.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Issues in commonsense set theory.Mujdat Pakkan & Varol Akman - 1995 - Artificial Intelligence Review 8:279-308.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Editorial: Alan Turing and artificial intelligence.Varol Akman & Patrick Blackburn - 2000 - Journal of Logic, Language and Information 9 (4):391-395.
    The papers you will find in this special issue of JoLLI develop letter and spirit of Turing’s original contributions. They do not lazily fall back into the same old sofa, but follow – or question – the inspiring ideas of a great man in the search for new, more precise, conclusions. It is refreshing to know that the fertile landscape created by Alan Turing remains a source of novel ideas.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Nonstandard set theories and information management.Varol Akman & Mujdat Pakkan - 1996 - Journal of Intelligent Information Systems 6:5-31.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. The truth about "it is true that…".Varol Akman & M. Burak Senol - 2016 - Pragmatics and Cognition 23 (2):284-299.
    Deflationism, one of the influential philosophical doctrines of truth, holds that there is no property of truth, and that overt uses of the predicate "true" are redundant. However, the hypothetical examples used by theorists to exemplify deflationism are isolated sentences, offering little to examine what the predicate adds to meaning within context. We oppose the theory not on philosophical but on empirical grounds. We collect 7,610 occurrences of "it is true that" from 10 influential periodicals published in the United States. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Ripping the text apart at different seams.Varol Akman - 1994 - Stanford Humanities Review 4 (1).
    This is a brief reply to Herbert A. Simon's fine paper "Literary Criticism: A Cognitive Approach," Stanford Humanities Review, Special Supplement (Bridging the Gap: Where Cognitive Science Meets Literary Criticism), vol. 4, no. 1, pp. 1-26, Spring 1994.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. HYPERSOLVER: a graphical tool for commonsense set theory.Mujdat Pakkan & Varol Akman - 1995 - Information Sciences 85 (1-3):43-61.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Relational priming: obligational nitpicking.Varol Akman - 2008 - Behavioral and Brain Sciences 31 (4):378-379.
    According to the target article authors, initial experience with a circumstance primes a relation that can subsequently be applied to a different circumstance to draw an analogy. While I broadly agree with their claim about the role of relational priming in early analogical reasoning, I put forward a few concerns that may be worthy of further reflection.
    Download  
     
    Export citation  
     
    Bookmark  
  42. An information-based treatment of punctuation in discourse representation theory.Bilge Say & Varol Akman - 1998 - In Carlos Martin-Vide (ed.), Mathematical and Computational Analysis of Natural Language: Selected papers from the 2nd International Conference on Mathematical Linguistics (ICML ’96), Tarragona, 1996. Amsterdam, The Netherlands: John Benjamins Publishing Company.
    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 simplified analogue of an extension --- due to Nicholas Asher --- of Discourse Representation Theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Guest editor’s introduction: situations and artificial intelligence.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.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Problem representation for refinement.H. Altay 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Contesti in intelligenza artificiale: una fugace rassegna (Context in artificial intelligence: a fleeting overview).Varol Akman - 2002 - In Carlo Penco (ed.), La Svolta Contestuale. McGraw-Hill.
    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. -/- My aim in this paper is to offer a swift review of context in AI. I will first identify the role of context in various fields of AI. I will then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Using stable model semantics (SMODELS) in the causal calculator (CCALC).Semra Dogandag, F. Nur Alpaslan & Varol Akman - 2001 - In Proceedings of 10th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN).
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. 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.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 84