Alan turing and the development of artificial intelligence

AI Communications

Volumn 27, Issue 1, 2014, Pages 3-10

  Muggleton, Stephen ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Alan Turing; Artificial Intelligence; Machine Intelligence

Indexed keywords

AB INITIO; ALAN TURING; BACK-GROUND KNOWLEDGE; COMPUTATIONAL LOGIC; MACHINE INTELLIGENCE; SYSTEMS BIOLOGY; TURING TESTS;

LEARNING SYSTEMS; LOGIC PROGRAMMING;

ARTIFICIAL INTELLIGENCE;

EID: 84889667265     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-130579     Document Type: Article

References (46)

1. A.P. Ambler, H.G. Barrow, C.M. Brown, R.M. Burstall and R.J. Popplestone, A versatile system for computer controlled assembly, Artificial Intelligence 6(2) (1975), 129-156.
2. H.G. Barrow and S.H. Salter, Design of low-cost equipment for cognitive robot research, in: Machine Intelligence 5, B. Meltzer and D. Michie, eds, Edinburgh Univ. Press, 1969, pp. 555-566.
3. H.G. Barrow and J.M. Tenenbaum, Interpreting line drawings as three-dimensional surfaces, Artificial Intelligence 17 (1981), 75-116.
4. B. Buchanan, E. Feigenbaum and N. Sridharan, Heuristic theory formation: data interpretation and rule formation, in: Machine Intelligence 7, B. Meltzer and D.Michie, eds, Edinburgh Univ. Press, 1972, pp. 267-290.
5. A. Church, An unsolvable problem of elementary number theory, American Journal of Mathematics 58 (1936), 345-363.
6. E. Dale and D. Michie, Pop-1: an on-line language, 1968.
7. D. Davies, The Bombe a remarkable logic machine, Cryptologia 23(2) (1999), 108-138.
8. L. De Raedt, P. Frasconi, K. Kersting and S.H. Muggleton (Eds), Probabilistic Inductive Logic Programming, LNAI, Vol. 4911, Springer-Verlag, Berlin, 2008.
9. J.E. Doran, Planning and robots, in: Machine Intelligence 5, B. Meltzer and D. Michie, eds, Edinburgh Univ. Press, 1969, pp. 519-532.
10. E.W. Elcock and D. Michie, Achieving several goals simultaneously, in: Machine Intelligence 8, E.W. Elcock and D. Michie, eds, Ellis Horwood, Edinburgh, 1977, pp. 94-136.
11. E.A. Feigenbaum, Themes and case studies of knowledge engineering, in: Expert Systems in the Micro-electronic Age, D. Michie, ed., Edinburgh Univ. Press, Edinburgh, 1979, pp. 3-25.
12. R. Fikes and N. Nilsson, Strips: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971), 189-208.
13. L. Getoor and B. Taskar, eds, Introduction to Statistical Relational Learning, MIT Press, Cambridge, MA, 2007.
14. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I, Monats. Math. Phys. 32 (1931), 173-198.
15. I.J. Good, Analysis of the machine chess game, in: Machine Intelligence 4, B. Meltzer and D.Michie, eds, Edinburgh Univ. Press, 1969, pp. 267-270.
16. J. Good, D. Michie and T. Geoffrey, General report on Tunny: with emphasis on statistical methods, Bletchley Park Report HW 25/4, HW 25/5, UK Public Records Office, London, 1945.
17. A. Hodges, The Enigma of Intelligence, Unwin Paperbacks, Hemel Hempstead, 1985.
18. S. Isard and H.C. Longuet-Higgins, Question-answering in English, in: Machine Intelligence 6, B. Meltzer and D. Michie, eds, Edinburgh Univ. Press, 1971, pp. 243-254.
19. K. Konolige, A first-order formalisation of knowledge and action for a multi-agent planning system, in: Machine Intelligence 10, J.E. Hayes, D. Michie and Y.-H. Pao, eds, Ellis Horwood, Chichester, UK, 1982, pp. 41-72.
20. R.A. Kowalski, Logic for Problem Solving, North-Holland,1980.
21. D. Luckham, The resolution principle in theorem-proving, in: Machine Intelligence 1, N.L. Collins and D. Michie, eds, Oliver and Boyd, Edinburgh, 1967, pp. 47-61.
22. J. McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, CACM 3(4) (1960), 184-195.
23. R.S. Michalski, A theory and methodology of inductive learning, in: Machine Learning: An Artificial Intelligence Approach, R. Michalski, J. Carbonnel and T. Mitchell, eds, Tioga, Palo Alto, CA, 1983, pp. 83-134.
24. R.S. Michalski and R.L. Chilausky, Learning by being told and learning from examples: an experimental comparison of the two methods of knowledge acquisition in the context of developing an expert system for soybean disease diagnosis, International Journal of Policy Analysis and Information Systems 4(2) (1980), 125-161.
25. D. Michie, Strategy-building with the graph traverser, in: Machine Intelligence 1, N.L. Collins and D. Michie, eds, Oliver and Boyd, Edinburgh, 1967, pp. 135-152.
26. S.H. Muggleton (ed.), Inductive Logic Programming, Academic Press, 1992.
27. S.H. Muggleton, Inductive logic programming, New Generation Computing 8(4) (1991), 295-318.
28. S.H. Muggleton and L. De Raedt, Inductive logic programming: Theory and methods, Journal of Logic Programming 19, 20 (1994), 629-679.
29. S.H. Muggleton, L. De Raedt, D. Poole, I. Bratko, P. Flach and K. Inoue, ILP turns 20: biography and future challenges, Machine Learning 86(1) (2011), 3-23.
30. S.H. Muggleton, D. Lin, D. Pahlavi and A. Tamaddoni-Nezhad, Meta-interpretive learning: application to grammatical inference, Machine Learning (2013), published online.
31. A. Newell, J.C Shaw and H.A. Simon, Report on a general problem-solving program, in: Proceedings of the International Conference on Information Processing, 1959, pp. 256-264.
32. N.J. Nilsson, Shakey the robot, Technical Note 323, SRI International,1984.
33. G.D. Plotkin, Automatic methods of inductive inference, PhD thesis, Edinburgh University, August 1971.
34. L.G.Roberts, Machine Perception of Three-Dimensional Solids, Garland Publishing, New York, 1963.
35. J.A. Robinson, A machine-oriented logic based on the resolution principle, JACM 12(1) (1965), 23-41.
36. E. Sandewall, Representing natural language information in predicate calculus, in: Machine Intelligence 6, B. Meltzer and D. Michie, eds, Edinburgh Univ. Press, 1971, pp. 255-280.
37. R.C. Schank and G. Dejong, Purposive understanding, in: Machine Intelligence 9, J.E. Hayes, D. Michie and L.I. Mikulich, eds, Ellis Horwood, 1979, pp. 459-465.
38. J.J. Scott, A chess-playing program, in: Machine Intelligence 4, B. Meltzer and D.Michie, eds, Edinburgh Univ. Press, Edinburgh, 1969, pp. 255-266.
39. C.E. Shannon, A mathematical theory of communication, Bell System Technical Journal 27 (1948), 379-423.
40. E.Y. Shapiro, Algorithmic Program Debugging, MIT Press,1983.
41. E.H. Shortliffe and B. Buchanan, A model of inexact reasoning in medicine, Mathematical Biosciences 23 (1975), 351-379.
42. A. Turing, Computing machinery and intelligence, Mind 59(236) (1950), 435-460.
43. A.M. Turing, On computable numbers, with an application to the entscheidungsproblem, Proceedings of the London Mathematical Society 42 (1936), 230-265.
44. A.M. Turing, Intelligent machinery, in: Machine Intelligence 5, B. Meltzer and D. Michie, eds, Edinburgh Univ. Press, Edinburgh, 1969, pp. 3-23. (Written in September 1947 and submitted in 1948 to the National Physical Laboratory.)
45. L.G. Valiant, A theory of the learnable, Communications of the ACM 27 (1984), 1134-1142.
46. D.H.D. Warren, L.M. Pereira and F. Pereira, Prolog - the language and its implementation compared with lisp, ACM SIGART Bulletin 64 (1977), 109-115.