•  673
    This is a review of From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, written by Hans Kamp and Uwe Reyle and published by Kluwer Academic Publishers in 1993.
  •  925
    John Lyons, Linguistic Semantics: An Introduction (review)
    Natural Language Engineering 3 (1): 89-95. 1997.
    Sir John Lyons’s Linguistic Semantics: An Introduction (Cambridge, UK: Cambridge University Press, 1995) is a tolerable addition to the list of half a dozen or so impressive titles he has produced on linguistic subjects over the years. This book was initially planned to be a second edition of his Language, Meaning and Context (Lyons, 1981). However, in the end it turned out to be a successor and replacement. For it is, in the author’s words, a very different book compared to the 1981 volume: it …Read more
  •  1183
    Contexts of social action: guest editors' introduction
    with Anita Fetzer
    Language and Communication 22 391-402. 2002.
    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…Read more
  •  412
    Guest editor's introduction: artificial intelligence
    Turkish Journal of Electrical Engineering and Computer Sciences 9 (1). 2001.
    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 apprais…Read more
  •  712
    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 fi…Read more
  •  614
    Editorial: context in context
    with Bruce Edmonds
    Foundations of Science 7 (3): 233-238. 2002.
    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 whic…Read more
  •  664
    Guest editor’s introduction: situations and artificial intelligence
    Minds and Machines 8 (4): 475-477. 1998.
    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.
  •  944
    The power of physical representations
    with Paul J. W. ten Hagen
    AI Magazine 10 (3): 49-65. 1989.
    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…Read more
  •  647
    Problem representation for refinement
    with H. Altay Guvenir
    Minds and Machines 2 (3): 267-282. 1992.
    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 which are binary pred…Read more
  •  1262
    Editorial: Alan Turing and artificial intelligence
    Journal of Logic, Language and Information 9 (4): 391-395. 2000.
    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.
  •  1448
    Burn all your textbooks
    Australasian Journal of Logic 14 (3). 2017.
    The standard propositional exposition of necessary and sufficient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.
  •  1212
    John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
    Journal of Logic, Language and Information 6 (4): 460-464. 1997.
    This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, written by Jon Barwise and Lawrence Moss and published by CSLI Publications in 1996.
  •  424
    Undaunted sets
    ACM SIGACT News 23 (1): 47-48. 1992.
    This is a short piece of humor (I hope) on nonstandard set theories. An earlier version appeared in Bull. EATCS 45: 146-147 (1991).
  •  778
    Modeling and Using Context, volume 2116 of
    with Paolo Bouquet, Richmond Thomason, and Roger A. Young
    In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence, Springer. pp. 465. 1999.
    Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.
  •  959
    This is a review of Mind Design II: Philosophy, Psychology, and Artificial Intelligence, edited by John Haugeland and published by The MIT Press in 1997.
  •  634
    On a proposal of Strawson concerning context vs. 'what is said'
    In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts, CSLI Lecture Notes No. 180, Center For the Study of Language and Information Publications. pp. 79-94. 2008.
    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 is elaborated with sever…Read more
  •  642
    Context and the indexical 'I'
    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. 2002.
    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.
  •  532
    On an alleged problem with Stalnaker’s representation of context
    Contexts in Logics, a Workshop Co-Located with CONTEXT'01: 3rd International Conference on Modeling and Using Context, Dundee, UK. 2001.
    We consider an objection of Hans Kamp (based on an example by Barbara Partee) to Robert Stalnaker's model of context.
  •  863
    Reading Law with ChatGPT (With Special Emphasis on Contextual Canons)
    Law, Ethics, and Technology 2024 (3): 06. 2024.
    We study the performance of ChatGPT interpreting prompts that require legal expertise to answer. Our inputs are very close adaptations from the "Contextual Canons" section of Antonin Scalia and Bryan Garner's Reading Law: The Interpretation of Legal Texts (Thomson West: 2012). We report our experiments and findings for the entire section (comprising 14 canons) of the book. We conclude that as a legal reasoner ChatGPT is exceptionally successful in taking the contextual canons into account.
  •  559
    This is a review of Gul A. Agha’s Actors: A Model of Concurrent Computation in Distributed Systems (The MIT Press, Cambridge, MA, 1987), a part of the MIT Press Series in Artificial Intelligence, edited by Patrick Winston, Michael Brady, and Daniel Bobrow.
  •  539
    Absolut I
    In Filip Buekens (ed.), Proceedings of Information, Indexicality and Consciousness: A Conference on John Perry, Department of Philosophy, Tilburg University. 2001.
    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.)
  •  1109
    Rethinking context as a social construct
    Journal of Pragmatics 32 (6): 743-759. 2000.
    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 Wend…Read more
  •  583
    Peter D. Mosses, Action Semantics
    Journal of Logic and Computation 3 (4): 442-444. 1993.
    This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.
  •  568
    Vagueness
    In A. C. Grayling, Andrew Pyle & Naomi Goulder (eds.), The Continuum encyclopedia of British philosophy, Thoemmes Continuum. pp. 3260-3261. 2006.
    Vagueness, 'the quality or condition of being vague' (OED), has kept philosophers busy since ancient times. This article gives a concise account of vagueness.
  •  903
    Mental models of force and motion
    with Deniz Ede, William Randolph Franklin, and Paul J. W. ten Hagen
    In Okyay Kaynak (ed.), Proceedings of the IEEE International Workshop on Intelligent Motion Control (Istanbul, 20-22 August 1990), Institute of Electrical and Electronics Engineers. pp. 153-158. 1990.
    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 force and…Read more
  •  585
    The logic of counteraction
    with Erkan Tin
    Elektrik 1 (3): 167-181. 1993.
    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.
  •  522
    Review of "Artificial Intelligence: An MIT Perspective, Volume 2: Understanding Vision, Manipulation, Computer Design, Symbol Manipulation," Patrick Henry Winston & Richard Henry Brown (eds.), The MIT Press, Cambridge, MA, 2nd printing, 1980.
  •  522
    Ken Forbus's Qualitative Process Theory (QPT) is a popular theory for reasoning about the physical aspects of the daily world. Qualitative Process Theory Using Linguistic Variables by Bruce D'Ambrosio (Springer-Verlag, New York, 1989) is an attempt to fill some gaps in QPT.
  •  706
    Logical connectives
    In A. C. Grayling, Andrew Pyle & Naomi Goulder (eds.), The Continuum encyclopedia of British philosophy, Thoemmes Continuum. pp. 1939-1940. 2006.
    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.
  •  875
    When silence may mean derision
    Journal of Pragmatics 22 (2): 211-212. 1994.
    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.