John McCarthy
- Black E. A deductive question answering system. Ph.D. dissertation, Harvard Univ., Cambridge, Mass., 1964.Google Scholar
- Buchanan, B. G., and Shortliffe, E. H., Eds. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. American Elsevier, New York, 1984. Google ScholarDigital Library
- Davis, R., Buchanan, B., and Shortliffe, E. Production rules as a representation for a knowledge-based consultation program. Artif Intell. 8, 1 (Feb. 1977).Google ScholarDigital Library
- Doyle, J. Truth maintenance systems for problem solving. In Proceedings of the 5th International Joint Conference on Artificial Intelligence. 1977, p. 247.Google ScholarDigital Library
- Ernst, G. W., and Newell, A. GPS: A Case Study in Generality and Problem Solving. Academic Press, Orlando, Fla, 1969.Google Scholar
- Fikes, R. and Nilsson, N. STRIPS: A new approach to the application of theorem proving to problem solving. Artif Intell. 2, 3,4 {Jan. 1971), 189--208.Google ScholarCross Ref
- Friedberg, R. M. A learning machine. IBMJ. Res. 2, 1 (Jan. 1958), 2--13.Google ScholarCross Ref
- Friedberg, R. M. Dunham, B., and North, J. H. A learning machine, p. II. IBMJ. Res. 3, 3 (July, 1959), 282--287.Google ScholarDigital Library
- Green, C. Theorem-proving by resolution as a basis for question answering systems. In Machine Intelligence 4, B. Melter and D. Michie, Eds. University of Edinburgh Press, Edinburgh, 1969, pp. 183--205.Google Scholar
- Lifschitz, V. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, vol. 1, 1985, pp. 121 - 127.Google Scholar
- McCarthy, J. Programs with common sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes. Her Majesty's Stationery Office, London. Reprinted in Semantic Information Processing, M. Minsky, Ed. M.I.T. Press, Cambridge, Mass., 1960.Google Scholar
- McCarthy, J., and Hayes, P. J. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, D. Michie, Ed. American Elsevier, New York, N.Y., 1969.Google Scholar
- McCarthy, J. First order theories of individual concepts and propositions. In Machine Intelligence 9, D. Michie, Ed. University of Edinburgh Press, Edinburgh, 1979.Google Scholar
- McCarthy, J. Some expert systems need common sense. In Computer Culture: The Scientific, Intellectual and Social Impact of the Computer, vol. 426, Pagels, Ed. Annals of the New York Academy of Sciences, New York, 1983. Google ScholarDigital Library
- McCarthy, J. Circumscription --- A form of non-monotonic reasoning. Artif Intell. 13, 1, 2 (Apr. 1980).Google ScholarDigital Library
- McCarthy, J. Applications of circumscription to formalizing common sense knowledge. Artif Intell. (Apr. 1986). Google ScholarDigital Library
- McDermott, D., and Doyle, J. Non-monotonic logic I. Artif Intell. 13, 1, 2 (1980), 41--72.Google ScholarDigital Library
- Newell, A., Shaw, J. C., and Simon, H. A. Preliminary description of general problem solving program-I(GPS-I). CIP Working Paper 7, Carnegie-Mellon Univ., Dec. 1957.Google Scholar
- Newell, A., Shaw, J. C., and Simon, H. A. Report on a general problemsolving program for a computer. In Information Processing: Proceedings of the International Conference on Information Processing (Paris). UNESCO, 1960, pp. 256--264. (RAND P-1584, and reprinted in Computers and Automation, July 1959.)Google Scholar
- Newell, A., Shaw, J. C., and Simon, H. A. A variety of intelligent learning in a General Problem Solver. In M. C. Yovits and S. Cameron, Eds. Self-Organizing Systems, Pergammon Press, Elmsford, N.Y., 1960, pp. 153--189.Google Scholar
- Newell, A., and Simon, H. A. Human Problem Solving. Prentice-Hall, Englewood Cliffs, N.J., 1972. Google ScholarDigital Library
- Laird, J. E., Newell, A., and Rosenbloom, P. S. Soar: An architecture for general intelligence. To be published.Google Scholar
- Reiter, R. A logic for default reasoning. Artif. Intell. 13, 1, 2 (Apr. 1980).Google ScholarDigital Library
- Simon, H. Still unsubstantiated rumor, 1960. GENERA{W86,JMC} TEXed on May 27, 1986, at 11:50 p.m.Google Scholar
Index Terms
- Generality in artificial intelligence
Recommendations
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...
Comments