Quelltext der Seite Douglas Lenat

[[Datei:Dbl4.jpg|mini|hochkant|Douglas Lenat (2017)]]
'''Douglas Bruce Lenat''' (auch kurz ''Doug Lenat''; * [[13. September]] [[1950]] in [[Philadelphia]], [[Pennsylvania]]; † [[31. August]] [[2023]] in [[Austin]], [[Texas]]) war ein [[Vereinigte Staaten|US-amerikanischer]] Forscher im Bereich der [[Künstliche Intelligenz|Künstlichen Intelligenz]] (KI).

== Werdegang ==
Lenat studierte ab 1968 an der [[University of Pennsylvania]] mit dem [[Bachelor]]-Abschluss in [[Mathematik]] und [[Physik]] und dem [[Master]]-Abschluss in [[Angewandte Mathematik|angewandter Mathematik]] (beide 1972). Über einen Kurs von [[John W. Carr III.]] kam er dort zur Beschäftigung mit KI. Danach ging er an die [[Stanford University]] auf Einladung von [[John McCarthy]]. Da dieser aber bald darauf in einem [[Sabbatical]] abwesend war, befasste er sich unter [[Cordell Green]], der ihn in den empirischen Zugang zu KI-Programmen einführte, speziell mit Automatischen Beweissystemen. Für seine Doktorarbeit von 1976<ref>{{MathGenealogyProject|id=96260|name=Douglas Bruce Lenat}} abgerufen am 13. Juli 2024.</ref> entwickelte er das Programm ''Automated Mathematician'' (AM), das [[Heuristik]]en benutzte, um innerhalb der Welt des Programms „neue“ Erkenntnisse über Zahlen und mathematische Konzepte zu gewinnen. Es basierte auf 115 Konzepten der [[Mengenlehre]] und 243 heuristischen Regeln und Lenat konnte damit rund 300 mathematische Konzepte „entdecken“ wie elementare Arithmetik, aber auch Vermutungen wie die [[Goldbachvermutung]]. Allerdings verhielt es sich ganz anders, als Lenat ursprünglich erwartet hatte.<ref>Lenat: ''We thought it would discover different kinds of infinity and Cantor sets. It never discovered that stuff.'' Out of their Minds, S. 231</ref> Das Programm fand große Beachtung zum Beispiel bei [[George Pólya]] und [[Donald Knuth]].

Nach seiner Promotion war er zwei Jahre Assistant Professor an der [[Carnegie Mellon University]], bevor er an die Stanford University zurückkehrte. Er verfolgte zunächst seine Forschungen über Heuristiken weiter und entwickelte Eurisko, ein Programm, das neue Heuristiken ausprobiert. Er wandte es auf ein spezielles Kriegsspiel an (Traveller TCS) und war darin so erfolgreich, dass Lenat von den Initiatoren des Spiels ausgeschlossen wurde. Um 1983 fand Lenat, dass Heuristiken in der KI-Forschung in eine Sackgasse führten, da ein Programm vor allem Neues dazulernte ähnlich dem, was es schon wusste. Er folgerte daraus, dass die Wissensbasis des Programms zunächst so groß wie möglich gemacht werden sollte. Damit war das Cyc-Projekt geboren, das das Allgemeinwissen eines durchschnittlichen Erwachsenen aufnehmen sollte. Mit [[Marvin Minsky]] und [[Alan Kay]] überschlug Lenat den nötigen Aufwand und fand heraus, dass dazu rund eine Million [[Frames (Wissensrepräsentation)|Frames]] und zehn Jahre nötig wären. Sie fanden einen Finanzier in der ''Microelectronics and Computer Technology Corporation'' (MCC) in [[Austin (Texas)|Austin]], geleitet vom ehemaligen [[National Security Agency|NSA]] Chef Admiral [[Bobby Ray Inman]].

Bis zuletzt war er [[Chief Executive Officer|CEO]] der Firma Cycorp in Austin, die unter anderem die [[Wissensdatenbank]] [[Cyc]] entwickelt.

1977 erhielt er den [[IJCAI Computers and Thought Award]].

Douglas Lenat starb zwei Wochen vor seinem 73. Geburtstag in Austin.<ref>https://twitter.com/StanfordAILab/status/1697651534371402134</ref>

== Literatur ==
* Dennis Shasha, Cathy Lazere: ''Out of their minds. The lives and discoveries of 15 great computer scientists'', Copernicus 1998, Kapitel ''A twenty year bet''

== Weblinks ==
{{Commonscat}}
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lenat:Douglas_B=.html Liste mit Lenats wichtigen Veröffentlichungen]
* Thomas J. Schult: [https://www.zeit.de/1994/48/enzyklopaedie-der-banalitaeten/seite-3 ''Enzyklopädie der Banalitäten – Seit zehn Jahren werken US-Forscher am letzten Riesenprojekt maschineller Intelligenz.''] In: ''Die Zeit'' vom 25. November 1994, S.&nbsp;84.
* [https://zbmath.org/authors/lenat.douglas-b Douglas B. Lenat] in der Datenbank [[zbMATH]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|LCCN=n80045523|NDL=00470345|VIAF=93987822|GNDfehlt=ja|GNDCheck=2023-09-02}}

{{SORTIERUNG:Lenat, Douglas}}
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Physiker (20. Jahrhundert)]]
[[Kategorie:Person (Künstliche Intelligenz)]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1950]]
[[Kategorie:Gestorben 2023]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Lenat, Douglas
|ALTERNATIVNAMEN=Lenat, Douglas Bruce; Lenat, Doug
|KURZBESCHREIBUNG=US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz
|GEBURTSDATUM=13. September 1950
|GEBURTSORT=[[Philadelphia]], [[Pennsylvania]]
|STERBEDATUM=31. August 2023
|STERBEORT=[[Austin]], [[Texas]]
}}