135 found
Order:
Disambiguations
John McCarthy [86]John C. McCarthy [24]John P. McCarthy [16]John J. McCarthy [2]
John W. Mccarthy [2]John A. McCarthy [2]John Russell Mccarthy [1]John M. McCarthy [1]

Not all matches are shown. Search with initial or firstname to single out others.

See also
John C. McCarthy
Catholic University of America
  1. Some Philosophical Problems From the Standpoint of Artificial Intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
  2.  8
    Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
  3. Ascribing Mental Qualities to Machines.John McCarthy - 1979 - In Martin Ringle (ed.), Philosophical Perspectives in Artificial Intelligence. Humanities Press.
    Ascribing mental qualities like beliefs, intentions and wants to a machine is sometimes correct if done conservatively and is sometimes necessary to express what is known about its state. We propose some new definitional tools for this: definitions relative to an approximate theory and second order structural definitions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   119 citations  
  4.  4
    Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
  5.  30
    The Logical Problem of Language Acquisition.C. L. Baker & John J. McCarthy - 1981 - Mit Press (Ma).
    This collection of articles and associated discussion papers focuses on a problem that has attracted increasing attention from linguists and psychologists throughout the world during the past several years. Reduced to essentials, the problem is that of discovering the character of the mental capacities that make it possible for human beings to attain knowledge of their language on the basis of fragmentary and haphazard early linguistic experience. A fundamental assumption running through all of these contributions is that people possess strong (...)
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  6.  33
    Epistemological Challenges for Connectionism.John McCarthy - 1988 - Behavioral and Brain Sciences 11 (1):44-44.
  7.  47
    Automata Studies.John Mccarthy & Claude Shannon - 1958 - Journal of Symbolic Logic 23 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  8.  43
    The Well-Designed Child.John McCarthy - 2008 - Artificial Intelligence 172 (18):2003-2014.
    This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the ``learning'' required to deal with the three dimensional world of objects, processes, and other beings was done by evolution. Each child need not do this learning itself.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9.  36
    Formalizing Context (Expanded Notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.
    These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will permit (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  10. Making Robots Conscious of Their Mental States.John McCarthy - 1996 - In S. Muggleton (ed.), Machine Intelligence 15. Oxford University Press.
    In AI, consciousness of self consists in a program having certain kinds of facts about its own mental processes and state of mind. We discuss what consciousness of its own mental structures a robot will need in order to operate in the common sense world and accomplish the tasks humans will give it. It's quite a lot. Many features of human consciousness will be wanted, some will not, and some abilities not possessed by humans have already been found feasible and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  4
    From Here to Human-Level AI.John McCarthy - 2007 - Artificial Intelligence 171 (18):1174-1182.
  12. What is Artificial Intelligence?John McCarthy - 2004
  13.  31
    First Order Theories of Individual Concepts and Propositions.John McCarthy - 1979
    We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. We do not treat general concepts, and we do not present any full axiomatizations but rather show how various facts can be expressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  14.  12
    Towards a Mathematical Science of Computation.J. Mccarthy, Cicely M. Popplewell, John Mccarthy & Wayne A. Kalenich - 1962 - Journal of Symbolic Logic 36 (2):346-347.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  15. The Advice Taker.John McCarthy - 1968 - In Marvin L. Minsky (ed.), Semantic Information Processing. MIT Press.
     
    Export citation  
     
    Bookmark   4 citations  
  16. Acts of Dissent: New Developments in the Study of Protest.Dieter Rucht, Ruud Koopmans, Friedhelm Niedhardt, Mark R. Beissinger, Louis J. Crishock, Grzegorz Ekiert, Olivier Fillieule, Pierre Gentile, Peter Hocke, Jan Kubik, John D. McCarthy, Clark McPhail, Johan L. Olivier, Susan Olzak, David Schweingruber, Jackie Smith & Sidney Tarrow - 1999 - Rowman & Littlefield Publishers.
    Although living conditions have improved throughout history, protest, at least in the last few decades, seems to have increased to the point of becoming a normal phenomenon in modern societies. Contributors to this volume examine how and why this is the case and argue that although problems such as poverty, hunger, and violations of democratic rights may have been reduced in advanced Western societies, a variety of other problems and opportunities have emerged and multiplied the reasons and possibilities for protest.
     
    Export citation  
     
    Bookmark   3 citations  
  17. Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
    This article is oriented toward the use of modality in artificial intelligence (AI). An agent must reason about what it or other agents know, believe, want, intend or owe. Referentially opaque modalities are needed and must be formalized correctly. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.I have no proof that modal logic is inadequate, so I hope modal logicians will take the examples as (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  83
    A Logical Approach to Context.John McCarthy - 1996
    Logical AI develops computer programs that represent what they know about the world primarily by logical formulas and decide what to do primarily by logical reasoning--including nonmonotonic logical reasoning. It is convenient to use logical sentences and terms whose meaning depends on context. The reasons for this are similar to what causes human language to use context dependent meanings. This note gives elements of some of the formalisms to which we have been led. Fuller treatments are in [McC93], [Guh91] and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  39
    Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  20. Concepts of Logical Ai.John McCarthy - unknown
    Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with the common sense informatic situation. This in turn requires extensions from the way logic has been (...)
     
    Export citation  
     
    Bookmark   3 citations  
  21. Todd Moody's Zombies.John McCarthy - 1995 - Journal of Consciousness Studies 2 (4):345-347.
    From the AI point of view, consciousness must be regarded as a collection of interacting processes rather than the unitary object of much philosophical speculation. We ask what kinds of propositions and other entities need to be designed for consciousness to be useful to an animal or a machine. We thereby assert that human consciousness is useful to human functioning and not just and epiphenomenon. Zombies in the sense of Todd Moody's article are merely the victims of Moody's prejudices. To (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  13
    Beliefs, Machines, and Theories.John McCarthy - 1980 - Behavioral and Brain Sciences 3 (3):435-435.
  23. The Mutilated Checkerboard in Set Theory.John McCarthy - unknown
    An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by dominoes each of which covers two rectilinearly adjacent squares. present a set theory description of the proposition and an informal proof that the covering is impossible. While no present system that I know of will accept either formal description or the proof, I claim that both should be admitted in any heavy duty set theory.
     
    Export citation  
     
    Bookmark   1 citation  
  24.  2
    Crossings: Nietzsche and the Space of Tragedy.John P. Mccarthy - 1992 - Journal of Aesthetics and Art Criticism 50 (4):354-356.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. John Searle's Chinese Room Argument.John McCarthy - manuscript
    John Searle begins his ``Consciousness, Explanatory Inversion and Cognitive Science'' with " ``Ten years ago in this journal I published an article criticising what I call Strong AI, the view that for a system to have mental states it is sufficient for the system to implement the right sort of program with right inputs and outputs. Strong AI is rather easy to refute and the basic argument can be summarized in one sentence: {it a system, me for example, could implement (...)
     
    Export citation  
     
    Bookmark   1 citation  
  26. Actions and Other Events in Situation Calculus.John McCarthy - manuscript
    internal events that happen spontaneously from external events (actions). It also treats processes, e.g. a buzzer, that do not settle down. The non-monotonic reasoning is circumscription done situation by situation.
     
    Export citation  
     
    Bookmark   2 citations  
  27. History of Circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.
  28.  38
    Toward a Dialogical Perspective on Agency.Paul Sullivan & John Mccarthy - 2004 - Journal for the Theory of Social Behaviour 34 (3):291–309.
    The aim of this article is to motivate and outline a dialogical perspective on agency that accommodates centrifugal and centripetal tendencies in current cultural theories of agency. To complement approaches that assume a high degree of integration and clarity, we emphasise the diversity of agency as it is experienced in the open-ended dialogical relationship with a particular other. While these former approaches to agency provide us with the means to examine the influence of social processes such as division of labour (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. A Tough Nut for Proof Procedures.John McCarthy - unknown
    Here's the article which was a 1964 Stanford AI Memo. After the original memo, several people offered different proofs of the theorem including Shmuel Winograd, Marvin Minsky and Dimitri Stefanyuk - none published, to my knowledge. Winograd claimed that his proof was non-creative, because it didn't use an extraneous idea like the colors of the squares. This set off a contest to see who could produce the most non-creative proof. Minsky's idea was to start with the diagonal next to an (...)
     
    Export citation  
     
    Bookmark   2 citations  
  30. Challenges to Machine Learning: Relations Between Reality and Appearance.John McCarthy - unknown
    Apology: My knowledge of of machine learning is no more recent than Tom Mitchell's book. Its chapters describe, except for inductive logic programming, programs aimed at classifying appearances.
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Robot and the Baby.John McCarthy - manuscript
    This is the first science fiction story I have put up for the public to look at. While it was written just as a story, it partly illustrates my opinions about what household robots should be like. In my article Making Robots Conscious of their Mental States , I argued that robots should not be programmed to have..
     
    Export citation  
     
    Bookmark   1 citation  
  32.  39
    "Confessions of an Original Sinner," by John Lukacs. [REVIEW]John P. McCarthy - 1992 - The Chesterton Review 18 (3):419-423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. The Web--Early Visions, Present Reality, Grander Future.John McCarthy - unknown
    Licklider--1960--Man-Computer Symbiosis Roberts--1970--ARPAnet Internet Engelbart--1962-1968--Mouse, linked documents Kay--1970--Dynabook Berners-Lee--late 1980s and early 90s--World Wide Web Brin and Page--1996--Google--first adequate search engine other prophets--Nelson, etc. whom I neglect undeservedly from ignorance.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  38
    "Among the Believers," by V. S. Naipaul. [REVIEW]John P. McCarthy - 1983 - The Chesterton Review 9 (1):61-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  36
    "The Portable Conservative Reader," Edited by Russell Kirk. [REVIEW]John P. McCarthy - 1986 - The Chesterton Review 12 (1):103-107.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  21
    Paul W. Abrahams. Machine Verification of Mathematical Proof. Mathematical Algorithms, Vol. 1 No. 2 , Pp. 11–32; Vol. 1 No. 3 , Pp. 19–38; Vol. 2 , Pp. 28–79; Vol. 3 , Pp. 28–155. [REVIEW]John McCarthy - 1972 - Journal of Symbolic Logic 37 (2):411-412.
  37.  49
    Hilaire Belloc.John P. McCarthy - 1986 - The Chesterton Review 12 (2):165-174.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  32
    "G. K. Chesterton: Philosopher Without Portfolio," by Quentin Lauer, S.J. [REVIEW]John P. McCarthy - 1989 - The Chesterton Review 15 (3):365-369.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. An Everywhere Continuous Nowhere Differentiable Function.John McCarthy - manuscript
    My 1953 proof that the function is everywhere continuous and nowhere differentiable is just 13 lines. I've added some remarks to the note in the American Mathematical Monthly.
     
    Export citation  
     
    Bookmark   1 citation  
  40.  56
    Hilaire Belloc and Catholic History.John P. McCarthy - 1992 - Thought: Fordham University Quarterly 67 (1):62-73.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  40
    The Great Melody: A Thematic Biography and Commented Anthology of Edmund Burke, by Conor Cruise O'Brien.John P. McCarthy - 1995 - The Chesterton Review 21 (1/2):139-147.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  69
    Artificial Intelligence and Philosophy.John McCarthy - 1995
    AI needs many ideas that have hitherto been studied only by philosophers. This is because a robot, if it is to have human level intelligence and ability to learn from its experience, needs a general world view in which to organize facts. It turns out that many philosophical problems take new forms when thought about in terms of how to design a robot. Some approaches to philosophy are helpful and others are not.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  41
    Nihilism Before Nietzsche. [REVIEW]John C. McCarthy - 2000 - Review of Metaphysics 54 (1):140-143.
    There is something rather comical about the nihilist, who makes such a passionate ado about precisely nothing. This is not to deny the tragic consequences, in Russia and elsewhere, of the nihilist’s revolutionary fury. It is only to suggest that, despite what he may say about himself, the nihilist himself is no more animated by “the tragic sense of life” than he is elevated by a sense of humor. Tragedy requires “some error” in an agent and his agency. Such an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Friendship: No Dogs or Philosophers Allowed.Ken Knisely, John McCarthy & Matthew West - forthcoming - DVD.
    Aristotle and the shape of modern friendships. With John McCarthy and Matthew West.
     
    Export citation  
     
    Bookmark  
  45. At the Grand Canyon: Verse.John Russell Mccarthy - 1923 - Pacific Philosophical Quarterly 4 (1):28.
    No categories
     
    Export citation  
     
    Bookmark  
  46. "Film Theory: An Introduction": Robert Lapsley and Michael Westlake. [REVIEW]John P. Mccarthy - 1989 - British Journal of Aesthetics 29 (3):273.
     
    Export citation  
     
    Bookmark  
  47. Hartle, Ann. Self-Knowledge in the Age of Theory Lanham, Maryland and L,Ondon: Rowman & Littlefield Publishers, Inc., 1997. [REVIEW]John C. McCarthy - 1999 - Reason Papers 24:117-120.
     
    Export citation  
     
    Bookmark  
  48. "Historical Criticism and the Meaning of Texts": J. R. De J. Jackson. [REVIEW]John P. Mccarthy - 1990 - British Journal of Aesthetics 30 (3):289.
     
    Export citation  
     
    Bookmark  
  49. John P. Kenny, O.P., Principles of Medical Ethics. [REVIEW]John Mccarthy - 1954 - The Thomist 17:100.
     
    Export citation  
     
    Bookmark  
  50. Kopernikus und die bewegliche schönheit Schiller und die gravitationslehre.John A. McCarthy - forthcoming - Zeitschrift für Ästhetik Und Allgemeine Kunstwissenschaft.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 135