Well File:

Pandemonium: A Paradigm for Learning

Classics

A significant prcursor to the Blackboard Model of problem solving. In D. V. Blake and A. M. Uttley (eds.), Proceedings of the Symposium on Mechanisation of Thought Processes, pp, 511-529, London: Her Majesty's Stationary Office, 1959



The Logic of Scientific Discovery

Classics

The Wageningen University & Research Library Catalogue contains a.o. the titles of the books and journals held by the participating libraries. Journal articles are not included in this database. Subjects covered include Agrotechnology, Food and Food Production, Plant and Animal Sciences, Soil Science, Geo-information, Landscape and Spatial Planning, Water and Climate, Ecosystem Studies, Economics and Society. The catalogue is updated daily and contains over 700.000 records.




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.