From here to human-level AI

Artificial Intelligence

Volumn 171, Issue 18, 2007, Pages 1174-1182

  McCarthy, John ^a  

^a Stanford University   (United States)

Author keywords

Elaboration tolerance; Human level AI

Indexed keywords

APPROXIMATION THEORY; COMPUTER PROGRAMMING; FORMAL LOGIC; INFORMATION ANALYSIS;

COMMON SENSE INFORMATICS; ELABORATION TOLERANCE; NONMONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 36248983312     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2007.10.009     Document Type: Article

References (35)

1. S. Buvač, Quantificational logic of context, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996
2. Buvač S., Buvač V., and Mason I.A. Metamathematics of contexts. Fundamenta Informaticae 23 3 (1995)
3. Costello T. The expressive power of circumscription. Artificial Intelligence 104 1-2 (1998) 313-329
4. David Poole A.M., and Goebel R. Computational Intelligence (1998), Oxford
5. Dreyfus H. What Computers Still Can't Do (1992), MIT Press
6. Lifschitz V. Missionaries and cannibals in the causal calculator. In: Cohn A.G., Giunchiglia F., and Selman B. (Eds). KR2000: Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference (2000), Morgan Kaufman 85-96
7. McCarthy J. Programs with common sense. Mechanisation of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory (1959), Her Majesty's Stationery Office, London, UK 77-84. http://www-formal.stanford.edu/jmc/mcc59.html Reprinted in [14]
8. McCarthy J. Ascribing mental qualities to machines. In: Ringle M. (Ed). Philosophical Perspectives in Artificial Intelligence (1979), Harvester Press. http://www-formal.stanford.edu/jmc/ascribing.html Reprinted in [14]
9. McCarthy J. First order theories of individual concepts and propositions. In: Michie D. (Ed). Machine Intelligence, vol. 9 (1979), Edinburgh University Press, Edinburgh. http://www-formal.stanford.edu/jmc/concepts.html Reprinted in [14]
10. J. McCarthy, Coloring maps and the Kowalski doctrine, http://www-formal.stanford.edu/jmc/coloring.html, Technical Report STAN-CS-82-903, Dept Computer Science, Stanford University, 1982, AIM-346. Reprinted in [14]
11. McCarthy J. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence 28 (1986) 89-116. http://www-formal.stanford.edu/jmc/applications.html Reprinted in [14]
12. McCarthy J. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence 28 (1986) 89-116. http://www-formal.stanford.edu/jmc/applications.html Reprinted in [14]
13. McCarthy J. Artificial intelligence, logic and formalizing common sense. In: Thomason R. (Ed). Philosophical Logic and Artificial Intelligence (1989), Kluwer Academic. http://www-formal.stanford.edu/jmc/ailogic.html
14. McCarthy J. Formalizing Common Sense: Papers by John McCarthy (1990), Ablex Publishing Corporation
15. McCarthy J. Review of "The Emperor's New Mind" by Roger Penrose. Bulletin of the American Mathematical Society 23 2 (1990) 606-616
16. McCarthy J. Notes on formalizing context, in: IJCAI93 (1993). http://www-formal.stanford.edu/jmc/context.html
17. McCarthy J. Notes on formalizing context, in: IJCAI-93 (1993). http://www-formal.stanford.edu/jmc/context.html
18. McCarthy J. Review of "Shadows of the Mind" by Roger Penrose (1995). http://psyche.cs.monash.edu.au/ Psyche, an Electronic Journal at
19. McCarthy J. Situation calculus with concurrent events and narrative (1995). http://www-formal.stanford.edu/jmc/narrative.html web only, partly superseded by [24]
20. McCarthy J. Making robots conscious of their mental states. In: Muggleton S. (Ed). Machine Intelligence, vol. 15 (1996), Oxford University Press. http://www-formal.stanford.edu/jmc/consciousness.html The web version is improved from that presented at Machine Intelligence 15 in 1995
21. McCarthy J. Elaboration tolerance (1999). http://www-formal.stanford.edu/jmc/elaboration.html web only for now
22. McCarthy J. Approximate objects and approximate theories. In: Cohn A.G., Giunchiglia F., and Selman B. (Eds). KR2000: Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International conference (2000), Morgan Kaufman 519-526. http://www.formal.stanford.edu/jmc/approximate.html
23. McCarthy J. Actions and other events in situation calculus. In: Cohn A.G., and Selman B. (Eds). Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR2002) (2002), Morgan Kaufmann. http://www-formal.stanford.edu/jmc/sitcalc.html
24. McCarthy J., and Costello T. Combining narratives. Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning (1998), Morgan Kaufman 48-59
25. McCarthy J., and Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B., and Michie D. (Eds). Machine Intelligence, vol. 4 (1969), Edinburgh University Press 463-502. http://www-formal.stanford.edu/jmc/mcchay69.html reprinted in [14]
26. Newell A. The knowledge level. AI Magazine 2 2 (1981) 1-20 originally delivered as the Presidential Address, American Association for Artificial Intelligence, AAAI80, Stanford, CA, August 1980
27. Newell A. Reflections on the knowledge level. Artificial Intelligence 59 1-2 (1993) 31-38
28. Newell A., and Simon H.A. Human Problem Solving (1972), Prentice-Hall, Englewood Cliffs, NJ
29. Penrose R. The Emperor's New Mind: Concerning Computers, Minds, and the Law of Physics (1989), Oxford Univ. Press ACM CR 9008-0655
30. Science C., and Telecommunications Board N.R.C. Computing the Future: A Broader Agenda for Computer Science and Engineering (1992), National Academies Press
31. Searle J.R. Minds, Brains, and Science (1984), Harvard University Press, Cambridge, MA
32. Sierra M. Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning. Annals of Mathematics and Artificial Intelligence 39 1-2 (2003) 61-100
33. Sierra M. Heuristic planning: A declarative approach based on strategies for action selection. Artificial Intelligence 153 1-2 (2004) 307-337
34. Turing A. Computing machinery and intelligence. Mind 21 (1950)
35. Turing A.M. Lecture to the London mathematical society. The Collected Works of A.M. Turing, vol. Mechanical Intelligence (1947), North-Holland This was apparently the first public introduction of AI, typescript in the King's College archive, the book is 1992