1

Alan Turing and the development of Artificial Intelligence

, Hilbert at the 1928 International Mathematical Congress. Hilbert presented three open questions During the centennial year of his birth for logic and mathematics. Was mathematics (1912-1954) has been widely celebrated as having laid 1. complete in the sense that any mathematical the foundations for Computer Science, Automated De- assertion could either be proved or disproved, cryption, Systems Biology and the Turing Test. In this 2. consistent in the sense that false statements paper we investigate Turing’s motivations and expec- tations for the development of Machine Intelligence, as could not be derived by a sequence of valid expressed in his 1950 article in Mind. We show that steps and many of the trends and developments within AI over 3. decidable in the sense that there exists a def- the last 50 years were foreseen in this foundational pa- inite method to decide the truth or falsity of per. In particular, Turing not only describes the use every mathematical assertion. of Computational Logic but also the necessity for the development of in order to achieve Within three years Kurt G¨odel [13] had shown human-level AI within a 50 year time-frame. His de- that not even the axoims of arithmetic are both scription of the Child Machine (a machine which learns complete and consistent and by 1937 both Alonzo like an infant) dominates the closing section of the pa- Church [5] and Alan Turing [43] had demonstrated per, in which he provides suggestions for how AI might the undecidability of particular mathematical as- be achieved. Turing discusses three alternative sug- sertions. gestions which can be characterised as: 1) AI by pro- While G¨odel and Church had depended on gramming, 2) AI by ab initio machine learning and 3) demonstrating their results using purely math- AI using logic, probabilities, learning and background ematical calculi, Turing had taken the unusual knowledge. He argues that there are inevitable limi- route of considering mathematical proof as an ar- tations in the first two approaches and recommends tifact of human reasoning. He thus considered a the third as the most promising. We compare Turing’s physical machine which emulated a human math- three alternatives to developments within AI, and con- clude with a discussion of some of the unresolved chal- ematician using a pen and paper together with a lenges he posed within the paper. series of instructions. Turing then generalised this notion to a universal machine which could emu- Keywords: Alan Turing, Artificial Intelligence, Ma- chine Intelligence late all other computing machines. He used this construct to show that certain functions cannot be computed by such a universal machine, and conse- 1. Introduction quently demonstrated the undecidability of asser- tions associated with such functions. In this section we will first review relevant parts At the heart of Turing’s universal machine is of the early work of Alan Turing which pre-dated a model of human calculation. It was this choice his paper in Mind [42]. which set the scene for later discussions on the degree to which computers might be capable of 1.1. Early work: the Entscheidungsproblem more sophisticated human-level reasoning. Turing’s initial investigations of computation stemmed from the programme set out by David 1.2.

*Corresponding author: Stephen Muggleton, Department The outbreak of the Second World War provided of Computing, . Turing with an opportunity and resources to de-

AI Communications ISSN 0921-7126, IOS Press. All rights reserved 2 S. Muggleton / Turing and the development of AI sign and test a machine which would emulate hu- the building of machines designed to carry out man reasoning. Acting as the UK’s main wartime this or that complicated task. He was now fas- decryption centre, Bletchley Park had recruited cinated with the idea of a machine that could many of the UK’s best mathematicians in an at- learn. tempt to decode German military messages. By 1940 the Bombe machine, designed by Turing and Welchman [7], had gone into operation and was ef- 2. Turing’s 1950 paper in Mind ficiently decrypting messages using methods pre- viously employed manually by human decoders. In keeping with Turing’s background in Mathemati- 2.1. Structure of the paper cal Logic, the Bombe design worked according to a reductio ad absurdum principle which simplified The opening sentence of Turing’s 1950 paper the hypothesis space of 263 possible settings for the [42] declares Enigma machine to a small number of possibilities I propose to consider the question, “Can ma- based on a given set of message transcriptions. chines think?” The hypothesis elimination principle of the Bombe was later refined in the design of the Colos- The first six sections of the paper provide a philo- sus I and II machines. The Tunny report [15] (de- sophical framework for answering this question. classified by the UK government in 2000), shows These sections are briefly summarised below. that one of the key technical refinements of Colos- sus was the use of Bayesian reasoning to order the 1. The Imitation Game. Often referred to as search through the space of hypothetical settings the “Turing test”, this is a form of parlour for the Lorenz encryption machine. This combi- game involving a human interrogator who al- nation of logical hypothesis generation tied with ternately questions a hidden computer and a Bayesian evaluation were later to become central hidden person in an attempt to distinguish to approaches used within Machine Learning (see the identity of the respondents. The Imita- Section 5). Indeed strong parallels exist between tion Game is aimed at providing an objective decryption tasks on the one hand, which involve test for deciding whether machines can think. hypothesising machine settings from a set of mes- 2. Critique of the New Problem. Turing dis- sage transcriptions and modern Machine Learning cusses the advantages of the game for the pur- tasks on the other hand, which involve hypothesis- poses of deciding whether machines and hu- ing a model from a set of observations. Given their mans could be attributed with thinking on grounding in the Bletchley Park decryption work an equal basis using objective human judge- it is hardly surprising that two of the authors of ment. the Tunny report, (1923-2007) and 3. The Machines Concerned in the Game. Tur- Jack Good (1916-2009), went on to play founding ing indicates that he intends digital comput- roles in the post-war development of Machine In- ers to be the only kind of machine permitted telligence and Subjective Probabilistic reasoning to take part in the game. respectively. In numerous out-of-hours meetings at 4. Digital Computers. The nature of the new Bletchley Park, Turing discussed the problem of digital computers, such as the Manchester machine intelligence with both Michie and Good. machine, is explained and compared to Charles According to Andrew Hodges [16], Turing’s biog- Babbage’s proposals for an Analytical En- rapher gine. These meetings were an opportunity for Alan 5. Universality of Digital Computers. Turing to develop the ideas for chess-playing machines explains how digital computers can emulate that had begun in his 1941 discussions with any discrete-state machine. Jack Good. They often talked about mechani- 6. Contrary Views on the Main Question. Nine sation of thought processes, bringing in the the- traditional philosophical objections to the ory of probability and weight of evidence, with proposition that machines can think are in- which Donald Michie was by now familiar. . . . troduced and summarily dismissed by Tur- He (Turing) was not so much concerned with ing. S. Muggleton / Turing and the development of AI 3

2.2. Learning machines - Section 7 of Turing would be a very practicable possibility even by paper present techniques. It is probably not necessary to increase the speed of operations of the ma- The task of engineering software which ad- chines at all. Parts of modern machines which dresses the central question of Turing’s paper have can be regarded as analogs of nerve cells work dominated Artificial Intelligence research over the about a thousand times faster than the lat- last sixty years. In the final section of the 1950 ter. This should provide a “margin of safety” paper Turing addresses the motivation and possi- which could cover losses of speed arising in ble approaches for such endeavours. His transition many ways. Our problem then is to find out from the purely philosophical nature of the first how to programme these machines to play the six sections of the paper is marked as follows. game. At my present rate of working I produce The only really satisfactory support that can about a thousand digits of programme a day, be given for the view expressed at the begin- so that about sixty workers, working steadily ning of section 6, will be that provided by wait- through the fifty years might accomplish the ing for the end of the century and then doing job, if nothing went into the wastepaper bas- the experiment described. But what can we say ket. Some more expeditious method seems de- in the meantime? sirable. Turing goes on to discuss three distinct strategies In retrospect it is amazing that Turing managed to which might be considered capable of achieving a foresee that “Advances in engineering” would lead thinking machine. These can be characterised as to computers with a Gigabyte of storage by the follows: 1) AI by programming, 2) AI by ab initio end of the twentieth century. It is also noteworthy machine learning and 3) AI using logic, probabil- that Turing suggests that in terms of hardware, it ities, learning and background knowledge. In the is memory capacity rather than processing speed next three sections we discuss these strategies of which will be critical. Turing in relation to various phases of AI research However, the final sentence of the quote above as it has been conducted over the past half century. indicates that Turing could already foresee that manual composition of a program which could pass the Turing test was not the most “expeditious” 3. Version 1: AI by programming [1960s-1980s] method, despite the fact that a dedicated group of around “sixty” programmers might complete the 3.1. Storage capacity argument task within “fifty years”” if “nothing went into the wastepaper basket”. Turing must already have Turing considers an argument concerning the been accutely aware, from his work with the early memory requirements for programming a digital pilot ACE computer, that plenty goes in the waste computer with similar capacity to a human being. basket in the process of debugging computer pro- As I have explained, the problem is mainly one grams. of programming. Advances in engineering will have to be made too, but it seems unlikely that 3.2. Programming approach to AI and the these will not be adequate for the requirements. Machine Intelligence series Estimates of the storage capacity of the brain vary from 1010 to 1015 binary digits. I incline Turing’s influence on the development of AI to the lower values and believe that only a very from the 1960s to the 1980s is particularly evi- small fraction is used for the higher types of dent in the Machine Intelligence book series, which thinking. Most of it is probably used for the re- acted as a vanguard of cutting edge AI research tention of visual impressions, I should be sur- during this period. The series Executive Editor, prised if more than 109 was required for satis- Donald Michie has already been mentioned as factory playing of the imitation game, at any one of Turing’s Bletchley colleagues. Michie was rate against a blind man. (Note: The capac- also the founder of Europe’s first Department of ity of the Encyclopaedia Britannica, 11th edi- Artificial Intelligence in the 1960s in Edinburgh, tion, is 2 × 109). A storage capacity of 107, and later also founded the (an 4 S. Muggleton / Turing and the development of AI

AI research institute) in the 1980s in Glasgow. Physical perception The 1960s-1980s witnessed a Michie specifically chose topics for the Machine number of early and bold attempts to write pro- Intelligence workshops which were closely related grams which could recognise three-dimensional ob- to those which he and Jack Good had discussed jects within a digital image (eg [19,3].) However, with Turing during the war. Indeed Jack Good these were generally limited to analysis of simple was a frequent contributor to the series on Turing- polygons and it was unclear how they could be inspired topics such as Computer Chess [14]. To extended to recognise real-world objects such as open the Machine Intelligence 5 volume Michie se- trees, cars or people. lected “Intelligent machinery” [44], a previously In the same period considerable advances were unpublished article, in which Turing discussed the made in natural language generation and under- idea of designing intelligent robots which could standing (eg [35,36,37]). Early systems directly ad- “roam the countryside” and learn from their expe- dressed one of the key assumptions of Turing’s imi- rience. tation game, by supporting answering of questions Turing’s Version 1 Programming approach to posed in natural language. However, just as with Artificial Intelligence was the dominating paradigm the initial attempts at computer vision, these nat- for Artificial Intelligence research up until the mid- ural language systems were limited by the com- 1980s. Research during this period can largely be plexity of grammars provided by their program- divided into broad areas associated with 1) Rea- mers. soning, 2) Physical perception and 3) Physical ac- tion. Physical action As mentioned previously Tur- ing [44] had discussed the idea of intelligent ma- Reasoning Simon and Newell’s General Prob- chines which could roam the countryside, learning lem Solver (GPS) [30] was an early and influ- for themselves. Probably the best known mobile ential attempt to program a universal problem robotics project from the early years was Stan- solver which could be applied to a variety of for- ford’s Shakey project (1966-1972) [31]. By con- mal symbolic reasoning problems such as theo- trast, in the Edinburgh Freddy assembly robot rem proving, geometry and chess playing. It was [2,1] the robot arm and associated digital camera clear that although GPS could solve simple prob- remained in a fixed position while a platform con- lems, with more complex tasks, its reasoning was taining sequentially assembled parts was directed rapidly swamped by the combinatorics of the to move past it by the computer. search. Throughout the 1960s-1980s a variety of other more specific approaches were taken to the problems of improving the efficiency of search (eg 4. Version 2: AI by ab initio machine learning [24,9]) and planning (eg [8,11,17]). Additionally a variety of more special purpose techniques were de- In his 1950s paper Turing had already antici- veloped for both theorem proving (eg [34,20]) and pated the difficulties of developing AI by manually chess playing (eg [38,14]). programming a digital computer. His suggested During the same period, attempts to address remedy was that machines must learn in the same the difficulties, foreseen by Turing, of writing ef- way as a human child. fective and efficient AI programs led to the rise of a number of high-level languages. The methodolo- Instead of trying to produce a programme to gies on which these were based varied from the use simulate the adult mind, why not rather try to of λ-calculus (eg LISP) [21] to the development produce one which simulates the child’s? If this of stack-based languages (eg POP1) [6] as well as were then subjected to an appropriate course languages based on first-order predicate calculus of education one would obtain the adult brain. (eg Prolog) [46]. The approach of heuristic pro- Presumably the child brain is something like gramming, developed in systems such as Dendral a notebook as one buys it from the station- [4] and MYCIN [41], used constraints in the form ers. Rather little mechanism, and lots of blank of rules to produce systems which could reason at sheets. (Mechanism and writing are from our the level of human experts. These expert systems point of view almost synonymous.) Our hope became a key demonstrator for the achievements is that there is so little mechanism in the child of Artificial Intelligence in the early 1980s. brain that something like it can be easily pro- S. Muggleton / Turing and the development of AI 5

grammed. The amount of work in the educa- Turing’s knowledge of information theory [39] had tion we can assume, as a first approximation, led him to anticipate some of the limitations later to be much the same as for the human child. uncovered in the 1980s by Valiant’s theory of the learnable [45]. That is, effective ab initio machine 4.1. The ab initio Machine Learning movement learning is necessarily confined to the construction [1980s-1990s] of relatively small chunks of knowledge. However, Valiant also demonstrated that the expected accu- racy of the learned knowledge can be arbitrarily During the 1970s the success of the expert sys- high given sufficient examples. So, unfortunately tems movement (see Section 3.2) became increas- we have to return to Turing’s original question of ingly stifled by the cost of involving experts in the 12 how to programme the 10 bits of memory re- development and maintenance of large rule-based quired to achieve human-level intelligence. systems. This problem became known as “Feigen- baum’s bottleneck” [10]. However, early experi- ments with Meta-Dendral [4], and later Michalski’s 5. Version 3: AI using logic, probabilities, Soy Bean expert system [23], showed that rules learning and background knowledge could be automatically learned by machines from observations. Moreover, Michalski demonstrated Turing’s answer to the problems which beset that not only was this a more efficient method of ab initio machine learning follows immediately on building and maintaining expert systems, but it from the quote given in the previous Section. could also result in rules which were more accurate than existing human experts. This resulted in the It is necessary therefore to have some other start of a new series of workshops called Machine “unemotional” channels of communication. If Learning [22] led by Ryszard Michalski, Jaime Car- these are available it is possible to teach a ma- bonell and Tom Mitchell. The workshops, which chine by punishments and rewards to obey or- later developed into the International Conference ders given in some language, e.g., a symbolic on Machine Learning, were originally based on the language. These orders are to be transmitted format of Donald Michie’s Machine Intelligence through the “unemotional” channels. The use workshops. of this language will diminish greatly the num- ber of punishments and rewards required. 4.2. The limits of positive and negative examples Turing’s claim is that by employing an “unemo- tional” symbolic language it should be possible to A common feature of systems developed within reduce the number of examples required for learn- the standard Machine Learning framework is that, ing. in Turing’s words, learning is conducted ab initio (Turing’s phrase is from “blank sheets”) using a 5.1. Logic-based learning with background set of vectors associated with positive and negative knowledge classifications. Turing provides a mathematically- inspired warning about such an approach. The obvious question is the appropriate form and function of the symbolic language to be em- The use of punishments and rewards can at ployed. Again Turing’s suggestions follow immedi- best be a part of the teaching process. Roughly ately on from the last quote. speaking, if the teacher has no other means of communicating to the pupil, the amount of in- Opinions may vary as to the complexity which formation which can reach him does not exceed is suitable in the child machine. One might the total number of rewards and punishments try to make it as simple as possible consistent applied. By the time a child has learnt to re- with the general principles. Alternatively one peat “Casabianca” he would probably feel very might have a complete system of logical in- sore indeed, if the text could only be discov- ference “built in”. In the latter case the store ered by a “Twenty Questions” technique, every would be largely occupied with definitions and “NO” taking the form of a blow. propositions. 6 S. Muggleton / Turing and the development of AI

Alan Robinson’s introduction [34] of resolution- It is in the nature of a Universal Turing machine based automatic theorem proving in 1965 led to that it acts as a meta-logical interpreter. It is this an explosion of interest in the use of first-order property which allows rules to be treated as data, predicate calculus as a representation for rea- allowing them to be altered and updated. A recent soning within AI systems. In line with Turing’s paper [27] by the author demonstrates that the idea of using “built-in” logical definitions, Gordon meta-interpretive nature of the Prolog Logic Pro- Plotkin’s [32] used resolution theorem prov- gramming language can be used to efficiently sup- ing as the context for investigating a form of ma- port the introduction of auxilliary ‘invented‘’ pred- chine learning which involves hypothesising logical icates and recursion within the context of learning axioms from observations and background knowl- complex grammars. edge. Within the era of Logic Programming [18] in the 1980s, these early investigations by Plotkin were taken up again by Shapiro [40] in the context 6. The challenge of “super-criticality” of using inductive inference for automatically re- vising Prolog programs. However, it was not until The previous sections indicate that many of the the 1990s that the school of Inductive Logic Pro- issues which Turing discusses in the last section of the paper have since been explored in the AI gramming [25,26,28] started to investigate this ap- literature. However, one of the Machine Learning proach in depth as a highly expressive Machine challenges which Turing mentions is still entirely Learning paradigm. A recent survey of the field open. [29] points to the maturity of theory, implementa- tion and applications in this area. Another simile would be an atomic pile of less than critical size: an injected idea is to corre- spond to a neutron entering the pile from with- 5.2. Uncertainty and probabilistic learning out. Each such neutron will cause a certain dis- turbance which eventually dies away. If, how- Turing makes some interesting observations con- ever, the size of the pile is sufficiently increased, the disturbance caused by such an incoming cerning the uncertainty of learned rules. neutron will very likely go on and on increas- Processes that are learnt do not produce a hun- ing until the whole pile is destroyed. Is there dred per cent certainty of result; if they did a corresponding phenomenon for minds, and is they could not be unlearnt. there one for machines? There does seem to be one for the human mind. The majority of them Over the last decade there has been increasing seem to be ”subcritical,” i.e., to correspond in interest in including probablities into Inductive this analogy to piles of subcritical size. An idea Logic Programming [33,12]. These probability val- presented to such a mind will on average give ues are used to give an indication of the uncer- rise to less than one idea in reply. A smallish tainty of learned rules. Turing also makes the fol- proportion are supercritical. An idea presented lowing point concerning the ephemeral nature of to such a mind may give rise to a whole ”the- learning. ory” consisting of secondary, tertiary and more The idea of a learning machine may appear remote ideas. Animals’ minds seem to be very paradoxical to some readers. How can the rules definitely subcritical. Adhering to this analogy of operation of the machine change? They we ask, ”Can a machine be made to be super- should describe completely how the machine critical?” will react whatever its history might be, what- Turing’s challenge to make a machine which is ever changes it might undergo. The rules are “super-critical” seems to only makes sense in the thus quite time-invariant. This is quite true. context of an extreme setting of the Version 3 ap- The explanation of the paradox is that the rules proach (see Section 5) to Artificial Intelligence. which get changed in the learning process are The situation in which a new observation “leads to of a rather less pretentious kind, claiming only a theory consisting of secondary, tertiary and more an ephemeral validity. remote ideas” requires both an alert mind, but S. Muggleton / Turing and the development of AI 7 also one which is abundantly stocked with relevant Acknowledgements background knowledge. Providing such abundant background knowledge to a machine is challenging, The author would like to thank Donald Michie though the advent of the World-Wide-Web offers and other colleagues for their inspiring discussions an obvious source, as long as the available infor- on Alan Turing’s views on Machine Intelligence mation can be accessed for purposes of inductive and Machine Learning. The author would also like reasoning. to thank the Royal Academy of Engineering for funding his present 5 year Research Chair.

7. Conclusion References

[1] A.P. Ambler, H.G. Barrow, C.M. Brown, R.M. Turing closes the Mind paper with the following Burstall, and R. J. Popplestone. A versatile system for statement. computer controlled assembly. Artificial Intelligence, 6(2):129–156, 1975. We can only see a short distance ahead, but we [2] H.G. Barrow and S.H. Salter. Design of low-cost equip- can see plenty there that needs to be done. ment for cognitive robot research. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pages 555– As the present article indicates, Turing’s vision 566. Edinburgh University Press, 1969. was far from myopic. Indeed he foresaw many of [3] H.G. Barrow and J.M. Tenenbaum. Interpreting line the key issues which dominated Artificial Intelli- drawings as three-dimensional surfaces. Artificial In- gence research over the last fifty years. However, telligence, 17:75–116, 1981. it could still be argued that there has been no [4] B. Buchanan, E. Feigenbaum, and N. Sridharan. Heuristic theory formation: data interpretation and convincing demonstration of a computer passing rule formation. In B. Meltzer and D. Michie, editors, the Turing test to date. Modern computers are Machine intelligence 7, pages 267–290. Edinburgh Uni- typically not well-equipped with deep natural lan- versity Press, 1972. guage facilities capable of playing the kind of par- [5] A. Church. An unsolvable problem of elementary num- lour game which Turing describes. On the other ber theory. American Journal of Mathematics, 58:345– 363, 1936. hand, when most people these days are faced with [6] E. Dale and D. Michie. Pop-1: an on-line language. an arcane (or even simple) question which they 1968. cannot immediately solve they turn to the closest [7] D. Davies. The Bombe a remarkable logic machine. computer or smart phone to find an answer. The Cryptologia, 23(2):108–138, 1999. implicit assumption is that the collective power [8] J.E. Doran. Planning and robots. In B. Meltzer and of the World Web Web provides a greater degree D. Michie, editors, Machine Intelligence 5, pages 519– 532. Edinburgh University Press, 1969. of intelligence than that provided by asking the [9] E.W. Elcock and D. Michie. Achieving several goals same question of whichever person is closest to simultaneously. In E.W. Elcock and D. Michie, editors, hand. Computers instantly search through volu- Machine Intelligence 8, pages 94–136. Ellis Horwood, minous encylopedias, find objects in images, learn Edinburgh, 1977. patterns of user behaviour and provide reasonable [10] E.A. Feigenbaum. Themes and case studies of knowl- translations of text in foriegn languages. Many of edge engineering. In D. Michie, editor, Expert Systems in the Micro-electronic Age, pages 3–25. Edinburgh the techniques used in these tasks grew out of the University Press, Edinburgh, 1979. research carried out by Artificial Intelligence labo- [11] R. Fikes and N. Nilsson. Strips: a new approach to ratories. We have Turing to thank not only for the the application of theorem proving to problem solving. concept of the Universal Turing machine, which Artificial Intelligence, 2:189–208, 1971. gave rise to the computer industry, but also his [12] L Getoor and B. Taskar, editors. Introduction to Sta- visions of intelligent machines, which inspired the tistical Relational Learning. MIT Press, Cambridge, Massachusetts, 2007. development of much of the software behind the [13] K. G¨odel. Uber¨ formal unentscheidbare S¨atze der Prin- digital assistants which we find around us every- cipia Mathematica und verwandter System I. Monats. where in the modern world. Math. Phys., 32:173–198, 1931. 8 S. Muggleton / Turing and the development of AI

[14] I.J. Good. Analysis of the machine chess game. In [30] A. Newell, J.C Shaw, and H.A. Simon. Report on a B. Meltzer and D. Michie, editors, Machine Intelli- general problem-solving program. In Proceedings of the gence 4, pages 267–270. Edinburgh University Press, International Conference on Information Processing, 1969. pages 256–264, 1959. [15] J. Good, D. Michie, and T. Geoffrey. General re- [31] N.J. Nilsson. Shakey the robot. Technical Note 323, port on Tunny: with emphasis on statistical methods. SRI International, 1984. Bletchley Park Report HW 25/4, HW 25/5, UK Public [32] G.D. Plotkin. Automatic Methods of Inductive Infer- Records Office, London, 1945. ence. PhD thesis, Edinburgh University, August 1971. [16] A. Hodges. The enigma of intelligence. Unwin Paper- [33] L. De Raedt, P. Frasconi, K. Kersting, and S.H. Mug- backs, Hemel Hempstead, 1985. gleton, editors. Probabilistic Inductive Logic Program- [17] K. Konolige. A first-order formalisation of knowledge ming. Springer-Verlag, Berlin, 2008. LNAI 4911. and action for a multi-agent planning system. In J.E. [34] J.A. Robinson. A machine-oriented logic based on Hayes, D. Michie, and Y-H Pao, editors, Machine In- the resolution principle. JACM, 12(1):23–41, January telligence 10, pages 41–72. Ellis Horwood, Chichester, 1965. UK, 1982. [35] Isard S. and Longuet-Higgins H.C. Question-answering [18] R.A. Kowalski. Logic for Problem Solving. North Hol- in english. In B. Meltzer and D. Michie, editors, Ma- land, 1980. chine Intelligence 6, pages 243–254. Edinburgh Uni- [19] L.G.Roberts. Machine Perception of Three- versity Press, 1971. Dimensional Solids. Garland Publishing, New York, [36] E. Sandewall. Representing natural language informa- 1963. tion in predicate calculus. In B. Meltzer and D. Michie, [20] D. Luckham. The resolution principle in theorem- editors, Machine Intelligence 6, pages 255–280. Edin- proving. In N.L. Collins and D. Michie, editors, Ma- burgh University Press, 1971. chine Intelligence 1, pages 47–61. Oliver and Boyd, [37] R.C. Schank and G. Dejong. Purposive understanding. Edinburgh, 1967. In J.E. Hayes, D. Michie, and L.I. Mikulich, editors, [21] J. McCarthy. Recursive functions of symbolic ex- Machine Intelligence 9, pages 459–465. Ellis Horwood, pressions and their computation by machine, part i. 1979. CACM, 3(4):184–195, 1960. [38] J.J. Scott. A chess-playing program. In B. Meltzer and [22] R.S. Michalski. A theory and methodology of in- D. Michie, editors, Machine Intelligence 4, pages 255– ductive learning. In R. Michalski, J. Carbonnel, and 266. Edinburgh University Press, Edinburgh, 1969. T. Mitchell, editors, Machine Learning: An Artificial [39] C.E. Shannon. A mathematical theory of communica- Intelligence Approach, pages 83–134. Tioga, Palo Alto, tion. Bell System Technical Journal, 27:379–423, 1948. CA, 1983. [40] E.Y. Shapiro. Algorithmic program debugging. MIT [23] R.S Michalski and R.L. Chilausky. Learning by being Press, 1983. told and learning from examples: an experimental com- [41] E.H. Shortliffe and B. Buchanan. A model of inex- parison of the two methods of knowledge acquisition act reasoning in medicine. Mathematical Biosciences, in the context of developing an expert system for soy- 23:351–379, 1975. bean disease diagnosis. International Journal of Pol- icy Analysis and Information Systems, 4(2):125–161, [42] A. Turing. Computing machinery and intelligence. Mind 1980. , 59(236):435–460, 1950. [43] A.M. Turing. On computable numbers, with an ap- [24] D. Michie. Strategy-building with the graph traverser. plication to the entscheidungsproblem. Proceedings of In N.L. Collins and D. Michie, editors, Machine Intel- the London Mathematical Society, 42:230–265, 1936. ligence 1, pages 135–152. Oliver and Boyd, Edinburgh, 1967. [44] A.M. Turing. Intelligent machinery. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pages [25] S.H. Muggleton. Inductive Logic Programming. New 3–23. Edinburgh University Press, Edinburgh, 1969. Generation Computing, 8(4):295–318, 1991. Written in September 1947 and submitted in 1948 to [26] S.H. Muggleton, editor. Inductive Logic Programming. the National Physical Laboratory. Academic Press, 1992. [45] L.G. Valiant. A theory of the learnable. Communica- [27] S.H. Muggleton, D. Lin, D. Pahlavi, and tions of the ACM, 27:1134–1142, 1984. A. Tamaddoni-Nezhad. Meta-interpretive learning: application to grammatical inference. In Proceedings [46] D.H.D Warren, L.M. Pereira, and F. Pereira. Prolog of the 22nd International Conference on Inductive - the language and its implementation compared with ACM SIGART Bulletin Logic Programming, 2012. To appear. lisp. , 64:109–115, 1977. [28] S.H. Muggleton and L. De Raedt. Inductive logic pro- gramming: Theory and methods. Journal of Logic Pro- gramming, 19,20:629–679, 1994. [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):3–23, 2011.