Copies of articles, papers, and reports by Alan Turing
Scope & Content:
'Intelligent machinery' (originally published in 1947), 'Computing machinery and intelligence' (originally published in 1950), and lecture to the London Mathematical Society (given in Feb 1947).
Contains: 'Advances in artificial intelligence' 'The application of inductive logic programming to finite element mesh design' 'Learning qualitative models of dynamic systems' 'Incidence calculus' 'Rippling: a heuristic for guiding inductive proofs' 'A science of reasoning' 'Using meta-level inf...
Contains: 'Inverting implication' 'The CN2 induction algorithm' 'Bayes and pseudo-Bayes estimates of conditional probabilities and their reliability' 'C4.5: programs for machine learning' 'Neural networks and related methods for classification' 'Programs are predicates' 'Structured inspections o...
Contains: 'Artificial intelligence research' List of participants at the Pajaro Dunes workshop on automatic problem solving, 1973 Address to the Agricultural Research Council by Lord Rothschild 'Developments in programmable assembly devices' 'System 24: a new concept of manufacture' 'On Alan Tu...
Includes: Semi-automatic methods of knowledge enhancement Articles on Pacific islanders Pragmatica (Spring 1990) From the percept to the cognitive structure Report on ‘train 1’ experiments
Includes: Infoworld (Sep 1984) CDL generation: structural properties of logical spaces A prolog to prolog Database as oracle versus expert as oracle Programming with equations Randomness and mathematical proof
Contains: 'Artificial intelligence: themes in the second decade' 'Proposed new initiatives in computing and computer applications' (the Roberts Report) 'The visual cliff' 'Which syntax: a consumer’s guide' 'Psychological linguistics: theories of learning in relation to language' 'Comparative str...
Contains: Turing Institute Comparative Learning Group laboratory report on Quinlan’s C4.5 as a data-analytic tool 'Optimal observers for the state regulation of linear continuous time-plants' 'A trainable neuromorphic controller' 'Design of regulators using time-multiplied quadratic performance...