stringtranslate.com

Дуглас Ленат

Дуглас Брюс Ленат (13 сентября 1950 г. — 31 августа 2023 г.) — американский учёный и исследователь в области искусственного интеллекта [1] [2] , основатель и генеральный директор Cycorp , Inc. в Остине, штат Техас .

В 1976 году Ленат был награжден премией IJCAI Computers and Thought Award за создание программы машинного обучения AM . Он работал над (символическим, а не статистическим) машинным обучением (со своими программами AM и Eurisko ), представлением знаний, [3] «когнитивной экономикой», [4] системами классной доски и тем, что он назвал в 1984 году « онтологической инженерией » [5] (со своей программой Cyc в MCC и, с 1994 года, в Cycorp ). Он также работал над военным моделированием [6] и многочисленными проектами для правительства США, военных, разведывательных и научных организаций. В 1980 году он опубликовал критику традиционного дарвинизма случайных мутаций. [7] [8] Он написал серию статей [9] [10] [11] [12] в журнале Journal of Artificial Intelligence, исследуя природу эвристических правил.

Ленат был одним из первых членов AAAI и единственным человеком, который работал в научных консультативных советах как Microsoft, так и Apple. Он был членом AAAS , AAAI и Cognitive Science Society , а также редактором J. Automated Reasoning , J. Learning Sciences и J. Applied Ontology . Он был одним из основателей TTI/Vanguard в 1991 году и членом его консультативного совета. [13] Он был назван одним из Wired 25. [14]

Происхождение и образование

Ленат родился в Филадельфии , США, 13 сентября 1950 года. [15] Когда ему было 5 лет, семья переехала в Уилмингтон, штат Делавэр , где его отец, Натан Ленат, владел заводом по розливу . [15] Его отец умер, когда ему было 13 лет, и семья вернулась в Пенсильванию, где он учился в средней школе Челтнема . [15] После школы он работал чистильщиком крысиных клеток и гусиных загонов в колледже Бивер , что побудило его изучить программирование как лучшую профессию. [15]

Он учился в Пенсильванском университете , зарабатывая на жизнь программированием, включая проектирование и разработку естественно-языкового интерфейса для руководства по операциям ВМС США в режиме онлайн . Он окончил его со степенью бакалавра по математике и физике, а также степенью магистра по прикладной математике, все в 1972 году. [15]

Для своей выпускной работы, частично под руководством Денниса Габора , он хотел отразить акустические волны в диапазоне 40 МГц от реальных объектов, записать их интерференционные картины на квадратном участке площадью 2 метра, фоторедуктировать их до квадратного изображения на пленке размером 10 мм, просвечивать лазером через пленку и таким образом проецировать трехмерный изображенный объект — т. е. первую известную акустическую голограмму . [ требуется ссылка ] Чтобы уладить спор с доктором Габором, Ленат сгенерировал на компьютере пятимерную голограмму, фоторедуктивно распечатав компьютерную распечатку интерференционной картины вращающегося и расширяющегося со временем шара, уменьшив большую двумерную бумажную распечатку до умеренно большой квадратной поверхности пленки площадью 5 см, через которую обычный лазерный луч затем мог проецировать трехмерное изображение, которое изменялось двумя независимыми способами (вращалось и изменялось в размере) при перемещении пленки вверх-вниз или влево-вправо. [ требуется ссылка ]

Ленат был аспирантом по компьютерным наукам в Стэнфордском университете, где его опубликованные исследования включали автоматический синтез программ из пар ввода/вывода и из диалогов пояснения естественного языка. [16]

Исследовать

Ленат получил докторскую степень по информатике в Стэнфордском университете по теме «AM: Открытие в математике как эвристический поиск» (опубликовано под названием « Системы, основанные на знаниях , в искусственном интеллекте» [17] вместе с докторской диссертацией Рэндалла Дэвиса, McGraw-Hill, 1982) в 1976 году. [ необходима ссылка ] Его научным руководителем был профессор Корделл Грин .

Его диссертация, AM (Automated Mathematician), была одной из первых компьютерных программ, которая пыталась делать открытия, т. е. быть предлагателем теорем, а не доказателем теорем . Эксперименты с программой подпитывали цикл критики и усовершенствований. При создании такой программы приходилось решать множество вопросов: как представлять знания формально, выразительно и конкретно, как программировать сотни эвристических правил «интересности», чтобы судить о ценности новых открытий, эвристики для того, когда рассуждать символически и индуктивно, а когда рассуждать статистически на основе частотных данных, какова может быть архитектура — ограничения дизайна — таких программ рассуждений, почему эвристики работают и какова может быть их «внутренняя структура». AM была одним из первых шагов к демонстрации того, что компьютерные программы могут делать новые и творческие открытия. [18]

В 1976 году Ленат начал преподавать в качестве доцента компьютерных наук в Университете Карнеги-Меллона и начал работу над программой искусственного интеллекта Eurisko . Ограничением AM было то, что она была ограничена следованием фиксированному набору эвристик интересности; Eurisko, напротив, представляла свои эвристические правила как объекты первого класса и, следовательно, могла исследовать, манипулировать и открывать новые эвристики так же, как AM исследовала, манипулировала и открывала новые концепции предметной области. [ необходима цитата ]

Ленат вернулся в Стэнфорд в качестве доцента компьютерных наук в 1978 году и продолжил свои исследования, создавая программу автоматизированного открытия и эвристического открытия Eurisko. Eurisko сделала много интересных открытий и получила значительное признание, а статья Лената "Эвритика: теоретическое и экспериментальное исследование эвристических правил" [19] получила награду за лучшую статью [ требуется ссылка ] на конференции AAAI 1982 года .

Призыв к «здравому смыслу»

Ленат (работая с Джоном Сили Брауном в Xerox PARC) опубликовал в 1984 году анализ ограничений его направлений исследований AM и Eurisko. [20] В нем сделан вывод о том, что для продвижения к реальному, общему, символическому ИИ потребуется обширная база знаний «здравого смысла», соответствующим образом формализованная и представленная, а также механизм вывода, способный находить выводы и аргументы глубиной в десятки или сотни, которые следуют из применения этой базы знаний к конкретным вопросам и приложениям. [21]

Успехи и анализ ограничений этого подхода AM и Eurisko к ИИ, а также заключительный призыв к массивным (многотысячным человеко-годам, десятилетиями) усилиям по НИОКР, которые потребуются для преодоления этого узкого места в ИИ, привлекли внимание в 1982 году адмирала Боба Инмана и тогдашнего исследовательского консорциума MCC в Остине, штат Техас , что привело к тому, что Ленат стал главным научным сотрудником MCC с 1984 по 1994 год, хотя он продолжал даже после этого периода возвращаться в Стэнфорд, чтобы преподавать примерно один курс в год. В MCC с 400 сотрудниками Ленат смог привлечь несколько десятков исследователей, работающих над этой базой знаний здравого смысла , а не просто нескольких аспирантов. [ необходима цитата ]

Кикорп

Плоды первого десятилетия НИОКР по Cyc [22] были выделены из MCC в компанию Cycorp в конце 1994 года. В 1986 году он подсчитал, что для завершения Cyc потребуется не менее 250 000 правил и 1000 человеко-лет работы [23] , вероятно, вдвое больше, а к 2017 году он и его команда потратили около 2000 человеко-лет работы на создание Cyc, создав около 24 миллионов правил и утверждений (не считая «фактов»). [ необходима цитата ]

Ленат продолжал работать над Cyc в качестве генерального директора Cycorp до самой своей смерти. В то время как первое десятилетие работы над Cyc (1984–1994) финансировалось крупными американскими компаниями, объединявшими долгосрочные исследовательские фонды для конкуренции с японским проектом Fifth Generation Computer , а второе десятилетие (1995–2006) работы над Cyc финансировалось исследовательскими контрактами правительственных агентств США, третье десятилетие вплоть до настоящего времени (2007–2023) в значительной степени поддерживалось коммерческими приложениями Cyc, в том числе в сфере финансовых услуг, энергетики и здравоохранения. [24] Одним из этих более поздних проектов было приложение для обучения посредством преподавания под названием Mathcraft. [25]

Личная жизнь и смерть

Ленат был женат на Мерле Барух, от которой у него родилась дочь; [26] они развелись, и позже он женился на бизнес-менеджере Cycorp Мэри Шепард. [27] Он умер от рака желчных протоков 31 августа 2023 года в возрасте 72 лет. [28] [15]

Кавычки

Дуг Ленат в своем офисе в Cycorp

Сочинения

Ссылки

  1. ^ Вне их рассудка - Жизни и открытия 15 великих ученых-компьютерщиков | Деннис Шаша | Springer. Copernicus. Copernicus. 1998. ISBN 9780387982694.
  2. ^ Ленат, Дуглас Б. (1995). «Искусственный интеллект». Scientific American . 273 (3): 80–82. JSTOR  24981725.
  3. ^ Ленат, Дуглас; Грейнер, Рассел (1980). «RLL: Язык представления». Труды первой конференции AAAI . 1 .
  4. ^ Lenat, Douglas B.; Hayes-Roth, Frederick; Klahr, Philip (1979). «Когнитивная экономика в системах искусственного интеллекта». Труды 6-й Международной объединенной конференции по искусственному интеллекту — Том 1. IJCAI'79. Сан-Франциско, Калифорния, США: Morgan Kaufmann Publishers Inc.: 531–536. ISBN 978-0934613477.
  5. ^ Lenat, DB (март 1989). «Онтологическая инженерия против инженерии знаний». IEEE Transactions on Knowledge and Data Engineering . 1 (1): 84–88. doi :10.1109/69.43405. ISSN  1041-4347.
  6. ^ Lenat, DB; Fishwick, PA; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). "STRADS: Стратегическая автоматическая система обнаружения". Моделирование на основе знаний: методология и применение .
  7. ^ Ленат, Дуглас. «Эвристика природы: вероятная мутация ДНК». Стэнфордский проект эвристического программирования, 1980, технический отчет HPP-80-27.
  8. ^ Lenat, Douglas B. (1983). "Роль эвристики в обучении путем открытия: три тематических исследования". Машинное обучение . Символические вычисления. Springer, Берлин, Гейдельберг. стр. 243–306. doi :10.1007/978-3-662-12405-5_9. ISBN 9783662124079.
  9. ^ Ленат, Дуглас (1982). «Природа эвристики». Журнал искусственного интеллекта . 19 .
  10. ^ Ленат, Дуглас (1983). «Природа эвристики II: Формирование теории путем эвристического поиска». Журнал искусственного интеллекта . 20 .
  11. ^ Ленат, Дуглас (1983). «Природа эвристики III: Eurisko». Журнал искусственного интеллекта . 20 .
  12. ^ Ленат, Дуглас (1984). «Природа эвристики IV: почему AM и Eurisko, по-видимому, работают». Журнал искусственного интеллекта . 23 .
  13. ↑ Архивировано 12 октября 2017 г. на Wayback Machine.
  14. ↑ Wired Staff. «The Wired 25». WIRED . Получено 29 ноября 2017 г.
  15. ^ abcdef Метц, Кейд (4 сентября 2023 г.). «Дуглас Ленат, пытавшийся сделать ИИ более человечным, умер в возрасте 72 лет». The New York Times . Получено 4 сентября 2023 г. .
  16. ^ «Отчет о ходе работы над системами понимания программ». C. Cordell Green , Richard J. Waldinger, David R. Barstow, Robert Elschlager, Douglas B. Lenat, Brian P. McCune, David E. Shaw и Louis I. Steinberg. Memo AIM-240, Report STAN-CS-74-444, Лаборатория искусственного интеллекта, Кафедра компьютерных наук, Стэнфордский университет, Стэнфорд, Калифорния, август 1974 г.
  17. ^ Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте: 2 практических примера. Нью-Йорк, Нью-Йорк, США: McGraw-Hill, Inc. ISBN 978-0070155572.
  18. ^ Ленат, Дуглас Б.; Грегори, Харрис (1977). «Проектирование системы правил, которая ищет научные открытия».
  19. ^ "Эвритики: Теоретическое и экспериментальное исследование эвристических правил". www.aaai.org . Получено 6 ноября 2017 г. .
  20. ^ Lenat, Douglas B.; Brown, John Seely (1 августа 1984 г.). «Почему am и eurisko, по-видимому, работают». Искусственный интеллект . 23 (3): 269–294. CiteSeerX 10.1.1.565.8830 . doi :10.1016/0004-3702(84)90016-X. 
  21. ^ Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983). «Knoesphere: Building Expert Systems with Encyclopedic Knowledge». Труды Восьмой международной совместной конференции по искусственному интеллекту — Том 1. IJCAI'83: 167–169.
  22. ^ Ленат, Дуглас. «Наследие Хэла: компьютер 2001 года как мечта и реальность. От 2001 до 2001: здравый смысл и разум HAL». Cycorp, Inc. Архивировано из оригинала 6 октября 2006 г. Получено 26 сентября 2006 г.
  23. ^ Понимание компьютеров: искусственный интеллект . Амстердам: Time-Life Books . 1986. стр. 84. ISBN 978-0-7054-0915-5.
  24. ^ Lenat, Douglas; Witbrock, Michael; Baxter, David; Blackstone, Eugene; Deaton, Chris; Schneider, Dave; Scott, Jerry; Shepard, Blake (28 июля 2010 г.). «Использование Cyc для ответа на специальные запросы клинических исследователей». AI Magazine . 31 (3): 13–32. doi : 10.1609/aimag.v31i3.2299 . ISSN  0738-4602.
  25. ^ Lenat, Douglas B.; Durlach, Paula J. (1 сентября 2014 г.). «Укрепление математических знаний путем погружения студентов в имитацию обучения через преподавание». Международный журнал искусственного интеллекта в образовании . 24 (3): 216–250. doi : 10.1007/s40593-014-0016-x . ISSN  1560-4292. S2CID  72571.
  26. ↑ Кали Шилох (16 ноября 2023 г.), «Он научил ИИ фактам жизни», Stanford Magazine
  27. ^ «Одинокий крестовый поход одного гения, чтобы научить компьютер здравому смыслу». Wired . 24 марта 2016 г. Получено 2 сентября 2023 г.
  28. ↑ Некролог Дугласа Лената
  29. ^ Ленат, Дуглас (1988). «Дело в неэлегантности». Труды Международного семинара по искусственному интеллекту для промышленных приложений, Токио, май 1988 г.
  30. ^ Вуд, Ламонт. Cycorp: Стоимость здравого смысла, Technology Review , март 2005 г.
  31. ↑ Майкл А. Хилтзик (21 июня 2001 г.), «Рождение мыслящей машины», Los Angeles Times
  32. ^ "Иногда видимости интеллекта недостаточно | CogWorld" .cognitiveworld.com . Получено 29 ноября 2017 г.
  33. ↑ С любовью, Дилан (2 июля 2014 г.). «Самый амбициозный проект искусственного интеллекта в мире уже 30 лет работает практически в обстановке секретности». Business Insider . Получено 7 октября 2020 г.
  34. ^ Каку, Мичио (4 марта 1999 г.). Видения: как наука произведет революцию в 21 веке. OUP Oxford. стр. 64. ISBN 978-0-19-288018-5.
  35. ^ Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983). «Экспертная система для анализа показаний и предупреждений». Труды Восьмой международной совместной конференции по искусственному интеллекту — Том 1. IJCAI'83: 259–262.
  36. ^ Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Интелл . 47 (1–3): 185–250. дои : 10.1016/0004-3702(91)90055-О. ISSN  0004-3702.
  37. ^ Lenat, Douglas B.; Guha, RV (1 января 1990 г.). Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project . Reading, Mass.: Addison-Wesley. ISBN 9780201517521.
  38. ^ Кларк, Артур С. (6 февраля 1998 г.). Сторк, Дэвид Г. (ред.). HAL's Legacy: 2001's Computer as Dream and Reality (переиздание ред.). Кембридж, Массачусетс: The MIT Press. ISBN 9780262692113.
  39. ^ Lenat, Douglas B. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал AI . 29 (2). doi :10.1609/aimag.v29i2.2106. ISSN  0738-4602. Архивировано из оригинала 7 ноября 2017 г. Получено 7 ноября 2017 г.
  40. ^ Lenat, Douglas B. (13 апреля 2016 г.). «WWTS (Что сказал бы Тьюринг?)». AI Magazine . 37 (1): 97–101. doi : 10.1609/aimag.v37i1.2644 . ISSN  0738-4602.

Дальнейшее чтение

Внешние ссылки