325:. To settle an argument with Dr. Gabor, Lenat computer-generated a five-dimensional hologram, by photo-reducing computer printout of the interference pattern of a globe rotating and expanding over time, reducing the large two-dimensional paper printout to a moderately large 5-cm square film surface through which a conventional laser beam was then able to project a three-dimensional image, which changed in two independent ways (rotating and changing in size) as the film was moved up-down or left-right.
371:. Experimenting with the program fueled a cycle of criticism and improvement. Many issues had to be dealt with in constructing such a program: how to represent knowledge formally, expressively, and concretely, how to program hundreds of heuristic "interestingness" rules to judge the worth of new discoveries, heuristics for when to reason symbolically and inductively
474:
501:“If computers were human, they’d present themselves as autistic, schizophrenic, or otherwise brittle. It would be unwise or dangerous for that person to take care of children and cook meals, but it’s on the horizon for home robots. That’s like saying, ‘We have an important job to do, but we’re going to hire dogs and cats to do it.'”
387:. The limitation with AM was that it was locked into following a fixed set of interestingness heuristics; Eurisko, by contrast, represented its heuristic rules as first class objects and hence it could explore, manipulate, and discover new heuristics just as AM explored, manipulated, and discovered new domain concepts.
448:
Project, and the second decade (1995-2006) of work on Cyc was funded by US government agencies' research contracts, the third decade up through the present (2007–2023) has been largely supported through commercial applications of Cyc, including in the financial services, energy, and healthcare areas.
321:, was to bounce acoustic waves in the 40 mHz range off real-world objects, record their interference patterns on a 2-meter square plot, photo-reduce those to a 10-mm square film image, shine a laser through the film, and thus project the three-dimensional imaged object—i.e., the first known acoustic
390:
Lenat returned to
Stanford as an assistant professor of Computer Science in 1978 and continued his research building the Eurisko automated discovery and heuristic-discovery program. Eurisko made many interesting discoveries and enjoyed significant acclaim, with Lenat's paper "Heuretics: Theoretical
375:
when to reason statistically from frequency data, what the architecture—the design constraints—of such reasoning programs might be, why heuristics work, and what their "inner structure" might be. AM was one of the first steps toward demonstrating that computer programs can make novel and creative
403:
Lenat (working with John Seely Brown at Xerox PARC) published in 1984 an analysis of what were the limitations of his AM and
Eurisko lines of research. It concluded that progress toward real, general, symbolic AI would require a vast knowledge base of "common sense", suitably formalized and
1067:, Richard J. Waldinger, David R. Barstow, Robert Elschlager, Douglas B. Lenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg. Memo AIM-240, Report STAN-CS-74-444, Artificial Intelligence Laboratory, Computer Science Department, Stanford University, Stanford, California, August 1974
420:, culminating in Lenat's becoming Principal Scientist of MCC from 1984–1994, though he continued even after this period to return to Stanford to teach approximately one course per year. At the 400-person MCC, Lenat was able to have several dozen researchers work on that
407:
The successes, and analysis of the limitations, of this AM and
Eurisko approach to AI, and the concluding plea for the massive (multi-thousand-person-year, decades-long) R&D effort would be required to break that bottleneck to AI, led to attention in 1982 from
220:). He has also worked in military simulations, and numerous projects for the US government, military, intelligence, and scientific organizations. In 1980, he published a critique of conventional random-mutation Darwinism. He authored a series of articles in the
1827:
482:"Intelligence is ten million rules." This refers to the prior and tacit knowledge that authors presume their readers all possess (such as "if person x knows person y, then x's date of death can't be earlier than y's date of birth")
1832:
491:"Once you have a truly massive amount of information integrated as knowledge, then the human-software system will be superhuman, in the same sense that mankind with writing is superhuman compared to mankind before writing."
443:
Lenat continued to work on Cyc as CEO of Cycorp until his death. While the first decade of work on Cyc (1984–1994) was funded by large
American companies pooling long-term research funds to compete with the Japanese
404:
represented, and an inference engine capable of finding tens- or hundreds-deep conclusions and arguments that followed from the application of that knowledge base to specific questions and applications.
440:
of effort, probably twice that, and by 2017, he and his team had spent about 2,000 person-years of effort building Cyc, creating approximately 24 million rules and assertions (not counting "facts").
392:
228:
1857:
1837:
413:
213:
1786:
232:
1852:
509:
421:
1745:
488:"The time may come when a greatly expanded Cyc will underlie countless software applications. But reaching that goal could easily take another two decades."
436:
were spun out of MCC into a company, Cycorp, at the end of 1994. In 1986, he estimated the effort to complete Cyc would be at least 250,000 rules and 1,000
1842:
1862:
1867:
1847:
461:
Lenat was married to Merle Baruch, with whom he had a daughter; they divorced and he later married Cycorp business manager Mary
Shepherd. He died of
1646:
1262:
Lenat, Douglas; Witbrock, Michael; Baxter, David; Blackstone, Eugene; Deaton, Chris; Schneider, Dave; Scott, Jerry; Shepard, Blake (July 28, 2010).
867:
Lenat, Douglas. "The
Heuristics of Nature: The Plausible Mutation of DNA." Stanford Heuristic Programming Project, 1980, technical report HPP-80-27.
1525:
1246:
580:
559:
693:
656:
616:
244:
1088:
802:
853:
Lenat, DB; Fishwick, PA; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). "STRADS: A Strategic
Automatic Discovery System".
1629:
1604:
894:
727:
631:
221:
185:
150:
231:, and is the only individual to have served on the Scientific Advisory Boards of both Microsoft and Apple. He was a Fellow of the
1204:
240:
33:
596:
Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983). "An Expert System for
Indications & Warning Analysis".
985:
673:
Lenat DB, Durlach P. “Reinforcing Math
Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience.”
1370:
328:
Lenat was a Ph.D. student in
Computer Science at Stanford University, where his published research included automatic
295:
291:
84:
53:
1488:"The Most Ambitious Artificial Intelligence Project In The World Has Been Operating In Near Secrecy For 30 Years"
1411:
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications, Tokyo, May 1988
689:
652:
612:
445:
236:
119:
1461:
528:
1515:
352:, along with the Ph.D. thesis of Randall Davis, McGraw-Hill, 1982) in 1976. His thesis advisor was Professor
1773:
670:. Institute of Medicine Learning Health System Series, The National Academies Press, pp. 123–144, 2011.
360:
205:
189:
166:
131:
1442:
1153:
484:
not counting the vastly larger number of "facts" such as one might find in Knowledge (XXG) or by Googling.
280:
1674:
1205:"Hal's Legacy: 2001's Computer as Dream and Reality. From 2001 to 2001: Common Sense and the Mind of HAL"
719:
Out of their Minds - The Lives and Discoveries of 15 Great Computer Scientists | Dennis Shasha | Springer
1792:
1039:
1822:
1817:
450:
341:
307:
272:
1158:
345:
88:
1697:
1353:
1263:
279:. His father died when he was 13 and the family then returned to Pennsylvania, where he attended
1334:
1305:"Reinforcing Math Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience"
877:
Lenat, Douglas B. (1983). "The Role of Heuristics in Learning by Discovery: Three Case Studies".
752:
363:
was one of the first computer programs that attempted to make discoveries, i.e., to be a theorem
299:
162:
99:
311:
1719:
1666:
1625:
1600:
1577:
1547:
Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1
1521:
1447:
1428:
1326:
1285:
1242:
1187:
Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1
1084:
890:
835:
798:
723:
627:
598:
Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1
576:
555:
505:
329:
303:
201:
1709:
1658:
1569:
1560:
Lenat, Douglas B.; Feigenbaum, Edward A. (February 1991). "On the Thresholds of Knowledge".
1492:
1375:
1316:
1275:
1163:
1144:
Lenat, Douglas B.; Brown, John Seely (August 1, 1984). "Why am and eurisko appear to work".
1064:
929:
Lenat, Douglas (1983). "The Nature of Heuristics II: Theory formation by heuristic search".
882:
827:
603:
Lenat, Douglas B.; Feigenbaum, Edward A. (February 1991). "On the Thresholds of Knowledge".
462:
276:
248:
193:
1397:
795:
Proceedings of the 6th International Joint Conference on Artificial Intelligence - Volume 1
1777:
1741:
1238:
989:
409:
380:
967:
Lenat, Douglas (1984). "The Nature of Heuristics IV: Why AM and Eurisko Appear to Work".
1181:
Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983).
1119:
1597:
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
1078:
624:
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
589:
Lenat, Douglas B. "Computer Software for Intelligent Systems: An Underview of AI," in
549:
284:
664:
Infrastructure required to learn which care is best: methods that need to be developed
535:. Book One (Proceedings of the AAAI Conference on Artificial Intelligence, 3): 236–240
1811:
1573:
1542:
1212:
1182:
1167:
790:
643:
Lenat, Douglas B. (2008-07-10). "The Voice of the Turtle: Whatever Happened to AI?".
570:
417:
353:
178:
72:
770:
Lenat, Douglas; Greiner, Russell (1980). "RLL: A Representation Language Language".
391:
and Experimental Study of Heuristic Rules" winning the Best Paper award at the 1982
1487:
1208:
668:
Learning What Works: Infrastructure Required for Comparative Effectiveness Research
318:
268:
252:
174:
127:
109:
1746:"Remembering Doug Lenat (1950–2023) and His Quest to Capture the World with Logic"
1424:
1338:
717:
379:
In 1976, Lenat started teaching as an assistant professor of Computer Science at
886:
569:
Hayes-Roth, Frederick; Waterman, Donald Arthur; Lenat, Douglas B., eds. (1983).
513:
1782:
294:, supporting himself by programming, including the design and development of a
256:
1798:
1321:
1304:
797:. IJCAI'79. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.: 531–536.
322:
1723:
1714:
1670:
1662:
1581:
1330:
1289:
1280:
839:
600:. IJCAI'83. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.: 259–262.
1105:
332:
from input/output pairs and from natural language clarification dialogues.
271:, United States, on September 13, 1950. When he was 5, the family moved to
1828:
Fellows of the Association for the Advancement of Artificial Intelligence
1799:"Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI."
1002:
508:”, a full frontal assault on common sense: the challenge is to create an
437:
881:. Symbolic Computation. Springer, Berlin, Heidelberg. pp. 243–306.
756:
473:
818:
Lenat, D. B. (March 1989). "Ontological versus knowledge engineering".
384:
197:
135:
831:
217:
348:, "AM: Discovery in mathematics as heuristic search" (published as
1833:
Fellows of the American Association for the Advancement of Science
1120:"Heuretics: Theoretical and Experimental Study of Heuristic Rules"
1106:"Designing a rule system that searches for scientific discoveries"
1080:
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
472:
1770:
1183:"Knoesphere: Building Expert Systems with Encyclopedic Knowledge"
680:
Lenat, Douglas B. (2016-04-13). "WWTS (What Would Turing Say?)".
675:
J. International Journal of Artificial Intelligence in Education.
287:
which motivated him to learn programming as a better occupation.
283:. His after-school job was cleaning rat cages and goose pens at
948:
Lenat, Douglas (1983). "The Nature of Heuristics III: Eurisko".
789:
Lenat, Douglas B.; Hayes-Roth, Frederick; Klahr, Philip (1979).
1541:
Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983).
1462:"Sometimes the Veneer of Intelligence is Not Enough | CogWorld"
1264:"Harnessing Cyc to Answer Clinical Researchers' Ad Hoc Queries"
32:
1040:"Douglas Lenat, Who Tried to Make A.I. More Human, Dies at 72"
433:
209:
170:
139:
123:
1620:
Clarke, Arthur C. (February 6, 1998). Stork, David G. (ed.).
1371:"One Genius' Lonely Crusade to Teach a Computer Common Sense"
1309:
International Journal of Artificial Intelligence in Education
200:
programs), knowledge representation, "cognitive economy",
1303:
Lenat, Douglas B.; Durlach, Paula J. (September 1, 2014).
1543:"An Expert System for Indications & Warning Analysis"
1517:
Visions: How Science Will Revolutionize the 21st Century
855:
Knowledge-based Simulation: Methodology and Application
666:, in (Olsen L., Grossman, C., and McGinnis, M., eds.)
161:(September 13, 1950 – August 31, 2023) was an American
791:"Cognitive Economy in Artificial Intelligence Systems"
504:"What we needed, he says, is nothing less than an “AI
1624:(Reprint ed.). Cambridge, Mass.: The MIT Press.
743:
Lenat, Douglas B. (1995). "Artificial Intelligence".
1063:“Progress Report on Program Understanding Systems.”
1647:"The Voice of the Turtle: Whatever Happened to AI?"
910:Lenat, Douglas (1982). "The Nature of Heuristics".
820:
IEEE Transactions on Knowledge and Data Engineering
639:
From 2001 to 2001: Common Sense and the Mind of HAL
145:
115:
105:
95:
80:
61:
39:
23:
1622:HAL's Legacy: 2001's Computer as Dream and Reality
1595:Lenat, Douglas B.; Guha, R. V. (January 1, 1990).
1409:Lenat, Douglas (1988). "The Case for Inelegance".
551:Knowledge-Based Systems in Artificial Intelligence
533:Proceedings of National Conference on AI (AAAI–83)
350:Knowledge-based systems in artificial intelligence
188:in 1976 for creating the machine-learning program
527:Brown, John Seely; Lenat, Douglas (August 1983).
1858:Stanford University School of Engineering alumni
1235:Understanding Computers: Artificial Intelligence
424:base, rather than just a few graduate students.
192:. He has worked on (symbolic, not statistical)
554:. New York: McGraw-Hill International Book Co.
662:Blackstone E.H., Lenat, D.B. and Ishwaran H.
622:Lenat, Douglas B.; Guha, R. V. (1990-01-01).
432:The fruits of the first decade of R&D on
227:Lenat was one of the original Fellows of the
8:
1838:American artificial intelligence researchers
1104:Lenat, Douglas B.; Gregory, Harris (1977).
1077:Davis, Randall; Lenat, Douglas B. (1982).
548:Davis, Randall; Lenat, Douglas B. (1982).
317:For his senior thesis, advised in part by
275:, where his father, Nathan Lenat, owned a
31:
20:
1713:
1320:
1279:
1157:
575:. Reading, Mass: Addison-Wesley Pub. Co.
383:and commenced his work on the AI program
224:exploring the nature of heuristic rules.
1853:Fellows of the Cognitive Science Society
772:Proceedings of the First AAAI Conference
1783:"Beyond the Semantic Web" video lecture
1083:. New York, NY, USA: McGraw-Hill, Inc.
709:
699:See also many of the References, below.
1033:
1031:
1029:
1027:
1025:
1023:
465:on August 31, 2023, at the age of 72.
314:in Applied Mathematics, all in 1972.
259:. He was named one of the Wired 25.
7:
1696:Lenat, Douglas B. (April 13, 2016).
1441:Michael A. Hiltzik (June 21, 2001),
1645:Lenat, Douglas B. (July 10, 2008).
529:"Why AM and Eurisko Appear to Work"
449:One of these later projects was a
1843:Lisp (programming language) people
1599:. Reading, Mass.: Addison-Wesley.
969:Journal of Artificial Intelligence
950:Journal of Artificial Intelligence
931:Journal of Artificial Intelligence
912:Journal of Artificial Intelligence
626:. Reading, Mass.: Addison-Wesley.
477:Doug Lenat in his office at Cycorp
310:in Mathematics and Physics, and a
222:Journal of Artificial Intelligence
14:
1863:University of Pennsylvania alumni
1793:"How David Beats Goliath" article
1771:Douglas Lenat bio page at Cyc.com
1352:Kali Shiloh (November 16, 2023),
186:IJCAI Computers and Thought Award
151:IJCAI Computers and Thought Award
16:Computer scientist and AI pioneer
1868:Businesspeople from Philadelphia
1848:American computer businesspeople
1425:Cycorp: The Cost of Common Sense
1354:"He Taught AI the Facts of Life"
1038:Metz, Cade (September 4, 2023).
722:. Copernicus. Copernicus. 1998.
251:. He was one of the founders of
1801:Lex Fridman Podcast #221, 2021.
1698:"WWTS (What Would Turing Say?)"
615::10.1016/0004-3702(91)90055-O.
498:of intelligence is not enough."
184:Lenat was awarded the biannual
1514:Kaku, Michio (March 4, 1999).
453:application called Mathcraft.
204:, and what he dubbed in 1984 "
1:
1443:"Birth of a Thinking Machine"
1574:10.1016/0004-3702(91)90055-O
1486:Love, Dylan (July 2, 2014).
1168:10.1016/0004-3702(84)90016-X
510:Encyclopédia of Common sense
361:AM (Automated Mathematician)
887:10.1007/978-3-662-12405-5_9
692::10.1609/aimag.v37i1.2644.
655::10.1609/aimag.v29i2.2106.
1884:
1520:. OUP Oxford. p. 64.
296:natural language interface
292:University of Pennsylvania
255:in 1991 and member of its
85:University of Pennsylvania
54:Philadelphia, Pennsylvania
1322:10.1007/s40593-014-0016-x
988:October 12, 2017, at the
446:Fifth Generation Computer
399:A call for "common sense"
344:in Computer Science from
237:Cognitive Science Society
120:Lisp programming language
30:
1750:Stephen Wolfram Writings
1715:10.1609/aimag.v37i1.2644
1663:10.1609/aimag.v29i2.2106
1281:10.1609/aimag.v31i3.2299
263:Background and education
169:who was the founder and
1146:Artificial Intelligence
572:Building Expert Systems
457:Personal life and death
416:research consortium in
239:, and an editor of the
206:ontological engineering
167:artificial intelligence
1398:Douglas Lenat obituary
478:
422:common sense knowledge
367:rather than a theorem
281:Cheltenham High School
241:J. Automated Reasoning
1744:(September 5, 2023).
476:
412:and the then-forming
306:. He graduated with
1549:. IJCAI'83: 259–262.
1241:. 1986. p. 84.
1189:. IJCAI'83: 167–169.
591:Scientific American,
451:learning by teaching
273:Wilmington, Delaware
245:J. Learning Sciences
216:and, since 1994, at
1677:on November 7, 2017
745:Scientific American
637:Lenat, Douglas B.
346:Stanford University
340:Lenat received his
249:J. Applied Ontology
159:Douglas Bruce Lenat
89:Stanford University
1795:at The New Yorker.
1776:2015-05-23 at the
1466:cognitiveworld.com
1215:on October 6, 2006
1044:The New York Times
479:
308:bachelor's degrees
300:United States Navy
267:Lenat was born in
202:blackboard systems
165:and researcher in
163:computer scientist
100:Computer scientist
50:September 13, 1950
1527:978-0-19-288018-5
1448:Los Angeles Times
1429:Technology Review
1358:Stanford Magazine
1248:978-0-7054-0915-5
582:978-0-201-10686-2
561:978-0-07-015557-2
506:Manhattan Project
410:Admiral Bob Inman
330:program synthesis
304:operations manual
196:(with his AM and
156:
155:
1875:
1760:
1758:
1756:
1742:Wolfram, Stephen
1728:
1727:
1717:
1693:
1687:
1686:
1684:
1682:
1673:. Archived from
1642:
1636:
1635:
1617:
1611:
1610:
1592:
1586:
1585:
1568:(1–3): 185–250.
1557:
1551:
1550:
1538:
1532:
1531:
1511:
1505:
1504:
1502:
1500:
1493:Business Insider
1483:
1477:
1476:
1474:
1472:
1458:
1452:
1451:
1438:
1432:
1421:
1415:
1414:
1406:
1400:
1395:
1389:
1388:
1386:
1384:
1379:. March 24, 2016
1367:
1361:
1360:
1349:
1343:
1342:
1324:
1300:
1294:
1293:
1283:
1259:
1253:
1252:
1231:
1225:
1224:
1222:
1220:
1197:
1191:
1190:
1178:
1172:
1171:
1161:
1141:
1135:
1134:
1132:
1130:
1116:
1110:
1109:
1101:
1095:
1094:
1074:
1068:
1065:C. Cordell Green
1061:
1055:
1054:
1052:
1050:
1035:
1018:
1017:
1015:
1013:
998:
992:
983:
977:
976:
964:
958:
957:
945:
939:
938:
926:
920:
919:
907:
901:
900:
879:Machine Learning
874:
868:
865:
859:
858:
850:
844:
843:
832:10.1109/69.43405
815:
809:
808:
786:
780:
779:
767:
761:
760:
740:
734:
733:
714:
619: 0004-3702.
611:(1-3): 185–250.
586:
565:
544:
542:
540:
463:bile duct cancer
290:He attended the
194:machine learning
68:
49:
47:
35:
21:
1883:
1882:
1878:
1877:
1876:
1874:
1873:
1872:
1808:
1807:
1805:
1778:Wayback Machine
1767:
1754:
1752:
1740:
1737:
1735:Further reading
1732:
1731:
1695:
1694:
1690:
1680:
1678:
1644:
1643:
1639:
1632:
1619:
1618:
1614:
1607:
1594:
1593:
1589:
1559:
1558:
1554:
1540:
1539:
1535:
1528:
1513:
1512:
1508:
1498:
1496:
1485:
1484:
1480:
1470:
1468:
1460:
1459:
1455:
1440:
1439:
1435:
1422:
1418:
1408:
1407:
1403:
1396:
1392:
1382:
1380:
1369:
1368:
1364:
1351:
1350:
1346:
1302:
1301:
1297:
1261:
1260:
1256:
1249:
1239:Time-Life Books
1233:
1232:
1228:
1218:
1216:
1199:
1198:
1194:
1180:
1179:
1175:
1159:10.1.1.565.8830
1143:
1142:
1138:
1128:
1126:
1118:
1117:
1113:
1103:
1102:
1098:
1091:
1076:
1075:
1071:
1062:
1058:
1048:
1046:
1037:
1036:
1021:
1011:
1009:
1000:
999:
995:
990:Wayback Machine
984:
980:
966:
965:
961:
947:
946:
942:
928:
927:
923:
909:
908:
904:
897:
876:
875:
871:
866:
862:
852:
851:
847:
817:
816:
812:
805:
788:
787:
783:
769:
768:
764:
742:
741:
737:
730:
716:
715:
711:
706:
696: 0738-4602
659: 0738-4602
593:September 1984.
583:
568:
562:
547:
538:
536:
526:
523:
494:"Sometimes the
471:
459:
430:
401:
393:AAAI conference
381:Carnegie Mellon
338:
312:master's degree
265:
76:
70:
66:
65:August 31, 2023
57:
51:
45:
43:
26:
17:
12:
11:
5:
1881:
1879:
1871:
1870:
1865:
1860:
1855:
1850:
1845:
1840:
1835:
1830:
1825:
1820:
1810:
1809:
1803:
1802:
1796:
1790:
1780:
1766:
1765:External links
1763:
1762:
1761:
1736:
1733:
1730:
1729:
1688:
1637:
1630:
1612:
1605:
1587:
1552:
1533:
1526:
1506:
1478:
1453:
1433:
1423:Wood, Lamont.
1416:
1401:
1390:
1362:
1344:
1315:(3): 216–250.
1295:
1254:
1247:
1226:
1211:Archived from
1201:Lenat, Douglas
1192:
1173:
1152:(3): 269–294.
1136:
1111:
1096:
1090:978-0070155572
1089:
1069:
1056:
1019:
1003:"The Wired 25"
993:
978:
959:
940:
921:
902:
895:
869:
860:
845:
810:
804:978-0934613477
803:
781:
762:
735:
728:
708:
707:
705:
702:
701:
700:
697:
678:
671:
660:
641:
635:
620:
601:
594:
587:
581:
566:
560:
545:
522:
519:
518:
517:
502:
499:
492:
489:
486:
470:
467:
458:
455:
429:
426:
400:
397:
337:
334:
285:Beaver College
277:bottling plant
264:
261:
257:advisory board
154:
153:
147:
143:
142:
117:
116:Known for
113:
112:
107:
103:
102:
97:
93:
92:
82:
78:
77:
71:
69:(aged 72)
63:
59:
58:
52:
41:
37:
36:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
1880:
1869:
1866:
1864:
1861:
1859:
1856:
1854:
1851:
1849:
1846:
1844:
1841:
1839:
1836:
1834:
1831:
1829:
1826:
1824:
1821:
1819:
1816:
1815:
1813:
1806:
1800:
1797:
1794:
1791:
1788:
1784:
1781:
1779:
1775:
1772:
1769:
1768:
1764:
1751:
1747:
1743:
1739:
1738:
1734:
1725:
1721:
1716:
1711:
1708:(1): 97–101.
1707:
1703:
1699:
1692:
1689:
1676:
1672:
1668:
1664:
1660:
1656:
1652:
1648:
1641:
1638:
1633:
1631:9780262692113
1627:
1623:
1616:
1613:
1608:
1606:9780201517521
1602:
1598:
1591:
1588:
1583:
1579:
1575:
1571:
1567:
1563:
1562:Artif. Intell
1556:
1553:
1548:
1544:
1537:
1534:
1529:
1523:
1519:
1518:
1510:
1507:
1495:
1494:
1489:
1482:
1479:
1467:
1463:
1457:
1454:
1450:
1449:
1444:
1437:
1434:
1430:
1426:
1420:
1417:
1412:
1405:
1402:
1399:
1394:
1391:
1378:
1377:
1372:
1366:
1363:
1359:
1355:
1348:
1345:
1340:
1336:
1332:
1328:
1323:
1318:
1314:
1310:
1306:
1299:
1296:
1291:
1287:
1282:
1277:
1273:
1269:
1265:
1258:
1255:
1250:
1244:
1240:
1237:. Amsterdam:
1236:
1230:
1227:
1219:September 26,
1214:
1210:
1206:
1202:
1196:
1193:
1188:
1184:
1177:
1174:
1169:
1165:
1160:
1155:
1151:
1147:
1140:
1137:
1125:
1121:
1115:
1112:
1107:
1100:
1097:
1092:
1086:
1082:
1081:
1073:
1070:
1066:
1060:
1057:
1045:
1041:
1034:
1032:
1030:
1028:
1026:
1024:
1020:
1008:
1004:
1001:Wired Staff.
997:
994:
991:
987:
982:
979:
974:
970:
963:
960:
955:
951:
944:
941:
936:
932:
925:
922:
917:
913:
906:
903:
898:
896:9783662124079
892:
888:
884:
880:
873:
870:
864:
861:
856:
849:
846:
841:
837:
833:
829:
825:
821:
814:
811:
806:
800:
796:
792:
785:
782:
777:
773:
766:
763:
758:
754:
750:
746:
739:
736:
731:
729:9780387982694
725:
721:
720:
713:
710:
703:
698:
695:
691:
688:(1): 97–101.
687:
683:
679:
676:
672:
669:
665:
661:
658:
654:
650:
646:
642:
640:
636:
633:
632:9780201517521
629:
625:
621:
618:
614:
610:
606:
605:Artif. Intell
602:
599:
595:
592:
588:
584:
578:
574:
573:
567:
563:
557:
553:
552:
546:
534:
530:
525:
524:
520:
516:citing Lenat.
515:
511:
507:
503:
500:
497:
493:
490:
487:
485:
481:
480:
475:
468:
466:
464:
456:
454:
452:
447:
441:
439:
435:
427:
425:
423:
419:
418:Austin, Texas
415:
411:
405:
398:
396:
394:
388:
386:
382:
377:
376:discoveries.
374:
370:
366:
362:
357:
355:
354:Cordell Green
351:
347:
343:
335:
333:
331:
326:
324:
320:
315:
313:
309:
305:
301:
297:
293:
288:
286:
282:
278:
274:
270:
262:
260:
258:
254:
250:
246:
242:
238:
234:
230:
225:
223:
219:
215:
211:
207:
203:
199:
195:
191:
187:
182:
180:
179:Austin, Texas
176:
172:
168:
164:
160:
152:
148:
144:
141:
137:
133:
129:
125:
121:
118:
114:
111:
108:
104:
101:
98:
94:
90:
86:
83:
79:
74:
73:Austin, Texas
64:
60:
55:
42:
38:
34:
29:
25:Douglas Lenat
22:
19:
1804:
1755:September 7,
1753:. Retrieved
1749:
1705:
1701:
1691:
1679:. Retrieved
1675:the original
1654:
1650:
1640:
1621:
1615:
1596:
1590:
1565:
1561:
1555:
1546:
1536:
1516:
1509:
1497:. Retrieved
1491:
1481:
1471:November 29,
1469:. Retrieved
1465:
1456:
1446:
1436:
1431:, March 2005
1419:
1410:
1404:
1393:
1383:September 2,
1381:. Retrieved
1374:
1365:
1357:
1347:
1312:
1308:
1298:
1274:(3): 13–32.
1271:
1267:
1257:
1234:
1229:
1217:. Retrieved
1213:the original
1209:Cycorp, Inc.
1200:
1195:
1186:
1176:
1149:
1145:
1139:
1127:. Retrieved
1124:www.aaai.org
1123:
1114:
1099:
1079:
1072:
1059:
1049:September 4,
1047:. Retrieved
1043:
1012:November 29,
1010:. Retrieved
1006:
996:
981:
972:
968:
962:
953:
949:
943:
934:
930:
924:
915:
911:
905:
878:
872:
863:
854:
848:
826:(1): 84–88.
823:
819:
813:
794:
784:
775:
771:
765:
751:(3): 80–82.
748:
744:
738:
718:
712:
685:
681:
674:
667:
663:
648:
644:
638:
623:
608:
604:
597:
590:
571:
550:
537:. Retrieved
532:
495:
483:
460:
442:
438:person-years
431:
406:
402:
389:
378:
372:
368:
364:
359:His thesis,
358:
349:
339:
327:
319:Dennis Gabor
316:
289:
269:Philadelphia
266:
253:TTI/Vanguard
235:, AAAI, and
226:
208:" (with his
183:
175:Cycorp, Inc.
158:
157:
128:Cycorp, Inc.
110:Cycorp, Inc.
67:(2023-08-31)
18:
1823:2023 deaths
1818:1950 births
1702:AI Magazine
1681:November 7,
1651:AI Magazine
1268:AI Magazine
1129:November 6,
682:AI Magazine
645:AI Magazine
514:Michio Kaku
212:program at
1812:Categories
1499:October 7,
704:References
96:Occupation
46:1950-09-13
1724:0738-4602
1671:0738-4602
1582:0004-3702
1331:1560-4292
1290:0738-4602
1154:CiteSeerX
840:1041-4347
81:Education
1774:Archived
986:Archived
757:24981725
521:Writings
365:proposer
336:Research
323:hologram
106:Employer
385:Eurisko
302:online
198:Eurisko
136:Eurisko
91:(Ph.D.)
1722:
1669:
1628:
1603:
1580:
1524:
1337:
1329:
1288:
1245:
1156:
1087:
893:
838:
801:
755:
726:
677:, 2014
630:
579:
558:
539:May 3,
496:veneer
469:Quotes
428:Cycorp
373:versus
369:prover
298:for a
247:, and
218:Cycorp
146:Awards
75:, U.S.
56:, U.S.
1789:2008.
1657:(2).
1376:Wired
1339:72571
1335:S2CID
1007:WIRED
753:JSTOR
651:(2).
342:Ph.D.
149:1977
1787:NIPS
1757:2023
1720:ISSN
1683:2017
1667:ISSN
1626:ISBN
1601:ISBN
1578:ISSN
1522:ISBN
1501:2020
1473:2017
1385:2023
1327:ISSN
1286:ISSN
1243:ISBN
1221:2006
1131:2017
1085:ISBN
1051:2023
1014:2017
891:ISBN
836:ISSN
799:ISBN
724:ISBN
694:ISSN
657:ISSN
628:ISBN
617:ISSN
577:ISBN
556:ISBN
541:2024
233:AAAS
229:AAAI
62:Died
40:Born
1785:at
1710:doi
1659:doi
1570:doi
1317:doi
1276:doi
1164:doi
883:doi
828:doi
749:273
690:doi
653:doi
613:doi
512:",
434:Cyc
414:MCC
214:MCC
210:Cyc
177:in
173:of
171:CEO
140:Cyc
126:of
124:CEO
1814::
1748:.
1718:.
1706:37
1704:.
1700:.
1665:.
1655:29
1653:.
1649:.
1576:.
1566:47
1564:.
1545:.
1490:.
1464:.
1445:,
1427:,
1373:.
1356:,
1333:.
1325:.
1313:24
1311:.
1307:.
1284:.
1272:31
1270:.
1266:.
1207:.
1203:.
1185:.
1162:.
1150:23
1148:.
1122:.
1042:.
1022:^
1005:.
973:23
971:.
954:20
952:.
935:20
933:.
916:19
914:.
889:.
834:.
822:.
793:.
774:.
747:.
686:37
684:.
649:29
647:.
609:47
607:.
531:.
395:.
356:.
243:,
190:AM
181:.
138:,
134:,
132:AM
130:,
122:,
87:,
1759:.
1726:.
1712::
1685:.
1661::
1634:.
1609:.
1584:.
1572::
1530:.
1503:.
1475:.
1413:.
1387:.
1341:.
1319::
1292:.
1278::
1251:.
1223:.
1170:.
1166::
1133:.
1108:.
1093:.
1053:.
1016:.
975:.
956:.
937:.
918:.
899:.
885::
857:.
842:.
830::
824:1
807:.
778:.
776:1
759:.
732:.
634:.
585:.
564:.
543:.
48:)
44:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.