Douglas Bruce Lenat (13 September1950 – 31 Augustus2023) was 'n Amerikaanse rekenaarwetenskaplike en navorser in kunsmatige intelligensie[1][2] wat die stigter en uitvoerende hoof van Cycorp, Inc. in Austin, Texas, was.
Lenat is in 1976 met die tweejaarlikse IJCAI Computers and Thought-toekenning bekroon vir die skep van die masjienleerprogram AM. Hy het gewerk aan (simboliese, nie statistiese) masjienleer (met sy AM- en Eurisko-programme), kennisvoorstelling,[3] "kognitiewe ekonomie",[4] swartbordstelsels, en wat hy in 1984 "ontologiese ingenieurswese" gedoop het[5] (met sy Cyc-program by MCC en, sedert 1994, by Cycorp). Hy het ook in militêre simulasies gewerk,[6] en talle projekte vir die Amerikaanse regering, militêre, intelligensie- en wetenskaplike organisasies. In 1980 het hy 'n kritiek op konvensionele ewekansige mutasie Darwinisme gepubliseer.[7][8] Hy het 'n reeks artikels[9][10][11][12] in die Journal of Artificial Intelligence geskryf wat die aard van heuristiese reëls ondersoek.
Lenat was een van die oorspronklike genote van die AAAI, en is die enigste individu wat op die Wetenskaplike Adviesrade van beide Microsoft en Apple gedien het. Hy was 'n genoot van die AAAS, AAAI, and Cognitive Science Society, en 'n redakteur van die J. Automated Reasoning, J. Learning Sciences en J. Applied Ontology. Hy was een van die stigters van TTI/Vanguard in 1991 en lid van sy adviesraad.[13] Hy is aangewys as een van die Wired 25.[14]
Lenat is op 13 September 1950 in Philadelphia, Verenigde State, gebore.[15] Toe hy 5 was, het die gesin na Wilmington, Delaware verhuis, waar sy pa, Nathan Lenat, 'n botteleringsaanleg besit het.[15] Sy pa is dood toe hy 13 was en die gesin het daarna teruggekeer na Pennsilvanië, waar hy die Hoërskool Cheltenham bygewoon het.[15] Sy naskoolse werk was die skoonmaak van rothokke en ganshokke by Beaver College wat hom gemotiveer het om programmering as 'n beter beroep te studeer.[15]
Hy het die Universiteit van Pennsilvanië bygewoon en homself ondersteun deur programmering, insluitend die ontwerp en ontwikkeling van 'n natuurlike taalkoppelvlak vir 'n aanlyn-operasiehandleiding van die Verenigde State se vloot. Hy studeer met baccalaureusgrade in Wiskunde en Fisika, en 'n meestersgraad in Toegepaste wiskunde, alles in 1972.[15]
Vir sy senior tesis, wat gedeeltelik deur Dennis Gabor aangeraai is, was om akoestiese golwe in die 40 MHz-reeks van werklike voorwerpe af te weerkaats, hul interferensiepatrone op 'n 2-meter vierkantige plot op te teken, dié te foto-reduseer tot 'n 10-mm vierkante filmbeeld, 'n laser deur die film te skyn, en sodoende die driedimensionele beeldvoorwerp te projekteer, die eerstegram, 'n argumentasie wat nodig is. saam met Dr. Gabor, het Lenat 'n vyfdimensionele hologram deur rekenaargegenereer deur 'n rekenaaruitdruk van die interferensiepatroon van 'n aardbol wat met verloop van tyd roteer en uitbrei te foto-reduseer, en die groot tweedimensionele papieruitdruk te verminder tot 'n matig groot 5 cm vierkantige filmoppervlak waardeur 'n konvensionele laserstraal dan 'n driedimensionele beeld kon projekteer, wat die grootte verander het (verdraai) en verander in twee op-af of links-regs.
Lenat was 'n Ph.D. student in Rekenaarwetenskap aan die Stanford-universiteit, waar sy gepubliseerde navorsing outomatiese programsintese van toevoer/afvoerpare en uit natuurlike taalverhelderingsdialoë ingesluit het.[16]
In 1976 het Lenat sy Ph.D. in Rekenaarwetenskap van Stanford-universiteit, "AM: Discovery in mathematics as heuristic search" geborg deur ARPA.[17] Dit is herpubliseer as Kennis-gebaseerde stelsels in kunsmatige intelligensie,[18] saam met die Ph.D. proefskrif van Randall Davis, McGraw-Hill, 1982. Sy proefskrifadviseur was professor Cordell Green.
Sy tesis, AM (Automated Mathematician) was een van die eerste rekenaarprogramme wat probeer het om ontdekkings te maak, dit wil sê om 'n stellingvoorsteller eerder as 'n stellingbewyser te wees. Eksperimentering met die program het 'n siklus van kritiek en verbetering aangewakker. Baie kwessies moes hanteer word in die samestelling van so 'n program: hoe om kennis formeel, ekspressief en konkreet voor te stel, hoe om honderde heuristiese "interessantheids"-reëls te programmeer om die waarde van nuwe ontdekkings te oordeel, heuristiek vir wanneer om simbolies en induktief te redeneer teenoor wanneer om statisties uit frekwensiedata te redeneer, wat die argitektuur - die ontwerpbeperkings, waarom dit kan werk, en watter programme kan werk, hul "innerlike struktuur" kan wees. AM was een van die eerste stappe om te demonstreer dat rekenaarprogramme nuwe en kreatiewe ontdekkings kan maak.[19]
In 1976 het Lenat begin doseer as 'n assistent-professor in rekenaarwetenskap by Carnegie Mellon en het sy werk aan die KI-program Eurisko begin. Die beperking met AM was dat dit opgesluit was om 'n vaste stel interessantheidsheuristieke te volg; Eurisko, daarenteen, het sy heuristiese reëls as eersteklas-objekte voorgestel en dus kon dit nuwe heuristieke verken, manipuleer en ontdek net soos AM nuwe domeinkonsepte verken, gemanipuleer en ontdek het.
Lenat het in 1978 na Stanford teruggekeer as 'n assistent-professor in rekenaarwetenskap en het sy navorsing voortgesit om die Eurisko-outomatiese ontdekkings- en heuristiese-ontdekkingsprogram te bou. Eurisko het baie interessante ontdekkings gemaak en beduidende lof geniet, met Lenat se referaat "Heuretics: Theoretical and Experimental Study of Heuristic Rules"[20] wat die Beste Referaat-toekenning gewen het by die 1982 AAAI-konferensie.
Lenat (wat saam met John Seely Brown by Xerox PARC werk) het in 1984 'n ontleding gepubliseer van wat die beperkings van sy AM- en Eurisko-navorsingslyne was.[21] Dit het tot die gevolgtrekking gekom dat vordering in die rigting van werklike, algemene, simboliese KI 'n groot kennisbasis van "gesonde verstand", toepaslik geformaliseer en voorgestel, en 'n inferensie-enjin wat in staat is om tien- of honderde diep gevolgtrekkings en argumente te vind wat gevolg het uit die toepassing van daardie kennisbasis op spesifieke vrae en toepassings sou vereis.[22]
Die suksesse, en ontleding van die beperkings, van hierdie AM- en Eurisko-benadering tot KI, en die slotpleidooi vir die massiewe (multi-duisend-persoon-jaar, dekades lange) R&D-poging wat nodig sou wees om daardie bottelnek vir KI te breek, het in 1982 tot aandag gelei van Admiraal Bob Inman en die destyds-vormende MCC-navorsing in Texas. Hy word hoofwetenskaplike van MCC vanaf 1984–1994, hoewel hy selfs na hierdie tydperk voortgegaan het om terug te keer na Stanford om ongeveer een kursus per jaar te onderrig. By die 400-persoon MCC kon Lenat 'n paar dosyn navorsers op daardie gesonde verstand-kennisbasis laat werk, eerder as net 'n paar gegradueerde studente.
Die vrugte van die eerste dekade van N&O op Cyc[23] is aan die einde van 1994 uit MCC in 'n maatskappy, Cycorp, geskuif. In 1986 het hy geskat dat die poging om Cyc te voltooi ten minste 250 000 reëls en 1 000 persoonsjare se moeite sou wees,[24] met waarskynlik twee keer soveel teen 2017. Hy en sy span het ongeveer 2000 persoon-jaregespandeer in 'n poging om Cyc te bou, wat ongeveer 24 miljoen reëls en bewerings skep (nie "feite ingesluit nie").
Lenat het tot sy dood as uitvoerende hoof van Cycorp aan Cyc bly werk. Terwyl die eerste dekade van werk aan Cyc (1984–1994) gefinansier is deur groot Amerikaanse maatskappye wat langtermynnavorsingsfondse saamgevoeg het om met die Japanese Fifth Generation Computer Project mee te ding, en die tweede dekade (1995–2006) van werk aan Cyc deur Amerikaanse regeringsagentskappe se navorsingskontrakte gefinansier is, is die derde dekade tot en met die huidige toepassing (2007–2023) groot kommersiële steun ontvang. Cyc, insluitend in die finansiëledienste-, energie- en gesondheidsorgareas.[25] Een van hierdie latere projekte was 'n leer-deur-onderrig-toepassing genaamd Mathcraft.[26]
Lenat was getroud met Merle Baruch, met wie hy 'n dogter gehad het;[27] hulle is geskei en hy het later met Cycorp se sakebestuurder Mary Shepherd getrou.[28] Hy is op 31 Augustus 2023 op die ouderdom van 72 aan galbuiskanker dood.[29][15]
Doug Lenat in sy kantoor by Cycorp."Intelligensie is tien miljoen reëls."[30] Dit verwys na die voorafgaande en stilswyende kennis wat skrywers veronderstel dat hul lesers almal besit (soos "as persoon x persoon y ken, dan kan x se sterfdatum nie vroeër as y se geboortedatum wees nie"), sonder om die veel groter aantal "feite" te tel soos wat 'n mens in Wikipedia of Google kan vind.
"Die tyd kan aanbreek wanneer 'n baie uitgebreide Cyc ontelbare sagtewaretoepassings sal onderlê. Maar om daardie doelwit te bereik kan maklik nog twee dekades neem."[31]
"Sodra jy 'n werklik massiewe hoeveelheid inligting het wat as kennis geïntegreer is, dan sal die mens-sagteware-stelsel bomenslik wees, in dieselfde sin dat die mensdom met skryf bomenslik is in vergelyking met die mensdom voor skryf."[32]
"Soms is die fineer van intelligensie nie genoeg nie."[33]
“As rekenaars mense was, sou hulle hulself as outisties, skisofrenies of andersins bros voorgehou het. Dit sal onverstandig of gevaarlik wees vir daardie persoon om vir kinders te sorg en maaltye te kook, maar dit is op die horison vir huisrobotte. Dit is soos om te sê: 'Ons het 'n belangrike werk om te doen, maar ons gaan honde en katte huur om dit te doen.'”[34]
"Wat ons nodig gehad het, sê hy, is niks minder nie as 'n "AI Manhattan-projek", 'n volledige frontale aanval op gesonde verstand: die uitdaging is om 'n "Encyclopédia of Common sense" te skep", Michio Kaku haal Lenat aan.[35]
↑Lenat, Douglas B. (1995). "Artificial Intelligence". Scientific American. 273 (3): 80–82. JSTOR24981725.
↑Lenat, Douglas; Greiner, Russell (1980). "RLL: A Representation Language Language". Proceedings of the First AAAI Conference. 1.
↑Lenat, Douglas B.; Hayes-Roth, Frederick; Klahr, Philip (1979). "Cognitive Economy in Artificial Intelligence Systems". Proceedings of the 6th International Joint Conference on Artificial Intelligence - Volume 1. IJCAI'79. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.: 531–536. ISBN978-0934613477.
↑Lenat, D. B. (Maart 1989). "Ontological versus knowledge engineering". IEEE Transactions on Knowledge and Data Engineering. 1 (1): 84–88. doi:10.1109/69.43405. ISSN1041-4347.
↑Lenat, DB; Fishwick, PA; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). "STRADS: A Strategic Automatic Discovery System". Knowledge-based Simulation: Methodology and Application.
↑Lenat, Douglas. "The Heuristics of Nature: The Plausible Mutation of DNA." Stanford Heuristic Programming Project, 1980, technical report HPP-80-27.
↑Lenat, Douglas B. (1983). "The Role of Heuristics in Learning by Discovery: Three Case Studies". Machine Learning. Symbolic Computation (in Engels). Springer, Berlin, Heidelberg. pp. 243–306. doi:10.1007/978-3-662-12405-5_9. ISBN9783662124079.
↑Lenat, Douglas (1982). "The Nature of Heuristics". Journal of Artificial Intelligence. 19.
↑Lenat, Douglas (1983). "The Nature of Heuristics II: Theory formation by heuristic search". Journal of Artificial Intelligence. 20.
↑Lenat, Douglas (1983). "The Nature of Heuristics III: Eurisko". Journal of Artificial Intelligence. 20.
↑Lenat, Douglas (1984). "The Nature of Heuristics IV: Why AM and Eurisko Appear to Work". Journal of Artificial Intelligence. 23.
↑"argiefkopie". Geargiveer vanaf die oorspronklike op 12 Oktober 2017. Besoek op 17 Maart 2025.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
↑Wired Staff. "The Wired 25". WIRED (in Engels (VSA)). Besoek op 29 November 2017.
↑“Progress Report on Program Understanding Systems.” C. Cordell Green, 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
↑Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983). "Knoesphere: Building Expert Systems with Encyclopedic Knowledge". Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1. IJCAI'83: 167–169.
↑Lenat, Douglas (1988). "The Case for Inelegance". Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications, Tokyo, Mei 1988.
Verenigde State
