Technology
Some methods of artificial intelligence and heuristic programming
In Proceedings of the Symposium on Mechanisation of Thought Processes, National Physical Laboratory, Teddington, England, London: H. M. Stationary Office, pp. 3-36
Realization of a geometry theorem-proving machine
... 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.
To what extent can administration be mechanized?
Merriman, J.H.H. | Wass, D.W.G.
Teddington Conference
Elements of a theory of human problem solving
A description of a theory of problem-solving in terms of information processes amenable for use in a digital computer. The postulates are: "A control system consisting of a number of memories, which contain symbolized information and are interconnected by various ordering relations; a number of primitive information processes, which operate on the information in the memories; a perfectly definite set of rules for combining these processes into whole programs of processing." Examples are given of how processes that occur in behavior can be realized out of elementary information processes. The heuristic value of this theory is pertinent to theories of learning, perception, and concept formation. Psychological Review, March, 65(3):151-166.
Intelligent behavior in problem solving machines
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
Maximum likelihood estimation from incomplete data
Biometrics is a scientific journal emphasizing the role of statistics and mathematics in the biological sciences. Its object is to promote and extend the use of mathematical and statistical methods in pure and applied biological sciences by describing developments in these methods and their applications in a form readily assimilable by experimental scientists. JSTOR provides a digital archive of the print version of Biometrics. Authorized users may be able to access the full text articles at this site.
Automatic programming-properties and performance of FORTRAN systems I and II
From the The Teddington Conference– D. V. Blake and A. M. Uttley (Eds.). Proceedings of the Symposium on Mechanisation of Thought Processes, National Physical Laboratory, Teddington, Middlesex, England, London: H. M. Stationary Office.