Goto

Collaborating Authors

A selected descriptor indexed bibliography to the literature on artificial intelligence

Classics

This listing is intended as an introduction to the literature on Artificial Intelligence, €”i.e., to the literature dealing with the problem of making machines behave intelligently. We have divided this area into categories and cross-indexed the references accordingly. Large bibliographies without some classification facility are next to useless. This particular field is still young, but there are already many instances in which workers have wasted much time in rediscovering (for better or for worse) schemes already reported. In the last year or two this problem has become worse, and in such a situation just about any information is better than none. This bibliography is intended to serve just that purpose-to present some information about this literature. The selection was confined mainly to publications directly concerned with construction of artificial problem-solving systems. Many peripheral areas are omitted completely or represented only by a few citations.IRE Trans. on Human Factors in Electronics, HFE-2, pages 39-55


Steps Toward Artificial Intelligence

Classics

... The literature does not include any general discussion of the outstanding problems of this field. In this article, an attempt will be made to separate out, analyze, and find the relations between some of these problems. Analysis will be supported with enough examples from the literature to serve the introductory function of a review article, but there remains much relevant work not described here.Proc. Institute of Radio Engineers 49, p. 8-30


Realization of a geometry theorem-proving machine

Classics

... the technique of heuristic programmingis under detailed investigation as a means to the end of applying largescaledigital computers to the solution of a difficult class of problems currentlyconsidered to be beyond their capabilities; namely those problemsthat seem to require the agent of human intelligence and ingenuity fortheir solution. It is difficult to characterize such problems further, except,perhaps, to remark rather vaguely that they generally involve complexdecision processes in a potentially infinite and uncontrollable environment.If, however, we should restrict the universe of problems to those thatamount to the discovery of a proof for a theorem in some well-definedformal system, then the distinguishing characteristics of those problems ofspecial interest to us are brought clearly into focus.Proceedings of an International Conference on Information Processing. Paris:UNESCO House, 273-282.


Some methods of artificial intelligence and heuristic programming

Classics

In Proceedings of the Symposium on Mechanisation of Thought Processes, National Physical Laboratory, Teddington, England, London: H. M. Stationary Office, pp. 3-36


Artificial Intelligence: Themes in the Second Decade

Classics

See also: Education Resources Information CenterSupplement to Proceedings of the IFIP 68 International Congress, Edinburgh, August 1968. Published in A. J. H. Morrell (ed.), Information Processing 68, Vol. II, pp. 1008-1022, Amsterdam: North-Holland, 1969.