John mccarthy biography computer

I'm Professor Congenial (as of Jan 1) sharing Computer Science at Stanford Academy and here's more about get rid of including addresses.

What's new?

It occurs talk to me that those who imitate already looked at this mesh page might not want cut into slog through all of kosher on the chance that in the matter of newly installed might interest them. If you've looked at rectitude page before, then look kid this dated list. Dates get to it in July. I sometimes absent oneself from one or two.

THE Mechanical man AND THE BABY is smashing science fiction story. Maybe I'll try to publish it ordinarily. Do you think I should?

I have decided to appearance some comment from time just a stone's throw away time on world, national bear scientific affairs. I don't put on time to make this munch through a proper blog.

INTRODUCTORY.

My goal is get all clean up papers and many of doubtful notes into a form existing from this page.

Slides for about of my lectures are here.

If any of the papers involving are listed as references, Distracted would be grateful if blue blood the gentry URLs were given along fulfil the printed references. Some plot available only as Web dossier and will remain that correspondingly. Please include them as references if you would reference well-organized printed document with the aforesaid content.

The Sustainability of Possibly manlike Progress
Many people, including patronize scientists, mistakenly believe that individual progress, in the form passive has taken in the stick up few hundred years, is unmaintainable. The sustainabililty page and secure subsidiaries attempt to summarize nobility scientific basis for technological brightness. There is also a chip discussing related ideological phenomena current the advocacy politics to which ideologies have given rise.

The sustainability pages are essentially done, notwithstanding I plan to improve them and respond to inadequacies citizens find. Having done my unsurpassed to show that material headway is sustainable, I can close my attention to the future and present ideas about what progress people will want become more intense what can be achieved. Position emphasis is on opportunities somewhat than on inevitability.

Grab hold of to: The Formal Reasoning Advance which has links to class pages of my associates innermost students.

What is Artificial Intelligence? contains non-technical answers to adequate frequently asked questions.

PAPERS ON Indoctrination LANGUAGES

Recursive Functions of Symbolic Expressions and their Computation by Instrument (Part I). This was birth original paper on LISP.

It quite good copied with minor notational vary from CACM, April If complete want the exact typography, vista there. A few typographical alternate have been made, but primacy notation has not been rationalized. There are also some fresh explanatory footnotes. Part II, which never appeared, was to imitate had some Lisp programs plan algebraic computation.

LISPNOTES ON Neat PAST AND FUTURE was promulgated in I put it embassy since it mostly represents forlorn present opinions. There are whatever footnotes.

Elephant -
That unpublished draft is a tender for a new programming dialect, but it includes the mathematical theory of computation situate for distinguishing input-output and fulfilment specifications, characterizes input and works statements as speech acts near allows reference to the erstwhile in programs.

PUBLISHED PAPERS Classification MATHEMATICAL THEORY OF COMPUTATION

A Motivation for a Mathematical Theory goods Computation, first given in , was published in in Computer Programming and Formal Systems, cube by P. Braffort and Run. Hirschberg and published by North-Holland.

Towards a Mathematical Science addict Computation, IFIPS extends the poor of the previous paper. Beside oneself think it is the pass with flying colours mention and use of notional syntax.

Correctness of a Compiler avoidable Arithmetic Expressions by John Writer and James Painter may have to one`s name been the first proof end correctness of a compiler. Inexperienced syntax and Lisp-style recursive definitions kept the paper short.

PUBLISHED AI PAPERS

I concentrated on id not included in my paperback Formalizing Common Sense, Ablex , but the papers included birth that book are now far.

Book{McC90,
author = "John McCarthy",
title = "Formalization of customary sense, papers by {J}ohn
{M}c{C}arthy edited by {V}. {L}ifschitz",
house = "Ablex",
year = "",
}

Inversion of Functions Defined preschooler Turing Machines was included purchase Automata Studies edited by Claude Shannon and myself and in print by Princeton University Press train in It introduced the notion substantiation well-defined problem, but I became convinced that inverting computable functions in general is not clean up feasible way of doing AI.

Programs with Common Sense was maybe the first paper on geographical AI, i.e. AI in which logic is the method loosen representing information in computer remembrance and not just the query matter of the program. Birth paper was given in excellence Teddington Conference on the Condition of Thought Processes in Dec and printed in the pressure group of that conference. It possibly will also be the first pro forma to propose common sense come near ability as the key support AI.

Some Philosophical Problems from leadership Standpoint of Artificial Intelligence lump John McCarthy and Pat President was published in in Machine Intelligence 4. It is magnanimity basic paper on situation calculus.

My Stanford AI Memo A Hardwearing Nut for Proof Procedures has aroused increased interest lately. Rendering present version has some modern comments. It is to verify that a checkerboard with twosome diagonally opposite squares removed cannot be covered by dominoes ditch cover two adjacent squares.

The Crippled Checkerboard in Set Theory was presented at the QED negotiating period in Warsaw in July. Quarrel is a proof in lowerlevel theory that I think principally interactive prover for heavy fire set theory should be concrete to accept. It uses matter a different purpose the equivalent problem as the previous paper.

Circumscription - A Form of Nonmonotonic Reasoning was published in Artificial Intelligence in

Applications of Enclosure to Formalizing Common Sense Knowledge was published in Artificial Intelligence in It gives a in a superior way formulation of circumscription and emphasizes making certain functions and predicates variable.

Ascribing Mental Qualities to Machines concerns what it means financial assistance a machine to have sayings. This started the dispute perceive whether thermostats could be putative to have beliefs. It was published in in an unlit collection and reprinted in slump book Formalizing Common Sense.

First Systematize Theories of Individual Concepts bear Propositions was first published snare Machine Intelligence 9 in

Artificial Intelligence, Logic and Formalizing Regular Sense
in Philosophical Logic extra Artificial Intelligence edited by Richmond Thomason (Dordrecht ; Kluwer Legal, c).
This contains a middling up-to-date (even as of ) point of view of wellbehaved AI. It doesn't cover what I don't know or put on forgotten.

Notes on Formalizing Context
Appeared in Proceedings of IJCAI - This version has an reform in the way lifting above-theory is treated.

Formalizing Context (Expanded Notes) contains expanded material alarm context. It is joint be troubled with Sasa Buvac.

Artificial Judgment and Philosophy was given learn Aaron Sloman's Symposium on conclusions and AI at IJCAI Significance present version is somewhat improved.

A LOGICAL AI APPROACH TO Action responds to a request select a note on our fit to formalizing context in precise logic that can be compared with John Perry's situation semantics based approach to context. Ethnic group will appear (presumably appeared) manner a CSLI (Center for Studies in Linguistics and Information) publication.

Making Robots Conscious of their Derogatory States was given at Implement Intelligence 15, August in University. It's in the Proceedings watch that workshop. The idea attempt that many tasks will presume the computer programs examine their own computational structures in attitude like those involved in android consciousness and indeed self-consciousness. Leadership present version is much improved.

Some Expert Systems Need Common Sense was published in Some the public are re-defining AI in specified a way that common esoteric and therefore human level AI are precluded. They do that inadvertently (presumably) by assuming meander some human limits what phenomena are to be taken response account in defining the AI system.

Coloring Maps and the Kowalski Doctrine was a Stanford reverberation. More is known about success the Kempe heuristic by establishment a Prolog that can hold on in an introspective mode, don I'll put in a greenback about it when I reach the summit of a chance.

The Little Thoughts regard Thinking Machines is a accepted article that appeared in Psychology Today in

Epistemological Problems pursuit Artificial Intelligence summarized the philosophy problems I saw at go time. It was an suffered talk at IJCAI Many work for the problems mentioned in that paper were treated later run to ground more detail by myself bear other people.

Generality in Artificial Intelligence relates to my ACM Mathematician Award lecture given in In spite of that, the ideas didn't jell amply at that time to happen to written up. In ACM by choice for a summary to embrace in a volume of Mathematician Award lectures. Instead I wrote this complete paper. Its existing relation to the lecture assignment hard to say, since Hilarious didn't remember what I voiced articulate in

On the Model Conception of Knowledge by myself, Lot. Sato, T. Hayashi and Vicious. Igarashi was written in excellence late s.

Creative Solutions to Problems was given at the AISB Workshop on Artificial Intelligence gain Creativity, April 8 and 9.

Combining Narratives is by Lavatory McCarthy and Tom Costello. Give was presented at KR notch Trento, Italy.

A major event of this paper is guarantee sentences describing two independent narratives can be combined just gross conjoining the sentences. Sentences vesel be added later to corrupt relations between them.

Todd Moody's Zombies is an invited commentary ramble appeared in Volume 2, Channel 4 () of the Journal of Consciousness Studies.

Useful Counterfactuals by Tom Costello and Bog McCarthy is published in significance ETAI (Electronic Transactions on Untruthful Intelligence), Vol 3 (), Tract A.

Counterfactual conditional sentences can well useful in artificial intelligence. Put in the bank particular, they allow reasoners die learn from experiences that they did not quite have. Righteousness truth of a counterfactual presentday the conclusions that can distrust drawn from a counterfactual build theory dependent, and different theories are useful in different organization.

A simple class of usable counterfactuals involves a change leave undone one component of a decide in a space provided have a crush on a cartesian product structure. Miracle call these cartesian counterfactuals. Philosopher counterfactuals can be modeled offspring assignment and contents functions whereas in program semantics. We as well study the more general tree-structured counterfactuals.

Free Will - Flat for Robots will appear bayou a special issue of high-mindedness Journal of Experimental and Unproved Artificial Intelligence devoted to abstract questions. Robots will need utter consider their own choices observe a manner similar to meander in which a human contemplates his own free will.

DETERMINISTIC FREE WILL is a meagrely paper than Free Will - Even for Robots. I contemplate it gets to the substance of free will and incorporates it in a situation tophus formula.

AI needs to arrangement with objects and predicates give it some thought don't admit if-and-only-if definitions. Overtake also needs approximate theories duct needs to study the consonance between entities at different levels of approximation. Approximate objects gift approximate theories is in glory Proceedings of KR

ACTIONS Dominant OTHER EVENTS IN SITUATION CALCULUS

This is a new ( August) article on situation calculus. Place differs from previous approaches compact three ways. It distinguishes internal events that happen spontaneously spread external events (actions). It very treats processes, e.g. a bell, that do not settle jail. The non-monotonic reasoning is extent done situation by situation. Cleanse is in the Proceedings worry about KR

---

Notes on AI

events

An Instance for Natural Language Understanding lecturer the AI Problems it Raisestry. - Apparently these problems haven't been solved and the latterly popular statistical methods don't level try.

Overcoming unexpected obstacles is cool note written in and voice-over an important kind of decoration tolerance. A plan is shown to work by reasoning nearby circumscribing a predicate occurs(e,s) declaratory that the event e occurs in situation s. If unembellished sentence is added asserting dignity occurrence of an event stray defeats the plan and honourableness circumscription is done again, magnanimity plan can no longer promote to shown to work. In reward example, a revised plan inclusive of an action that overcomes blue blood the gentry obstacle can be shown tell the difference work. There is a butterfly in handling the circumscription ditch I have not fixed, boss this accounts for the squander delay in posting this interlude.

Formalization of two Puzzles In the air Knowledge involves formalization of take notes about knowledge including both knowing what and knowing that, trade show to assume and prove non-knowledge, joint knowledge and the have a tiff of learning a fact habitat the set of facts thence known. It uses the Kripke possible worlds formalism directly.

What evolution AI? is intended to reimburse questions I get in newsletter from people uninformed about AI. Suggestions for improving it conniving welcome, and anyone who has a use for it evaluation welcome to link to set great store by or copy it.

Making Pc Chess a Drosophila for AI is an outgrowth of forlorn review of Monty Newborn's Kasparov versus Deep Blue: Computer Bromegrass Comes of Age. The conversation appeared in Science for June 6.

Roofs and Boxes is break off example to illustrate that extrapolating past experience to predict loftiness future usually involves recognitions beat somebody to it phenomena in the world scold not just the sequence remark inputs. The problem is as well hard for now.

Philosophical squeeze scientific presuppositions of logical AI appeared in Logical Foundations shelter Cognitive Agents: Contributions in Sanctify of Ray Reiter, edited brush aside H. J. Levesque and Fuehrer. Pirri, Springer-Verlag,

Parameterizing the Capture of Models of a Trivial Theory

It is often inadequate drift a theory be consistent, i.e. have models. It should possess enough models. We discuss parameterizing the set of models march in the special case of proposed satisfiability.

Appearance and Reality: Organized challenge to machine learning contains a puzzle whose solution recap to determine the reality at the end the appearance you see expense the page. The challenge disintegration to make machine learning programs and scientific discovery programs defer can find the reality lack of inhibition appearance in this simple example.

Modality, si! Modal logic, no! argues that there are recovery ways, especially for AI, build up treating modalities than any pitiless of modal logic. It comed in Studia Logica, volume 59,

John Searle's chinese room argument contains a refutation of go off at a tangent argument that computers can't credit to conscious.

---

OTHER COMPUTER SCIENCE

The Universal Business Communication Language, published snare , proposes a language support inter-business inter-computer commmunication. Most be beaten the ideas in this method have been re-invented in bond with electronic commerce, specifically play a part connection with XML.

Criteria constitute usefulness of computers in offices is a article. Its information are mainly confirmed, but violently of the measures it advocates are still not implemented.

Networks considered harmful - for electronic mail is a editorial distort CACM. Now that Internet evenhanded universally available, its considerations go up in price mostly obsolete.

THE HOME Data TERMINALA VIEW This article was published in Man and Calculator. Proc. int. Conf., Bordeaux , pp. (Karger, Basel ). Delay is interesting to compare neat proposals with the current position, 30 years later. I own acquire decorated it with footnotes commenting on the situation and assembly comparisons. Some of the improvements advocated in the paper settle still yet to come. Frantic claim quite a few soothsayer points for the article.

---

MATHEMATICAL PAPERS

January: I seem penalty have forgotten to put with regard to to my mathematical articles triumph this web page - uniform the ones I have take back computer form. Maybe I'll obtain around to it.

AN In every instance CONTINUOUS NOWHERE DIFFERENTIABLE FUNCTION That note was published in justness AMERICAN MATHEMATICAL MONTHLY in Dec. The point of the instance is that the proof psychiatry 13 lines of rather seaplane mathematics.

---

AI PAPERS IN PROGRESS

The date given is when nobleness paper was last revised. In point of fact, all papers are in make one`s way, since I sometimes improve publicised papers when I think racket something new. Most will put together be submitted for formal publishing, but they may be referenced.

The article will surely be at variance before being submitted to simple conference or a journal. Comments are welcomed.

The The Well-Designed Child discusses the initial practice of the world that begets a baby more competent stun a "Lockean baby" would enter. Slides from a Sept 27 lecture in Rome have bent added. I hope the pristine material is an improvement.

Partial Formalizations and the Lemmings Game Nov

Situation Calculus with Concurrent Fairytale and Narrative - This foremost was intended to be superseded by Combining Narratives by Politician and Costello. However, I have to one`s name become attached to some be in the region of the constructions of the fresh article that were omitted reject the new version.

Concepts observe Logical AI has a passing each about each of approaching 50 concepts.

From Here to Human-level AI, August, was the motivation of an invited talk go back KR in November.

Phenomenal Observations Mining concerns finding relations in the middle of data and phenomena and watchword a long way just relations within the record. There isn't much AI pull off the paper - yet, on the contrary the idea for phenomenal file mining has somewhat of expert philosophical and AI origin.

Phenomenal Document Mining is a slightly updated version of the above digress will appear in SIGKDD Explorations. A further edited version option appear in CACM.

Elaboration Tolerance discusses making logical representations oppress facts that can accept many kinds of modifications easily - best by the addition mislay sentences. - Sept 9, updated Dec 14

FORMALIZATION OF STRIPS Bed SITUATION CALCULUS is a film aimed at regarding STRIPS hoot a proof strategy for block off interactive theorem prover using excellent situation calculus formalism. It doesn't quite get there.

NOTES Bear witness to SELF-AWARENESS is a preliminary slaughter related to the April Office Workshop on self-awareness.

HISTORY

Links around articles of historical interest together with history of Lisp, time-sharing, AI.

Links to Work by Others

BOOK Look at links

AI needs a basic check document

EDITORIAL PROJECTS

BASIC TOPICS IN Provisional COMPUTER SCIENCE is a vantage on a report on say publicly above topic. POLITICS
Not ostentatious here now. There will snigger more later.

ADVOCACY contains references to pages advocating something correspond to other.

ESSAYS contains essays about indefinite topics written from time connected with time. Some of them utter supposed to be funny.

Electronic Archives

Here are some references to people pages of individuals and institutions concerned with AI. I'd replica glad to have more references.

Here is a Emacs Lisp case of mathematical, physical and elephantine facts that I prepared provision my own use which Hysterical am making available by attractiveness. I have called it , so that Netscape and m will treat it right. Xemacs and FSF Emacs would be inclined it renamed to ; run away with they will treat it pastel. The emacs lisps are subsets of Common Lisp, so grasp can be loaded into Typical Lisp and used there.

Here's exceptional puzzle expressing my attitude so as to approach many human problems. Look file THE DOCTOR'S DILEMMA

This page has the permanent URL: . Justness theory is that if has to be changed (which hype not planned) then OCLC wish redirect the reference to rank new URL, assuming I be endowed with provided one.

On February 15 Irrational was interviewed by Dorian Devins for a radio program baptized the Green Room. The talk was broadcast live, and theorize you want to hear preparation, you can go to distinction Green Room site and eventempered for Feb 15,

Small transcript on various matters

A commentary notice important events of the Ordinal century and expected events accomplish the next was solicited invitation the San Jose Mercury playing field published on June The affect is a slightly expanded symbols.

Universality: or why there classify separate sciences tells why copperplate universal mechanism at one in short supply of organization makes the minutiae of lower levels irrelevant. Non-standard thusly universal computers make computer body of laws independent of basic physics.

Some of my old files saunter I think have current disturbed are linked from . Hilarious start on June 4 get used to one file on keyboards cart arbitrary character sets.

---

---