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 (...) innate predispositions that are critical for success in this task. (shrink)

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.

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 (...) axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. (shrink)

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.

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 (...) useful in limited contexts. We give preliminary fragments of a logical language a robot can use to represent information about its own state of mind. A robot will often have to conclude that it cannot decide a question on the basis of the information in memory and therefore must seek information externally. Gödel's idea of relative consistency is used to formalize non-knowledge. Programs with the kind of consciousness discussed in this article do not yet exist, although programs with some components of it exist. Thinking about consciousness with a view to designing it provides a new approach to some of the problems of consciousness studied by philosophers. One advantage is that it focusses on the aspects of consciousness important for intelligent behavior. (shrink)

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.

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 a program for understanding Chinese, for example, without understanding any Chinese at all.} This idea, when developed, became known as the Chinese Room Argument.'' " The Chinese Room Argument can be refuted in one sentence. (shrink)

Aristotle and the shape of modern friendships. With John McCarthy and Matthew West.

Rare copy number variants have a prominent role in the aetiology of schizophrenia and other neuropsychiatric disorders. Substantial risk for schizophrenia is conferred by large CNVs at several loci, including microdeletions at 1q21.1, 3q29, 15q13.3 and 22q11.2 and microduplication at 16p11.2. However, these CNVs collectively account for a small fraction of cases, and the relevant genes and neurobiological mechanisms are not well understood. Here we performed a large two-stage genome-wide scan of rare CNVs and report the significant association of copy (...) number gains at chromosome 7q36.3 with schizophrenia. Microduplications with variable breakpoints occurred within a 362-kilobase region and were detected in 29 of 8,290 patients versus 2 of 7,431 controls in the combined sample. All duplications overlapped or were located within 89 kilobases upstream of the vasoactive intestinal peptide receptor gene VIPR2. VIPR2 transcription and cyclic-AMP signalling were significantly increased in cultured lymphocytes from patients with microduplications of 7q36.3. These findings implicate altered vasoactive intestinal peptide signalling in the pathogenesis of schizophrenia and indicate the VPAC2 receptor as a potential target for the development of new antipsychotic drugs. © 2011 Macmillan Publishers Limited. All rights reserved. (shrink)

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 (...) used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This article presents candidates. The references, though numerous, to articles concerning these concepts are still insuf- ficient, and I’ll be grateful for more, especially for papers available on the web. This article is available in several forms via http://www-formal.stanford.edu/jmc/conceptsai.html. (shrink)

Circadian rhythm abnormalities in bipolar disorder have led to a search for genetic abnormalities in circadian "clock genes" associated with BD. However, no significant clock gene findings have emerged from genome-wide association studies. At least three factors could account for this discrepancy: complex traits are polygenic, the organization of the clock is more complex than previously recognized, and/or genetic risk for BD may be shared across multiple illnesses. To investigate these issues, we considered the clock gene network at three levels: (...) essential "core" clock genes, upstream circadian clock modulators, and downstream clock controlled genes. Using relaxed thresholds for GWAS statistical significance, we determined the rates of clock vs. control genetic associations with BD, and four additional illnesses that share clinical features and/or genetic risk with BD. Then we compared the results to a set of lithium-responsive genes. Associations with BD-spectrum illnesses and lithium-responsiveness were both enriched among core clock genes but not among upstream clock modulators. Associations with BD-spectrum illnesses and lithium-responsiveness were also enriched among pervasively rhythmic clock-controlled genes but not among genes that were less pervasively rhythmic or non-rhythmic. Our analysis reveals previously unrecognized associations between clock genes and BD-spectrum illnesses, partly reconciling previously discordant results from past GWAS and candidate gene studies. (shrink)

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 (...) [MB94] and the references cited in the Web page [Buv95]. The first main idea is to make contexts first class objects in the logic and use the formula ist(c,p) to assert that the proposition p is true in the context c. A second idea is to formalize how propositions true in one context transform when they are moved to different but related contexts. An ability to transcend the outermost context is needed to give computer programs the ability to reason about the totality of all they have thought about so far [McC96]. (shrink)

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 (...) challenges. (shrink)

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.

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 (...) excluded corner ssquare, note that 2 dominoes had to project from it to the diagonal with three squares, and from there 1 domino to the four square diagonal, etc. Coming from the other end also leaves only six of the eight squares in the long diagonal covered. Minsky's proof gets high points for non-creativity, because it is specific to the 8 by 8 board. (Using the colors it is easy to show that a Minsky style proof will work for any even sized board.). (shrink)

John McCarthy, Stanford University Logical AI (artificial intelligence) is based on programs that represent facts about the world in languages of mathematical logic and decide what actions will achieve goals by logical reasoning. A lot has been accomplished with logic as is.

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 (...) and reproduction of community, they tend to underplay the importance of agency as it is embodied and experienced in the lives of particular people. To reflect on this aspect of agency, we will draw extensively on Bakhtin's work, which crosses boundaries between philosophy, psychology and literary criticism, and which is concerned to understand what is personal in activity. In terms of agency, his work draws our attention to the sense of responsibility and potentiality that imbues our dialogues with particular others, the aesthetics and ethics involved in dialoguing with the other, and the sense of dilemmatic choice and intonation that is involved in our dialogue with the other. (shrink)

This article is the basis of an invited talk at KR-96 in 1996 November. It has been modified from the version that appeared in the preprints of that meeting. There is an html version, a.dvi version,.pdf version and a.ps version. Up to: Main McCarthy page Up to: Send comments to mccarthy @stanford.edu. I sometimes make changes suggested in them. - John McCarthy.

How do we educate so all can learn? What does successful differentiation look like? John McCarthy shares how educators finally understand how differentiation can work. Bridging pedagogy and practice, each chapter addresses a key understanding for how good teaching practices can include differentiation with examples, concrete methods and strategies.

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 (...) behave like humans, zombies will need what Moody might call pseudo-consciousness, but useful pseudo-consciousness will share all the observable qualities of human consciousness including what the zombie will be able to report. Robots will require a pseudo-consciousness with many of the intellectual qualities of human consciousness but will function successfully with few if any human emotional conscious qualities if that is how we choose to build them. (shrink)

McCarthy provided the audience with a concise summary of the basic approach and central theses of the common text. He then posed two substantial questions. The first concerned the possibility of extending the analysis of discourse and silence to deal with non-senseful "utterance." The second dealt with the relation between the concept of silence proposed by Dauenhauer and Ricoeur's concept of distantiation. What follows is an edited version of his paper.

• alpha-beta pruning characterizes human play, but it ticed by early chess programmers—Turing, Shannon, Ulam, and Bernstein. We humans are not very good ing the heuristics we ourselves use. Approximations to used by Samuel, Newell and Simon, McCarthy. Proved lent to minimax by Hart and Levine, independently Knuth gives details.

Once there were brook trout in the streams in the mountains. You could see them standing in the amber current where the white edges of their fins wimpled softly in the flow. They smelled of moss in your hand. Polished and muscular and torsional. On their backs were vermiculate patterns that were maps of the world in its becoming. Maps and mazes. Of a thing which could not be put back. Not be made right again. In the deep glens where (...) they lived all things were older than man and they hummed of mystery.Cormac McCarthy, The Road. (shrink)

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.

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.

An Example for Natural Language Understanding and the AI Problems it Raises I think this 1976 memorandum is of 1996 interest. The problems it raises haven't been solved or even substantially reformulated.

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.