Plotting

Object recognition tests on the Mark 15 robot

Classics

Research Memorandum MIP-R-92. University of Edinburgh: Department of Machine Intelligence, School of Artificial Intelligence




STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

Classics

Reprinted in Readings in Planning, edited by J. Allen, J. Hendler, and A. Tate, Morgan Kaufmann Publishers, San Mateo, California, 1990. Also Reprinted in Computation and Intelligence: Collected Readings, edited by George F. Luger, AAAI Press, 1995. See also: Artificial Intelligence, Volume 2, Issues 3–4, Winter 1971, Pages 189–208 In IJCAI-71: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. British Computer Society, London.. Revised version in Artificial Intelligence, 2(3), pp 189-208.



Challenge to Artificial Intelligence: Programming Problems to be Solved

Classics

This paper is in the nature of a challenge to artificial intelligence experts. It suggests that the techniques of artificial intelligence should be applied to some realistic problems which exist in the programming and data processing fields. After a brief review of the little related existing work which has been done, the characteristics of programming problems which make them suitable for the application of artificial intelligence techniques are given. Specific illustrations of problems are provided under the broadcategories of data structure and organization, program structure and organization, improvements and corrections of programs, and language.In IJCAI-71: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. British Computer Society, London.


A Heuristic Programming Study of Theory Formation in Science

Classics

"The Meta-DENDRAL program is a vehicle for studying problems of theory formation in science. The general strategy of Meta-DENDRAL is to reason from data to plausible generalizations and then to organize the generalizations into a unified theory. Three main subprobleras are discussed: (1) explain the experimental data for each individual chemical structure, (2) generalize the results from each structure to a l l structures, and (3) organize the generalizations into a unified theory. The program is built upon the concepts and programmed routines already available in the Heuristic DENDRAL performance program, but goes beyond the performance program in attempting to formulate the theory which the performance program will use."In IJCAI-71: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. British Computer Society, London. pp. 40-50


Interactions between philosophy and AI: The role of intuition and non-logical reasoning in intelligence

Classics

This paper echoes, from a philosophical standpoint, the claim of McCarthy and Hayes that Philosophy and Artificial Intelligence have important relations. Philosophical problems about the use of “intuition” in reasoning are related, via a concept of anlogical representation, to problems in the simulation of perception, problem-solving and the generation of useful sets of possibilities in considering how to act. The requirements for intelligent decision-making proposed by McCarthy and Hayes are criticised as too narrow, and more general requirements are suggested instead.See also: Artificial Intelligence, Volume 2, Issues 3–4, Winter 1971, Pages 209–225In IJCAI 1971: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE.. Revised paper in Artificial Intelligence 2:209- 225


Trajectory Control of a Computer Arm

Classics

This paper describes the programming of a computer controlled arm. The programming is divided logically into planning and execution Communication between planning and execution is by a data fil e which specifies the arm trajectory with reapect to time, and actions that the arm should perform. The servo program which moves the arm along the trajectory is based on Legrangian mechanics and takes into account coupling between links, and the variation of inertial loading with change of arm configuration.In IJCAI-71: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. British Computer Society, London.


Recognition of polyhedrons with a range-finder

Classics

Proc. Second Intern. Joint Conf. on Artificial Intelligence, 80-7. London: The British Computer Society