129 found
Order:
Disambiguations
John McCarthy [81]John C. McCarthy [24]John P. Mccarthy [15]John J. McCarthy [3]
John W. McCarthy [2]John A. McCarthy [1]John Russell Mccarthy [1]John Willadams 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.  81
    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   112 citations  
  3. Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13:27–39.
     
    Export citation  
     
    Bookmark   94 citations  
  4. The Logical Problem of Language Acquisition.C. L. Baker & John J. Mccarthy - 1981
  5. Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28:89–116.
     
    Export citation  
     
    Bookmark   59 citations  
  6.  21
    Epistemological Challenges for Connectionism.John McCarthy - 1988 - Behavioral and Brain Sciences 11 (1):44-44.
  7. The Well-Designed Child.John McCarthy - unknown
    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.
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  8.  81
    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 (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9.  24
    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   11 citations  
  10.  16
    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.
  11. What is Artificial Intelligence?John McCarthy - manuscript
  12. 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  
  13.  27
    First Order Theories of Individual Concepts and Propositions.John McCarthy - manuscript
    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   9 citations  
  14.  28
    Automata Studies.John Mccarthy & Claude Shannon - 1958 - Journal of Symbolic Logic 23 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  15. 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  
  16. 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.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  18. 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  
  19. 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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. 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 (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  70
    A Logical Approach to Context.John McCarthy - manuscript
    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   2 citations  
  22.  23
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  36
    "Confessions of an Original Sinner," by John Lukacs. [REVIEW]John P. McCarthy - 1992 - The Chesterton Review 18 (3):419-423.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25.  7
    Towards a Mathematical Science of Computation.J. Mccarthy, Cicely M. Popplewell, John Mccarthy & Wayne A. Kalenich - 1971 - Journal of Symbolic Logic 36 (2):346-347.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  8
    How We Speak of Nature: A Plea for a Discourse of Depth.John W. Mccarthy & Nancy C. Tuchman - 2018 - Heythrop Journal 59 (6):944-958.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  33
    "The Portable Conservative Reader," Edited by Russell Kirk. [REVIEW]John P. McCarthy - 1986 - The Chesterton Review 12 (1):103-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    "Among the Believers," by V. S. Naipaul. [REVIEW]John P. McCarthy - 1983 - The Chesterton Review 9 (1):61-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  25
    "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 (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    Beliefs, Machines, and Theories.John McCarthy - 1980 - Behavioral and Brain Sciences 3 (3):435-435.
  31.  46
    Hilaire Belloc.John P. McCarthy - 1986 - The Chesterton Review 12 (2):165-174.
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Overcoming Unexpected Obstacles.John McCarthy - manuscript
    A plan is made to fly from Glasgow to Moscow and is shown by circumscription to lead to the traveller arriving in Moscow. Then a fact about an unexpected obstacle---the traveller losing his ticket---is added without changing any of the previous facts, and the original plan can no longer be shown to work if it must take into account the new fact. However, an altered plan that includes buying a replacement ticket can now be shown to work. The formalism used (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  33. 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  
  34.  24
    Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  35. The Advice Taker.John McCarthy - 1968 - In Marvin L. Minsky (ed.), Semantic Information Processing. MIT Press.
     
    Export citation  
     
    Bookmark   4 citations  
  36. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  29
    The Edwardian Political Milieu of Chesterbelloc.John P. McCarthy - 1978 - The Chesterton Review 4 (2):219-231.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  32
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  47
    Hilaire Belloc and Catholic History.John P. McCarthy - 1992 - Thought: Fordham University Quarterly 67 (1):62-73.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  16
    Kolakowski, Leszek. God Owes Us Nothing: A Brief Remark on Pascal's Religion and on the Spirit of Jansenism. [REVIEW]John C. McCarthy - 1997 - Review of Metaphysics 50 (3):669-671.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  32
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  26
    An Introduction to Husserlian Phenomenology. [REVIEW]John C. McCarthy - 1995 - Review of Metaphysics 49 (1):123-125.
    The bulk of the writings Husserl himself saw through to publication were, in one way or another, successive attempts at an "introduction" to phenomenology. That not a single one of these works is of easy access to those for whom phenomenology is something novel in no way contravenes the use of the term 'introduction" to name them. After all, to the end of his days Husserl spoke of himself as a philosophical beginner, and not from any false modesty, but because (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  25
    Chesterton and Ireland.John P. McCarthy - 1993 - The Chesterton Review 19 (2):259-265.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  24
    Anselm and a New Generation. [REVIEW]John McCarthy - 1982 - Review of Metaphysics 36 (2):446-448.
    The stated purpose of this book is twofold: "to look at what was happening to the theological certainties in which Anselm had such confidence, in his own day and in the generation or two after his death" and "to try to distinguish that quality which marks Anselm's thought so distinctively". To this end Evans constructs something of a conversation--she assembles contrasting opinions on various questions--among Anselm of Canterbury, his known contemporaries, and the "new generation" of scholars who followed. Both because (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  5
    The Inversion of Functions Defined by Turing Machines.John Mccarthy - 1970 - Journal of Symbolic Logic 35 (3):481-481.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  20
    Encyclopedia of Phenomenology. [REVIEW]John C. Mccarthy - 1999 - Review of Metaphysics 52 (3):677-679.
    “Scholasticism” has not always been a term of opprobrium. Strictly speaking, the word simply targets a “school of thought,” and schools, like thoughts, can be good, bad, or indifferent. Francis Bacon did much to foster common derision of scholasticism. As he observed, “it is scarcely possible at once to admire authors and to surpass them, knowledge being like water, which will not rise above the level from which it fell.” Insofar as great thinkers do not reliably engender their equals, much (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  49
    Artificial Intelligence and Philosophy.John McCarthy - manuscript
    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  
  48.  5
    The Being of the Maybe: Husserl on Doubting.John C. McCarthy - 1995 - Man and World 28 (3):261-281.
  49. 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.
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Notes on Self-Awareness.John McCarthy - manuscript
    These notes discuss self-awareness in humans and machines. The goal is to determine useful forms of machine self-awareness and also those that are on the road to human-level AI. This is a draft which is to be improved, and suggestions are solicited. There are a few formulas in this version. The final version will have more.
     
    Export citation  
     
    Bookmark  
1 — 50 / 129