| Property |
Value |
| dbo:abstract
|
- Douglas Bruce Lenat (auch kurz Doug Lenat; * 1950 in Philadelphia) ist ein US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz (KI). Lenat studierte ab 1968 an der University of Pennsylvania mit dem Bachelor-Abschluss in Mathematik und Physik und in der Folge den Master-Abschluss in 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 bei Automatischen Beweissystemen. Für seine Doktorarbeit von 1976 entwickelte er das Programm Automated Mathematician (AM), das Heuristiken 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. Andererseits verhielt es sich ganz anders, als Lenat ursprünglich erwartet hatte. 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, das Lenat von den Initiatoren des Spiels ausgeschlossen wurde. Um 1983 fand Lenat, das 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 er den nötigen Aufwand und fand, dass dazu rund 1 Million Frames und 10 Jahre nötig wären. Sie fanden einen Finanzier in der Microelectronics and Computer Technology Corporation (MCC) in Austin, geleitet vom ehemaligen NSA Chef Admiral Bobby Ray Inman. Derzeit ist er CEO der Firma Cycorp, Inc. in Austin, die unter anderem die Wissensdatenbank Cyc entwickelt. (de)
- Douglas Bruce Lenat (auch kurz Doug Lenat; * 1950 in Philadelphia) ist ein US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz (KI). Lenat studierte ab 1968 an der University of Pennsylvania mit dem Bachelor-Abschluss in Mathematik und Physik und in der Folge den Master-Abschluss in 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 bei Automatischen Beweissystemen. Für seine Doktorarbeit von 1976 entwickelte er das Programm Automated Mathematician (AM), das Heuristiken 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. Andererseits verhielt es sich ganz anders, als Lenat ursprünglich erwartet hatte. 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, das Lenat von den Initiatoren des Spiels ausgeschlossen wurde. Um 1983 fand Lenat, das 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 er den nötigen Aufwand und fand, dass dazu rund 1 Million Frames und 10 Jahre nötig wären. Sie fanden einen Finanzier in der Microelectronics and Computer Technology Corporation (MCC) in Austin, geleitet vom ehemaligen NSA Chef Admiral Bobby Ray Inman. Derzeit ist er CEO der Firma Cycorp, Inc. in Austin, die unter anderem die Wissensdatenbank Cyc entwickelt. (de)
|
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:lccn
| |
| dbo:viafId
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:geburtsdatum
| |
| prop-de:kurzbeschreibung
|
- US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz
|
| prop-de:typ
| |
| dc:description
|
- US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Douglas Bruce Lenat (auch kurz Doug Lenat; * 1950 in Philadelphia) ist ein US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz (KI). Lenat studierte ab 1968 an der University of Pennsylvania mit dem Bachelor-Abschluss in Mathematik und Physik und in der Folge den Master-Abschluss in 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 bei Automatischen Beweissystemen. Für seine Doktorarbeit von 1976 entwickelte er das Programm Automated Mathematician (AM), das Heuristiken benu (de)
- Douglas Bruce Lenat (auch kurz Doug Lenat; * 1950 in Philadelphia) ist ein US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz (KI). Lenat studierte ab 1968 an der University of Pennsylvania mit dem Bachelor-Abschluss in Mathematik und Physik und in der Folge den Master-Abschluss in 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 bei Automatischen Beweissystemen. Für seine Doktorarbeit von 1976 entwickelte er das Programm Automated Mathematician (AM), das Heuristiken benu (de)
|
| rdfs:label
|
- Douglas Lenat (de)
- Douglas Lenat (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:givenName
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Lenat, Douglas (de)
- Douglas Lenat
|
| foaf:nick
|
- Lenat, Douglas Bruce; Lenat, Doug (Kurzform) (de)
- Lenat, Douglas Bruce; Lenat, Doug (Kurzform) (de)
|
| foaf:surname
| |
| is dbo:developer
of | |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
