Дуглас Ленат | |
---|---|
англ. Douglas Bruce Lenat[1] ![]() | |
![]() | |
Народився | 13 вересня 1950[2][3][4] ![]() Філадельфія, Пенсільванія, США[5] ![]() |
Помер | 31 серпня 2023[6] (72 роки) ![]() Остін, США[6] ![]() ·bile duct cancerd[6] ![]() |
Країна | ![]() ![]() |
Діяльність | дослідник штучного інтелекту, математик, фізик, інформатик, автор ![]() |
Alma mater | Пенсільванський університет Стенфордський університет[3] ![]() |
Галузь | ШІ, база знань і онтологія ![]() |
Посада | професор[7] ![]() |
Науковий ступінь | доктор філософії[3] |
Науковий керівник | Едвард Фейгенбаум[8] ![]() |
Аспіранти, докторанти | Kino High Courseyd[8] ![]() |
Членство | Асоціація з розвитку штучного інтелекту ![]() |
Нагороди | |
![]() ![]() |
Дуглас Ленат (англ. Douglas B. Lenat) (1950—2023) — CEO Cycorp, Inc., Остін, Техас, і видатний дослідник штучного інтелекту, особливо машинного навчання (розробляв програми Automated Mathematician та Eurisko), системи представлення знань, «системи чорної дошки» та «конструювання онтологій» (програма Cyc).
Також він працював в військових проектах. Ленат також є членом AAAI.
В проекті Cyc Ленат намагався побудувати основу штучного інтелекту вручну записуючи знання формальною мовою, CycL, яка базується на численні предикатів першого порядку.
Ленат отримав ступінь бакалавра з математики та фізики у Пенсильванському університеті, а ступінь магістра з прикладної математики в 1972. Ступінь доктора філософії отримав від Стенфордського університету у 1976 (тези докторської опубліковані в Knowledge-based systems in artificial intelligence, разом з тезами докторської Рендела Девіса, McGraw-Hill, 1982).[9] Його керівником був професор Едвард Фейгенбаум.
В 1976 Ленат почав викладання в університеті Карнегі-Меллон, і почав роботу над Eurisko, але в 1978 повернувся в Стенфорд для викладання. Його робота над Eurisko в 1982 привернула увагу DARPA та компанії MCC з міста Остін (Техас). В 1984 він залишив Стенфорд щоб почати роботу над Cyc,[10] робота над яким перенеслась з MCC в Cycorp у 1994. В 1986, він оцінив зусилля з завершення Cyc в 250,000 правил та 350 людино років.[11]
Станом на 2017 рік продовжує працювати з Cyc в Cycorp.