Knowledge

Turing Institute

Source 📝

130: 519:, a former member of the Turing team stated, "Someone decided that Britain only really needed three computers as there wasn't much future in it! Not for the last occasion, at a time when Scotland ruled the roost globally, the plug was pulled." Faced with the decline of heavy industry, Britain's failure to invest in cutting-edge science that could prove economically transformative only began to be reversed in the late 80s, in reaction to Japanese advances in software design. 304: 51: 205: 288: 296: 377:(SWIFT). The worldwide-web-like system was launched in 1988. Its success as a global hypertext resource for its users led to SWIFT sponsoring the Turing Memorial Series of Lectures. The close working relationship came to an end, in part, when a key member of the SWIFT team, Arnaud Rubin, was killed by a terrorist bomb on 241:
development centres around the world. Library affiliates logged into the system by dial-up and received weekly summaries of newly added items that could be ordered or downloaded as abstracts. The publisher Addison-Wesley developed a close working relationship and published the Turing Institute Press series of books.
513:: A General Survey: British Science Research Council) an evaluation of academic research on AI, formed the basis for UK government funding and support, stated "in no part of the field have discoveries made so far produced the major impact that was then promised". Therefore AI research was to be reduced. 369:
of Kassel University, Peter Elzer of Clausthal University and Asea Brown Boveri) to create intelligent interfaces for process control operators. This work had a major impact on process control interface design. The initial pilot phase report (Alty, Elzer et al., 1985) was widely used and cited. Many
195:
Professor Jim Alty moved his Man Machine Interaction (HCI) group (later the Scottish HCI Centre) to the Turing Institute in 1984. The move included a significant expansion of the postgraduate school at the institute. Alty joined the Turing Institute Board and became chief executive. The HCI Centre
271:
after it developed a machine learned rule-based system to improve the efficiency of a nuclear power plant. The research funding was used to launch the Freddy 3 advanced robotics project aimed at studying robot learning and robot social interaction. Barry Shepherd developed much of the Freddy 3
240:
seconded researchers to develop new industrial AI applications. The Turing Institute Library was formed in 1983 and grew by selling access by subscription to its information services. The library developed a large searchable electronic database of content from most of the main AI research and
311:
The institute undertook several projects for the US military (e.g. personnel allocation for the US Office of Naval Research), credit card scoring for a South African bank and seed sorting for the Scottish Agricultural Sciences Agency. Other large projects included the
1841:. European Strategic Programme for Research and Development in Information Technology. Vol. 4. Directorate General XIll Telecommunications, Information Industries and Innovation Commission of the European Communities. 1988. pp. 38–39. 429:
Throughout the 1980s, the Turing Institute Vision Group developed multi-scale tools and applications. A series of 3D industrial applications was developed and deployed using the multi-scale signal matching (MSSM) technology, specifically:
370:
research papers were produced. A follow-on large ESPRIT research project was PROMISE (Process Operators Multimedia Intelligent Support Environment) working with DOW Benelux (Netherlands), Tecsiel (Italy) and Scottish Power (Scotland).
2570: 313: 365:
In 1986, Alty's HCI group won a major ESPRIT 1 contract to investigate the use of knowledge based systems in process control interfaces called GRADIENT (Graphical Intelligent Dialogues, P600), (with
374: 247:
Throughout its existence, the institute organised a wide range of workshops and international conferences. Notable among these were the Turing Memorial Lecture Series whose speakers included
2654: 259:. Major conferences included The British Association's 147th conference in 1985, BMVC'91, IEEE International Symposium on Intelligent Control (1992) and the Machine Intelligence Series. 487:
Various other robot projects were undertaken at the Turing Institute where key researchers included Paul Siebert, Eddie Grant, Paul Grant, David Wilson, Bing Zhang and Colin Urquhart.
1638: 2664: 346:. Similar approaches based on pole-balancing automata were used to control submersible vehicles and develop a control system for helicopters carrying sling loads. 2649: 2644: 953: 522:
The technological and commercial empowerment that should have followed was never fulfilled. The institute went out of business in 1994, amid questions in the
2634: 2639: 2230:
Proceedings of the third international conference on Industrial and engineering applications of artificial intelligence and expert systems - IEA/AIE '90
1328: 550: 1292: 272:
software infrastructure. Tatjana Zrimec used the system to investigate how playing robots could develop structured knowledge about their world while
2629: 354:
and was involved in the practical use of machine learning for the generation of expert knowledge. Applications included the discovery of rules for
2330: 1140: 686: 1947: 2590: 2283: 2245: 1708: 1593: 1540: 1506: 1469: 1184: 1150: 1023: 990: 878: 858: 835: 818: 696: 483:
With Sun Microsystems using a stereo pair of miniature cameras to create and re-project a normalised straight-on view for teleconferencing.
468: 1724:
Muggleton, Stephen; King, R. D.; Sternberg, M. J. E. (1992). "Protein Secondary Structure Prediction using logic-based machine learning".
1530: 2659: 719: 2669: 1382: 256: 1459: 1351: 1070: 910: 392:. Several projects concerned the development of new user-interface tools and environments (e.g. GoodNews, HyperNews and HyperLook). 244:
In 1984, Alty wrote a text book which was adopted by many universities and a much-cited paper on expert systems (with Mike Coombs).
1493: 1617:
Michie, Donald (1994). "Building Symbolic Representations of Intuitive Real-time Skills from Performance Data". pp. 385–418.
456: 281: 2012: 1645: 1106: 2329:
Mowforth, Peter; Ashraf Ayoub; Joseph Jin; Kersheed Moos; Tim Niblett; Paul Siebert; Colin Urquhart; David Wray (July 1995).
659: 447: 268: 35: 109:, between 1983 and 1994. The company undertook basic and applied research, working directly with large companies across 30:
This article is about the institute based in Glasgow 1983–1994. For the initiative announced in the 2014 UK budget, see
338:
A similar approach was later used by Danny Pearce to develop qualitative models to control and diagnose satellites for
216:, the institute became an Alvey Journeyman centre for the UK. Under the guidance of Judith Richards, companies such as 133:
Turing Institute Board Meeting 1984. Left to right: Peter Mowforth, Tim Niblett, Lord Balfour, Donald Michie, Jim Alty.
2545: 527: 419: 351: 189: 2110: 957: 636: 1234: 495: 362:) and drug design as well as systems such as CIGOL that were capable of discovering new concepts and hypotheses. 177: 373:
In 1987, the Turing Institute won a project to build a large, scalable, network-available user-manual for the
2300: 2203: 510: 284:
made several visits to the Turing Institute undertaking research in machine learning and advanced robotics.
98: 792: 1618: 1438: 1303: 277: 173: 164:
with a plan to combine research in artificial intelligence with technology transfer to industry. In 1983,
1208: 980: 307:
Danny Pearce using HyperLook to help develop a satellite simulation for the European Space Agency in 1988
2520: 1662:
Hayes-Michie, Jean; Michie, Donald (1998). "Simulator-mediated acquisition of a dynamic control skill".
225: 184:
joined the board along with a growing team of researchers and AI specialists. Notable amongst these was
129: 31: 2341: 2064: 2674: 2144: 491: 161: 1623: 1443: 169: 1576:
Pearce, Danny (1992). "Induction of on-board fault management for remote and autonomous systems".
2251: 1681: 1599: 1273: 567: 462: 2087: 2571:"Obscure research unit in Scotland flying the space shuttle and the invention of the internet" 2501: 2279: 2241: 2132: 2035: 1921: 1792: 1741: 1704: 1589: 1536: 1502: 1465: 1180: 1146: 1019: 986: 906: 874: 854: 692: 378: 347: 303: 233: 185: 165: 506:
From 1989 onwards, the company faced financial difficulties that caused it to close in 1994.
418:
Arthur van Hoff left the institute in 1992 and joined Sun Microsystems where he authored the
2233: 2184: 2152: 1913: 1882: 1861: 1782: 1772: 1733: 1673: 1581: 1265: 935: 773: 523: 385: 366: 252: 181: 154: 1437:
Muggleton, Stephen (1996). "Machine intelligibility and the duality principle". p. 8.
1389: 50: 1873:
Johannsen, J.L. & Alty (1991). "Knowledge Engineering for Industrial Expert Systems".
579: 452:
Maxillofacial reconstruction and denture cast digital archiving with Glasgow Dental School
389: 355: 229: 204: 2397: 1664: 1362: 1077: 388:. Sun funded a series of projects where the key institute personnel were Tim Niblett and 121:
developing software as well as providing training, consultancy and information services.
2228:
Shapiro, Jonathan; Peter Mowforth (1990). "Data fusion in 3D through surface tracking".
2148: 1113:. Defence Technical Information Center, US Office of Naval Research: 327. Archived from 2049: 516: 343: 287: 150: 142: 939: 323:
In 1984, the institute worked under contract from Radian Corp to develop code for the
2623: 2188: 2156: 1917: 1886: 1865: 1787: 1760: 1415: 324: 273: 221: 138: 114: 2255: 1685: 1603: 1277: 480:
3D car body shape reconstruction from wax models; Ford Motor Company, Dearbourn, USA
17: 2398:"A versatile camera position measurement systems for virtual reality TV production" 615: 359: 208:
The Turing Institute Library with chief librarian Julia Wilkinson and Colin Lindsay
1902:"Experiments using multimedia interfaces in process control: some initial results" 1811: 1013: 926:
Alty, J.L. & Coombs, M.J. (1984). "Expert Systems: An Alternative Paradigm".
848: 168:
was instrumental in the institute moving to Glasgow where, with support from the
2449: 2270: 408: 146: 2473: 2448:
Mowforth, Peter; Paul Siebert; Jin Zhengping; Colin Urquhart (September 1990).
2367: 2016: 1836: 1114: 594: 276:
used the system to investigate machine learning and control and helped develop
2474:"Economical and Cautious Approaches to Local Path Planning for a Mobile Robot" 1995: 1737: 1557: 1269: 396: 316:
Machine Learning Toolbox developing CN2 and electrophoretic gel analysis with
248: 2605: 2592: 2420: 1972: 1925: 1777: 1585: 2505: 1852:
Alty, J.; Johannsen (1989). "Knowledge Based Dialogue for Dynamic Systems".
868: 1578:
Proceedings of the 1992 IEEE International Symposium on Intelligent Control
1174: 1015:
Proceedings of the 1992 IEEE International Symposium on Intelligent Control
2172: 1796: 1745: 1047: 839: 822: 317: 237: 106: 2237: 1901: 1256:
Mowforth, Peter (1987). "AI and Robotics; Flexibility and Integration".
1677: 739: 423: 412: 403:
to PostScript compiler developed at the institute, and it ran on Sun's
384:
One of the strongest business relationships the institute had was with
160:
The organisation grew out of the Machine Intelligence Research Unit at
102: 73: 327:
auto-lander. The code was developed with an inductive rule generator,
777: 400: 291:
Professor Donald Michie teaching a group of industrial students, 1986
110: 1759:
King, R. D.; Muggleton, S.; Lewis, R. A.; Sternberg, R.J.E. (1992).
295: 2015:. Defence Research Establishment, Ottawa. p. 7. Archived from 302: 294: 286: 213: 203: 128: 118: 1812:"A strategy for constructing new predicates in first order logic" 1416:"Semi-automatic analysis of two-dimensional electrophoretic gels" 299:
Peter Mowforth with the Freddy 3 Advanced Robotics Facility, 1987
764:
Wilkinson, Julia (1986). "Database in Artificial Intelligence".
595:"ARTIFICIAL INTELLIGENCE AT EDINBURGH UNIVERSITY: A PERSPECTIVE" 404: 332: 34:. For the impact initiative at the University of Cambridge, see 2498:
Array tactile sensing: integration, calibration and application
873:. A.P.I.C. Studies in data processing. Turing Institute Press. 2331:"A Three-Dimensional Imaging System for Clinical Applications" 1142:
Developing hypermedia front-ends for robot teleoperation tasks
474: 339: 217: 2131:
Mowforth, Peter; Jan Jelinek; Jin Zhengping (February 1987).
1973:"Turings Legacy: even bigger than you think; a brief history" 196:
and the institute collaborated on a wide range of projects.
461:
Hyper-resolution methods to improve CCTV image quality for
375:
Society for Worldwide Interbank Financial Telecommunication
1900:
Alty, J.L.; Bergan, M.; Craufurd, P.; Dolphin, C (1993).
526:
and bitter recriminations between the scientists and the
426:
browser and helped with the design of the Java language.
2368:"Model Based Tissue Differentiation in MR Brain Images" 1359:
Proceedings of the Fifth European Conference (EWSL-91)
1293:"Applications of Machine Learning and Rule Induction" 1176:
Learning by an autonomous agent in the pushing domain
2457:
Proceedings of the British Machine Vision Conference
1838:
The Project Synopses Advanced Information Processing
1209:"Controlling a black-box simulation of a spacecraft" 490:
In 1990, the Turing Institute organised and ran the
342:
as well as optimising gas flow in the North Sea for
1352:"Rule induction with CN2: some recent improvements" 720:"World First for Scotland in Computer Intelligence" 84: 68: 60: 473:Virtual backgrounds and camera photogrammetry for 2655:Computer science institutes in the United Kingdom 2565: 2563: 1996:"HyperNeWS: an interactive interface design tool" 1329:"Machine vision for statutory seed certification" 1018:. Computer Society Press of the IEEE. July 1992. 411:, while studying at the Turing Institute, ported 2173:"Implementation for noise suppression in images" 2171:Mowforth, Peter; Jin Zhengping (February 1986). 2133:"An appropriate representation for early vision" 446:Scene of crime capture of 3D footprints for the 2202:Jin, Zhengping; Peter Mowforth (January 1989). 1644:. GEC Avionics. 1985. p. 5. Archived from 1291:Pat Langley; Herbert A. Simon (November 1995). 544: 542: 172:, it formed a close working relationship with 8: 1946:Niblett, Tim; Van Hoff A. (September 1989). 928:International Journal of Man-Machine Studies 688:Mathematical Methods for Industrial Problems 267:The institute won research funding from the 55:The Turing Institute, George Square, Glasgow 43: 27:Scottish artificial intelligence laboratory 2481:Proceedings of the Alvey Vision Conference 2065:"HyperLook (aka HyperNeWS (aka GoodNeWS))" 1529:Michie, Donald (1994). Rolf Herken (ed.). 1388:. Robert Gordon University. Archived from 49: 42: 1786: 1776: 1701:Inductive Acquisition of Expert Knowledge 1622: 1442: 1383:"The Machine Learning Toolbox Consultant" 850:Inductive Acquisition of Expert Knowledge 660:"Cooperation creates products for profit" 415:to Unix with HyperLook as its front-end. 137:The Institute was formed in June 1983 by 2204:"A discrete approach to signal matching" 1464:. University of Cambridge. p. 427. 188:who was responsible for work developing 2366:Mowforth, Peter; Jin Zhengping (1989). 2278:. Glasgow: Springer. pp. 387–391. 2272:Design of an anthropomorphic robot head 1100: 1098: 979:Mowforth, Peter, ed. (7 October 1991). 538: 2665:History of the University of Edinburgh 2546:"Column 467-468: The Turing Institute" 832:Structured Induction in Expert Systems 575: 565: 467:High-speed target tracking for the UK 440:Real time robot camera stereo vergence 422:1.0 compiler, the beta version of the 149:with whom Donald Michie had worked at 2521:"No Relay Race on This Olympic Field" 2050:"PDB – ANSI-C to PostScript compiler" 1535:. Springer-Verlag. pp. 434–435. 1350:Clark, Peter; Boswell, Robin (1991). 903:Expert Systems: Concepts and Examples 212:In 1984, following the UK Government 7: 2650:Artificial intelligence laboratories 2645:Organizations disestablished in 1994 2472:Grant, Paul; Peter Mowforth (1989). 905:. Manchester, UK: NCC Publications. 145:and Tim Niblett. It was named after 1532:The fifth Generation's Ubridged Gap 2635:1994 disestablishments in Scotland 2421:"Parallel Vision Stereo Algorithm" 1071:"Applications of Machine Learning" 956:. Turing Institute. Archived from 800:Computer-Aided Engineering Journal 509:A 1973's James Lighthill Report. ( 25: 2640:Organizations established in 1983 2299:Mowforth, Peter (December 1992). 2232:. Vol. 1. pp. 163–168. 1761:"Drug Design by Machine Learning" 1302:. ACM. p. 59. Archived from 1076:. EWSL. p. 1. Archived from 901:Alty, J.L.; Coombs, M.J. (1984). 331:, using training examples from a 2013:"Evaluation of HardSys/HardDraw" 1492:Sadagopan, S. (1 January 1997). 954:"Letter to Professor H.A. Simon" 552:Making Friends with Intelligence 2630:1983 establishments in Scotland 2426:. Glasgow University. p. 1 1994:Pearce, Danny (November 1989). 1948:"Programmed Hypertext and SGML" 1458:Donald Michie (26 April 1990). 1237:. University of New South Wales 1495:Management Information Systems 1461:The Superarticulacy Phenomenon 1: 2519:Willard, Tim (17 July 1991). 2036:"HyperLook Manual Collection" 1639:"Annual Review of Activities" 1139:Kaynak, Okyay (August 1992). 1069:Clark, Peter (October 1994). 1048:"Machine Intelligence Series" 940:10.1016/S0020-7373(84)80004-8 658:Oakley, Brian (2 July 1987). 448:Royal Canadian Mounted Police 36:Turing Gateway to Mathematics 2310:. Machine Vision Association 2189:10.1016/0262-8856(86)90005-3 2157:10.1016/0167-8655(87)90038-9 1918:10.1016/0097-8493(93)90069-L 1887:10.1016/0005-1098(91)90009-Q 1866:10.1016/0005-1098(89)90051-4 1145:. NATA ASI. pp. 74–94. 793:"New AI Information Service" 200:Training and resource centre 2137:Pattern Recognition Letters 1699:Muggleton, Stephen (1990). 1558:"Knowledge Base Validation" 870:Inductive Logic Programming 867:Muggleton, Stephen (1992). 847:Muggleton, Stephen (1990). 815:Knowledge Based Programming 791:Watson, Ian (August 1989). 528:Scottish Development Agency 455:Brain model labelling with 352:inductive logic programming 190:inductive logic programming 170:Scottish Development Agency 2691: 2660:Companies based in Glasgow 2177:Image and Vision Computing 2088:"HyperLook SimCity Manual" 1975:. British Computer Society 1817:. Imperial College, London 1765:Proc. Natl. Acad. Sci. USA 1703:. Turing Institute Press. 1580:. IEEE. pp. 458–462. 853:. Turing Institute Press. 834:. Turing Institute Press. 817:. Turing Institute Press. 549:Lamb, John (August 1985). 29: 2670:University of Strathclyde 2301:"Data Conversion for GIS" 2269:Undbekken, Ketil (1991). 2208:Research Memo TIRM-89-036 1545:– via Google Books. 1518:– via Google Books. 1481:– via Google Books. 1361:: 151–163. Archived from 1270:10.1017/S0263574700015058 1162:– via Google Books. 1105:Blackburn, J. F. (1986). 1035:– via Google Books. 1002:– via Google Books. 863:– via Google Books. 766:Online Information Review 708:– via Google Books. 674:– via Google Books. 562:– via Google Books. 496:University of Strathclyde 395:HyperLook was written in 48: 2500:. The Turing Institute. 1998:. IEEE. pp. 5/1–5/3 1778:10.1073/pnas.89.23.11322 1586:10.1109/ISIC.1992.225135 1563:. IEEE. pp. 3/1–3/4 1235:"Reinforcement Learning" 1173:Zrimec, Tatjana (1993). 1050:. Turing Institute Press 734:– via Google News. 350:and his group developed 269:Westinghouse Corporation 263:Research and development 178:Lord Balfour of Burleigh 2450:"A head called Richard" 2375:Alvey Vision Conference 2011:Dion, Marc (May 1993). 1738:10.1093/protein/5.7.647 1331:. UK Government (DEFRA) 1207:Sammut, Claude (1991). 1179:. ACM. pp. 19–29. 511:Artificial Intelligence 99:artificial intelligence 1906:Computers and Graphics 1556:Pearce, Danny (1991). 1418:. The Turing Institute 1300:Proceedings of the ACM 1111:European Science Notes 1107:"The Turing Institute" 616:"The Turing Institute" 494:with the venue at the 308: 300: 292: 278:reinforcement learning 209: 174:Strathclyde University 134: 2338:University of Glasgow 985:. Springer - Verlag. 306: 298: 290: 207: 132: 32:Alan Turing Institute 1952:The Turing Institute 1810:Muggleton, Stephen. 1651:on 26 February 2014. 1501:. PHI. p. 169. 1083:on 23 September 2015 685:McKee, Sean (1990). 637:"Professor Jim Alty" 492:First Robot Olympics 162:Edinburgh University 95:The Turing Institute 18:The Turing Institute 2602: /  2238:10.1145/98784.98815 2149:1987PaReL...5..175M 1771:(23): 11322–11326. 1726:Protein Engineering 960:on 22 February 2014 469:Ministry of Defence 45: 2606:55.8616°N 4.2499°W 2308:IAPR Workshop 1992 2109:van Hoff, Arthur. 1678:10.1007/BF01179779 1414:van Hoff, Arthur. 463:Strathclyde Police 407:Windowing System. 309: 301: 293: 214:Alvey Report on AI 210: 135: 2525:Los Angeles Times 2347:on 7 January 2014 2285:978-3-540-19715-7 2247:978-0-89791-372-0 2022:on 7 January 2014 1710:978-0-201-17561-5 1595:978-0-7803-0546-5 1542:978-3-211-82637-9 1508:978-81-203-1180-0 1471:978-0-521-35944-3 1395:on 7 January 2014 1381:Graner, Nicolas. 1368:on 8 January 2014 1309:on 7 January 2014 1186:978-0-262-72017-5 1152:978-3-540-56993-0 1120:on 7 January 2014 1025:978-0-7803-0546-5 992:978-3-540-19715-7 880:978-0-12-509715-4 860:978-0-201-17561-5 698:978-90-6764-122-7 443:Terrain modelling 434:3D head modelling 379:Pan Am flight 103 348:Stephen Muggleton 186:Stephen Muggleton 92: 91: 16:(Redirected from 2682: 2617: 2616: 2614: 2613: 2612: 2611:55.8616; -4.2499 2607: 2603: 2600: 2599: 2598: 2595: 2583: 2582: 2580: 2578: 2573:. Heraldscotland 2567: 2558: 2557: 2555: 2553: 2542: 2536: 2535: 2533: 2531: 2516: 2510: 2509: 2492: 2490: 2488: 2478: 2468: 2466: 2464: 2454: 2442: 2436: 2435: 2433: 2431: 2425: 2419:Cockshot, Paul. 2416: 2410: 2409: 2407: 2405: 2396:Thomas, Graham. 2393: 2387: 2386: 2384: 2382: 2372: 2363: 2357: 2356: 2354: 2352: 2346: 2340:. Archived from 2335: 2326: 2320: 2319: 2317: 2315: 2305: 2296: 2290: 2289: 2277: 2266: 2260: 2259: 2225: 2219: 2218: 2216: 2214: 2199: 2193: 2192: 2167: 2165: 2163: 2128: 2122: 2121: 2119: 2117: 2106: 2100: 2099: 2097: 2095: 2083: 2077: 2076: 2074: 2072: 2060: 2054: 2053: 2046: 2040: 2039: 2031: 2029: 2027: 2021: 2007: 2005: 2003: 1991: 1985: 1984: 1982: 1980: 1969: 1963: 1962: 1960: 1958: 1943: 1937: 1936: 1934: 1932: 1897: 1891: 1890: 1869: 1849: 1843: 1842: 1833: 1827: 1826: 1824: 1822: 1816: 1807: 1801: 1800: 1790: 1780: 1756: 1750: 1749: 1721: 1715: 1714: 1696: 1690: 1689: 1665:AI & Society 1659: 1653: 1652: 1650: 1643: 1635: 1629: 1628: 1626: 1614: 1608: 1607: 1572: 1570: 1568: 1562: 1553: 1547: 1546: 1526: 1520: 1519: 1517: 1515: 1500: 1489: 1483: 1482: 1480: 1478: 1455: 1449: 1448: 1446: 1434: 1428: 1427: 1425: 1423: 1411: 1405: 1404: 1402: 1400: 1394: 1387: 1377: 1375: 1373: 1367: 1356: 1347: 1341: 1340: 1338: 1336: 1325: 1319: 1318: 1316: 1314: 1308: 1297: 1288: 1282: 1281: 1253: 1247: 1246: 1244: 1242: 1233:Sammut, Claude. 1230: 1224: 1223: 1221: 1219: 1204: 1198: 1197: 1195: 1193: 1170: 1164: 1163: 1161: 1159: 1136: 1130: 1129: 1127: 1125: 1119: 1102: 1093: 1092: 1090: 1088: 1082: 1075: 1066: 1060: 1059: 1057: 1055: 1046:Michie, Donald. 1043: 1037: 1036: 1034: 1032: 1010: 1004: 1003: 1001: 999: 976: 970: 969: 967: 965: 950: 944: 943: 923: 917: 916: 898: 892: 891: 889: 887: 864: 843: 826: 810: 804: 803: 797: 788: 782: 781: 778:10.1108/eb024224 761: 755: 754: 752: 750: 735: 733: 731: 716: 710: 709: 707: 705: 682: 676: 675: 673: 671: 655: 649: 648: 646: 644: 633: 627: 626: 624: 622: 612: 606: 605: 603: 601: 590: 584: 583: 577: 573: 571: 563: 561: 559: 546: 524:House of Commons 437:Robot navigation 386:Sun Microsystems 381:over Lockerbie. 367:Gunnar Johannsen 182:Shirley Williams 166:Sir Graham Hills 155:Second World War 53: 46: 44:Turing Institute 21: 2690: 2689: 2685: 2684: 2683: 2681: 2680: 2679: 2620: 2619: 2610: 2608: 2604: 2601: 2596: 2593: 2591: 2589: 2588: 2586: 2576: 2574: 2569: 2568: 2561: 2551: 2549: 2548:. UK Parliament 2544: 2543: 2539: 2529: 2527: 2518: 2517: 2513: 2496:Grant, Edward. 2495: 2493: 2486: 2484: 2476: 2471: 2469: 2462: 2460: 2452: 2447: 2445: 2443: 2439: 2429: 2427: 2423: 2418: 2417: 2413: 2403: 2401: 2395: 2394: 2390: 2380: 2378: 2370: 2365: 2364: 2360: 2350: 2348: 2344: 2333: 2328: 2327: 2323: 2313: 2311: 2303: 2298: 2297: 2293: 2286: 2275: 2268: 2267: 2263: 2248: 2227: 2226: 2222: 2212: 2210: 2201: 2200: 2196: 2170: 2168: 2161: 2159: 2130: 2129: 2125: 2115: 2113: 2108: 2107: 2103: 2093: 2091: 2085: 2084: 2080: 2070: 2068: 2062: 2061: 2057: 2048: 2047: 2043: 2034: 2032: 2025: 2023: 2019: 2010: 2008: 2001: 1999: 1993: 1992: 1988: 1978: 1976: 1971: 1970: 1966: 1956: 1954: 1945: 1944: 1940: 1930: 1928: 1899: 1898: 1894: 1872: 1870: 1851: 1850: 1846: 1835: 1834: 1830: 1820: 1818: 1814: 1809: 1808: 1804: 1758: 1757: 1753: 1723: 1722: 1718: 1711: 1698: 1697: 1693: 1661: 1660: 1656: 1648: 1641: 1637: 1636: 1632: 1616: 1615: 1611: 1596: 1575: 1573: 1566: 1564: 1560: 1555: 1554: 1550: 1543: 1528: 1527: 1523: 1513: 1511: 1509: 1498: 1491: 1490: 1486: 1476: 1474: 1472: 1457: 1456: 1452: 1436: 1435: 1431: 1421: 1419: 1413: 1412: 1408: 1398: 1396: 1392: 1385: 1380: 1378: 1371: 1369: 1365: 1354: 1349: 1348: 1344: 1334: 1332: 1327: 1326: 1322: 1312: 1310: 1306: 1295: 1290: 1289: 1285: 1255: 1254: 1250: 1240: 1238: 1232: 1231: 1227: 1217: 1215: 1206: 1205: 1201: 1191: 1189: 1187: 1172: 1171: 1167: 1157: 1155: 1153: 1138: 1137: 1133: 1123: 1121: 1117: 1104: 1103: 1096: 1086: 1084: 1080: 1073: 1068: 1067: 1063: 1053: 1051: 1045: 1044: 1040: 1030: 1028: 1026: 1012: 1011: 1007: 997: 995: 993: 978: 977: 973: 963: 961: 952: 951: 947: 925: 924: 920: 913: 900: 899: 895: 885: 883: 881: 866: 865: 861: 846: 844: 830:Alen, Shapiro. 829: 827: 812: 811: 807: 795: 790: 789: 785: 763: 762: 758: 748: 746: 740:"Peter Butcher" 738: 736: 729: 727: 718: 717: 713: 703: 701: 699: 684: 683: 679: 669: 667: 657: 656: 652: 642: 640: 635: 634: 630: 620: 618: 614: 613: 609: 599: 597: 592: 591: 587: 574: 564: 557: 555: 548: 547: 540: 536: 504: 390:Arthur van Hoff 356:protein folding 265: 230:British Airways 202: 180:(chairman) and 127: 80: 76: 56: 39: 28: 23: 22: 15: 12: 11: 5: 2688: 2686: 2678: 2677: 2672: 2667: 2662: 2657: 2652: 2647: 2642: 2637: 2632: 2622: 2621: 2585: 2584: 2559: 2537: 2511: 2437: 2411: 2388: 2377:. 5244c: 67–71 2358: 2321: 2291: 2284: 2261: 2246: 2220: 2194: 2143:(2): 175–182. 2123: 2101: 2090:. DUX Software 2086:Hopkins, Don. 2078: 2063:Hopkins, Don. 2055: 2041: 1986: 1964: 1938: 1912:(3): 205–218. 1892: 1860:(6): 829–840. 1844: 1828: 1802: 1751: 1732:(7): 647–657. 1716: 1709: 1691: 1672:(1–2): 71–77. 1654: 1630: 1624:10.1.1.47.5673 1609: 1594: 1548: 1541: 1521: 1507: 1484: 1470: 1450: 1444:10.1.1.45.4007 1429: 1406: 1342: 1320: 1283: 1248: 1225: 1199: 1185: 1165: 1151: 1131: 1094: 1061: 1038: 1024: 1005: 991: 971: 945: 918: 911: 893: 879: 859: 805: 783: 772:(5): 307–315. 756: 724:Glasgow Herald 711: 697: 691:. p. 70. 677: 650: 628: 607: 585: 537: 535: 532: 517:Peter Mowforth 503: 500: 485: 484: 481: 478: 471: 465: 459: 457:Guy's Hospital 453: 450: 444: 441: 438: 435: 344:Enterprise Oil 264: 261: 201: 198: 151:Bletchley Park 143:Peter Mowforth 126: 123: 101:laboratory in 90: 89: 86: 82: 81: 78: 72: 70: 66: 65: 62: 58: 57: 54: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 2687: 2676: 2673: 2671: 2668: 2666: 2663: 2661: 2658: 2656: 2653: 2651: 2648: 2646: 2643: 2641: 2638: 2636: 2633: 2631: 2628: 2627: 2625: 2618: 2615: 2572: 2566: 2564: 2560: 2547: 2541: 2538: 2526: 2522: 2515: 2512: 2507: 2503: 2499: 2482: 2475: 2458: 2451: 2441: 2438: 2422: 2415: 2412: 2399: 2392: 2389: 2376: 2369: 2362: 2359: 2343: 2339: 2332: 2325: 2322: 2309: 2302: 2295: 2292: 2287: 2281: 2274: 2273: 2265: 2262: 2257: 2253: 2249: 2243: 2239: 2235: 2231: 2224: 2221: 2209: 2205: 2198: 2195: 2190: 2186: 2182: 2178: 2174: 2158: 2154: 2150: 2146: 2142: 2138: 2134: 2127: 2124: 2112: 2105: 2102: 2089: 2082: 2079: 2066: 2059: 2056: 2051: 2045: 2042: 2037: 2018: 2014: 1997: 1990: 1987: 1974: 1968: 1965: 1953: 1949: 1942: 1939: 1927: 1923: 1919: 1915: 1911: 1907: 1903: 1896: 1893: 1888: 1884: 1881:(1): 97–114. 1880: 1876: 1867: 1863: 1859: 1855: 1848: 1845: 1840: 1839: 1832: 1829: 1813: 1806: 1803: 1798: 1794: 1789: 1784: 1779: 1774: 1770: 1766: 1762: 1755: 1752: 1747: 1743: 1739: 1735: 1731: 1727: 1720: 1717: 1712: 1706: 1702: 1695: 1692: 1687: 1683: 1679: 1675: 1671: 1667: 1666: 1658: 1655: 1647: 1640: 1634: 1631: 1625: 1620: 1613: 1610: 1605: 1601: 1597: 1591: 1587: 1583: 1579: 1559: 1552: 1549: 1544: 1538: 1534: 1533: 1525: 1522: 1510: 1504: 1497: 1496: 1488: 1485: 1473: 1467: 1463: 1462: 1454: 1451: 1445: 1440: 1433: 1430: 1417: 1410: 1407: 1391: 1384: 1364: 1360: 1353: 1346: 1343: 1330: 1324: 1321: 1305: 1301: 1294: 1287: 1284: 1279: 1275: 1271: 1267: 1263: 1259: 1252: 1249: 1236: 1229: 1226: 1214: 1210: 1203: 1200: 1188: 1182: 1178: 1177: 1169: 1166: 1154: 1148: 1144: 1143: 1135: 1132: 1116: 1112: 1108: 1101: 1099: 1095: 1079: 1072: 1065: 1062: 1049: 1042: 1039: 1027: 1021: 1017: 1016: 1009: 1006: 994: 988: 984: 983: 975: 972: 959: 955: 949: 946: 941: 937: 933: 929: 922: 919: 914: 912:0-85012-399-2 908: 904: 897: 894: 882: 876: 872: 871: 862: 856: 852: 851: 841: 837: 833: 824: 820: 816: 809: 806: 801: 794: 787: 784: 779: 775: 771: 767: 760: 757: 745: 741: 725: 721: 715: 712: 700: 694: 690: 689: 681: 678: 665: 664:New Scientist 661: 654: 651: 638: 632: 629: 617: 611: 608: 596: 589: 586: 581: 569: 554: 553: 545: 543: 539: 533: 531: 529: 525: 520: 518: 514: 512: 507: 501: 499: 497: 493: 488: 482: 479: 477:broadcast TV. 476: 472: 470: 466: 464: 460: 458: 454: 451: 449: 445: 442: 439: 436: 433: 432: 431: 427: 425: 421: 416: 414: 410: 406: 402: 398: 393: 391: 387: 382: 380: 376: 371: 368: 363: 361: 357: 353: 349: 345: 341: 336: 334: 330: 326: 325:Space Shuttle 321: 319: 315: 305: 297: 289: 285: 283: 279: 275: 274:Claude Sammut 270: 262: 260: 258: 257:John McCarthy 254: 253:Herbert Simon 250: 245: 242: 239: 235: 231: 227: 223: 222:John Roycroft 219: 215: 206: 199: 197: 193: 191: 187: 183: 179: 175: 171: 167: 163: 158: 156: 152: 148: 144: 140: 139:Donald Michie 131: 124: 122: 120: 116: 115:United States 112: 108: 104: 100: 96: 87: 83: 75: 71: 67: 63: 59: 52: 47: 41: 37: 33: 19: 2587: 2575:. Retrieved 2550:. Retrieved 2540: 2528:. Retrieved 2524: 2514: 2497: 2485:. Retrieved 2480: 2461:. Retrieved 2456: 2444:For example: 2440: 2428:. Retrieved 2414: 2402:. Retrieved 2391: 2379:. Retrieved 2374: 2361: 2349:. Retrieved 2342:the original 2337: 2324: 2312:. Retrieved 2307: 2294: 2271: 2264: 2229: 2223: 2211:. Retrieved 2207: 2197: 2183:(1): 29–37. 2180: 2176: 2160:. Retrieved 2140: 2136: 2126: 2114:. Retrieved 2104: 2092:. Retrieved 2081: 2069:. Retrieved 2058: 2044: 2024:. Retrieved 2017:the original 2000:. Retrieved 1989: 1977:. Retrieved 1967: 1955:. Retrieved 1951: 1941: 1929:. Retrieved 1909: 1905: 1895: 1878: 1874: 1857: 1853: 1847: 1837: 1831: 1819:. Retrieved 1805: 1768: 1764: 1754: 1729: 1725: 1719: 1700: 1694: 1669: 1663: 1657: 1646:the original 1633: 1612: 1577: 1565:. Retrieved 1551: 1531: 1524: 1512:. Retrieved 1494: 1487: 1475:. Retrieved 1460: 1453: 1432: 1420:. Retrieved 1409: 1397:. Retrieved 1390:the original 1370:. Retrieved 1363:the original 1358: 1345: 1333:. Retrieved 1323: 1311:. Retrieved 1304:the original 1299: 1286: 1264:(2): 93–98. 1261: 1257: 1251: 1239:. Retrieved 1228: 1216:. Retrieved 1212: 1202: 1190:. Retrieved 1175: 1168: 1156:. Retrieved 1141: 1134: 1122:. Retrieved 1115:the original 1110: 1085:. Retrieved 1078:the original 1064: 1052:. Retrieved 1041: 1029:. Retrieved 1014: 1008: 996:. Retrieved 981: 974: 962:. Retrieved 958:the original 948: 931: 927: 921: 902: 896: 884:. Retrieved 869: 849: 831: 814: 813:Tyugu, Enn. 808: 799: 786: 769: 765: 759: 747:. Retrieved 743: 728:. Retrieved 726:. 8 May 1984 723: 714: 702:. Retrieved 687: 680: 668:. Retrieved 663: 653: 641:. Retrieved 631: 619:. Retrieved 610: 598:. Retrieved 588: 556:. Retrieved 551: 521: 515: 508: 505: 489: 486: 428: 417: 399:and PDB, an 394: 383: 372: 364: 337: 328: 322: 310: 266: 246: 243: 211: 194: 159: 136: 94: 93: 40: 2675:Alan Turing 2609: / 2577:16 November 2552:11 December 2530:20 December 2487:20 December 2463:20 December 2430:20 December 2404:20 December 2381:20 December 2351:20 December 2314:20 December 2213:20 December 2162:20 December 2116:19 December 2094:19 December 2071:19 December 2026:19 December 2002:19 December 1979:18 December 1957:18 December 1821:19 December 1567:17 December 1514:18 December 1477:16 December 1422:19 December 1399:19 December 1372:20 December 1335:16 December 1313:16 December 1241:16 December 1218:16 December 1213:AI Magazine 1192:16 December 1158:16 December 1124:11 December 1087:16 December 1054:10 December 1031:20 December 998:10 December 964:18 December 886:10 December 749:10 December 730:10 December 704:11 December 643:20 December 621:10 December 593:Howe, Jim. 576:|work= 558:10 December 409:Don Hopkins 335:simulator. 282:Ivan Bratko 153:during the 147:Alan Turing 61:Established 2624:Categories 2594:55°51′42″N 1875:Automatica 1854:Automatica 840:0201178133 823:020117815X 670:5 December 639:. Debretts 600:4 December 534:References 397:PostScript 329:Rulemaster 249:Tony Hoare 2597:4°15′00″W 2483:: 297–300 2459:: 361–365 1931:4 January 1926:0097-8493 1619:CiteSeerX 1439:CiteSeerX 934:: 21–44. 578:ignored ( 568:cite book 360:Ross King 226:Burroughs 125:Formation 85:Dissolved 2506:17425044 2256:15633227 1686:43593522 1604:61707575 1278:34964990 1258:Robotica 744:LinkedIn 318:Unilever 238:Unilever 107:Scotland 79:Scotland 69:Location 2145:Bibcode 1797:1454814 1746:1480619 982:BMVC 91 502:Closure 424:HotJava 413:SimCity 103:Glasgow 97:was an 74:Glasgow 2504:  2282:  2254:  2244:  2111:"JAOO" 1924:  1795:  1785:  1744:  1707:  1684:  1621:  1602:  1592:  1539:  1505:  1468:  1441:  1276:  1183:  1149:  1022:  989:  909:  877:  857:  838:  821:  695:  401:ANSI C 358:(with 314:ESPRIT 255:, and 220:(see: 113:, the 111:Europe 2477:(PDF) 2453:(PDF) 2424:(PDF) 2400:. BBC 2371:(PDF) 2345:(PDF) 2334:(PDF) 2304:(PDF) 2276:(PDF) 2252:S2CID 2067:. ART 2020:(PDF) 1815:(PDF) 1788:50542 1682:S2CID 1649:(PDF) 1642:(PDF) 1600:S2CID 1561:(PDF) 1499:(pdf) 1393:(PDF) 1386:(PDF) 1366:(PDF) 1355:(PDF) 1307:(PDF) 1296:(PDF) 1274:S2CID 1118:(PDF) 1081:(PDF) 1074:(PDF) 796:(PDF) 234:Shell 119:Japan 2579:2014 2554:2013 2532:2013 2502:OCLC 2489:2013 2465:2013 2432:2013 2406:2013 2383:2013 2353:2013 2316:2013 2280:ISBN 2242:ISBN 2215:2013 2164:2013 2118:2013 2096:2013 2073:2013 2028:2013 2004:2013 1981:2013 1959:2013 1933:2014 1922:ISSN 1823:2013 1793:PMID 1742:PMID 1705:ISBN 1590:ISBN 1569:2013 1537:ISBN 1516:2013 1503:ISBN 1479:2013 1466:ISBN 1424:2013 1401:2013 1374:2013 1337:2013 1315:2013 1243:2013 1220:2013 1194:2013 1181:ISBN 1160:2013 1147:ISBN 1126:2013 1089:2013 1056:2013 1033:2013 1020:ISBN 1000:2013 987:ISBN 966:2013 907:ISBN 888:2013 875:ISBN 855:ISBN 836:ASIN 819:ASIN 751:2013 732:2013 706:2013 693:ISBN 672:2013 666:: 47 645:2013 623:2013 602:2013 580:help 560:2013 420:Java 405:NeWS 333:NASA 236:and 117:and 88:1994 64:1983 2234:doi 2185:doi 2153:doi 1914:doi 1883:doi 1862:doi 1783:PMC 1773:doi 1734:doi 1674:doi 1582:doi 1266:doi 936:doi 774:doi 475:BBC 340:ESA 224:), 218:IBM 2626:: 2562:^ 2523:. 2494:- 2479:. 2470:- 2455:. 2446:- 2373:. 2336:. 2306:. 2250:. 2240:. 2206:. 2179:. 2175:. 2169:- 2151:. 2139:. 2135:. 2033:- 2009:- 1950:. 1920:. 1910:17 1908:. 1904:. 1879:27 1877:. 1871:- 1858:25 1856:. 1791:. 1781:. 1769:89 1767:. 1763:. 1740:. 1728:. 1680:. 1670:12 1668:. 1598:. 1588:. 1574:- 1379:- 1357:. 1298:. 1272:. 1260:. 1211:. 1109:. 1097:^ 932:20 930:. 845:- 828:- 798:. 770:10 768:. 742:. 737:- 722:. 662:. 572:: 570:}} 566:{{ 541:^ 530:. 498:. 320:. 280:. 251:, 232:, 228:, 192:. 176:. 157:. 141:, 105:, 77:, 2581:. 2556:. 2534:. 2508:. 2491:. 2467:. 2434:. 2408:. 2385:. 2355:. 2318:. 2288:. 2258:. 2236:: 2217:. 2191:. 2187:: 2181:4 2166:. 2155:: 2147:: 2141:5 2120:. 2098:. 2075:. 2052:. 2038:. 2030:. 2006:. 1983:. 1961:. 1935:. 1916:: 1889:. 1885:: 1868:. 1864:: 1825:. 1799:. 1775:: 1748:. 1736:: 1730:5 1713:. 1688:. 1676:: 1627:. 1606:. 1584:: 1571:. 1447:. 1426:. 1403:. 1376:. 1339:. 1317:. 1280:. 1268:: 1262:5 1245:. 1222:. 1196:. 1128:. 1091:. 1058:. 968:. 942:. 938:: 915:. 890:. 842:. 825:. 802:. 780:. 776:: 753:. 647:. 625:. 604:. 582:) 38:. 20:)

Index

The Turing Institute
Alan Turing Institute
Turing Gateway to Mathematics

Glasgow
artificial intelligence
Glasgow
Scotland
Europe
United States
Japan

Donald Michie
Peter Mowforth
Alan Turing
Bletchley Park
Second World War
Edinburgh University
Sir Graham Hills
Scottish Development Agency
Strathclyde University
Lord Balfour of Burleigh
Shirley Williams
Stephen Muggleton
inductive logic programming

Alvey Report on AI
IBM
John Roycroft
Burroughs

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑