✖


Jump to content

Дуглас Ленат

Дуглас Ленат
Рожденный ( 1950-09-13 ) 13 сентября 1950 г.
Филадельфия, Пенсильвания , США
Умер 31 августа 2023 г. (31 августа 2023 г.) (72 года)
Остин, Техас , США
Образование Пенсильванский университет , Стэнфордский университет (доктор философии)
Занятие Ученый-компьютерщик
Работодатель Сайкорп, Инк.
Известный Язык программирования Lisp , генеральный директор Cycorp , Inc. , AM , Eurisko , Cyc
Награды 1977 года Премия IJCAI в области компьютеров и мысли

Дуглас Брюс Ленат (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] в Журнале искусственного интеллекта, исследуя природу эвристических правил.

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

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

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

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

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

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

Исследования [ править ]

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

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

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

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

Призыв к «здравому смыслу» [ править ]

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

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

Сайкорп [ править ]

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

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

Личная жизнь и смерть [ править ]

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

Цитаты [ править ]

Дуг Ленат в своем офисе в Cycorp
  • «Разум – это десять миллионов правил». [28] Это относится к априорным и неявным знаниям, которыми, как предполагают авторы, обладают все их читатели (например, «если человек x знает человека y, то дата смерти x не может быть раньше, чем дата рождения y»), не считая гораздо большего числа «факты», которые можно найти в Википедии или в Google.
  • «Может наступить время, когда значительно расширенный Cyc ляжет в основу бесчисленных программных приложений. Но достижение этой цели может легко занять еще два десятилетия». [29]
  • «Как только вы получите действительно огромное количество информации, интегрированной в виде знаний, система «человек-программное обеспечение» станет сверхчеловеческой, в том же смысле, в каком человечество с письменностью станет сверхчеловеческим по сравнению с человечеством до письменности». [30]
  • «Иногда видимости интеллекта недостаточно». [31]
  • «Если бы компьютеры были людьми, они бы представили себя аутистами, шизофрениками или другими хрупкими людьми. Для этого человека было бы неразумно или опасно заботиться о детях и готовить еду, но это уже на горизонте для домашних роботов. Это все равно, что сказать: «У нас есть важная работа, но мы собираемся нанять для нее собак и кошек». [32]
  • «То, что нам нужно, — говорит он, — это не что иное, как « Манхэттенский проект искусственного интеллекта », полная лобовая атака на здравый смысл: задача состоит в том, чтобы создать Энциклопедию здравого смысла », — Мичио Каку Лената. цитирует [33]

Сочинения [ править ]

  • Браун, Джон Сили; Ленат, Дуглас (август 1983 г.). «Почему AM и Eurisko работают» . Материалы Национальной конференции по ИИ (AAAI–83) . Книга первая (Материалы конференции AAAI по искусственному интеллекту, 3): 236–240 . Проверено 3 мая 2024 г.
  • Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте . McGraw-Hill International Book Co. Нью-Йорк: ISBN  978-0-07-015557-2 .
  • Хейс-Рот, Фредерик; Уотерман, Дональд Артур; Ленат, Дуглас Б., ред. (1983). Построение экспертных систем . Ридинг, Массачусетс: Паб Addison-Wesley. компании ISBN  978-0-201-10686-2 .
  • Ленат, Дуглас Б. «Компьютерное программное обеспечение для интеллектуальных систем: обзор ИИ», журнал Scientific American, сентябрь 1984 г.
  • Ленат, Дуглас Б.; Кларксон, Альберт; Кирчмиджян, Гаро (1983). «Экспертная система для анализа показаний и предупреждений». Материалы восьмой международной совместной конференции по искусственному интеллекту. Том 1 . IJCAI'83. Сан-Франциско, Калифорния, США: Morgan Kaufmann Publishers Inc.: 259–262. [34]
  • Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Интелл . 47 (1–3): 185–250. дои : 10.1016/0004-3702(91)90055-О. ISSN 0004-3702. [35]
  • Ленат, Дуглас Б.; Гуха, Р.В. (1 января 1990 г.). Построение больших систем, основанных на знаниях: представление и вывод в проекте Cyc . Ридинг, Массачусетс: Аддисон-Уэсли. ISBN   9780201517521 . [36]
  • Ленат, Дуглас Б. С 2001 по 2001 год: здравый смысл и разум HAL [37]
  • Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал ИИ . 29 (2). дои : 10.1609/aimag.v29i2.2106. ISSN 0738-4602 [38]
  • Блэкстоун Э.Х., Ленат Д.Б. и Ишваран Х. Инфраструктура, необходимая для изучения того, какой уход лучше: методы, которые необходимо разработать , в (Олсен Л., Гроссман К. и МакГиннис М., ред.) Learning What Works: Инфраструктура, необходимая для сравнительного исследования эффективности . Серия исследований системы здравоохранения Института медицины, The National Academies Press, стр. 123–144, 2011 г.
  • Ленат Д.Б., Дурлах П. «Укрепление математических знаний путем погружения учащихся в смоделированный опыт обучения посредством преподавания». J. Международный журнал искусственного интеллекта в образовании. , 2014
  • Ленат, Дуглас Б. (13 апреля 2016 г.). «WWTS (Что бы сказал Тьюринг?)». Журнал ИИ . 37 (1): 97–101. дои : 10.1609/aimag.v37i1.2644. ISSN 0738-4602 [39]
  • См. также многие ссылки ниже.

Ссылки [ править ]

  1. ^ Они сошли с ума: жизнь и открытия 15 великих ученых-компьютерщиков | Денис Шаша | Спрингер . Коперник. Коперник. 1998. ISBN  9780387982694 .
  2. ^ Ленат, Дуглас Б. (1995). "Искусственный интеллект". Научный американец . 273 (3): 80–82. JSTOR   24981725 .
  3. ^ Ленат, Дуглас; Грейнер, Рассел (1980). «RLL: язык языка представления». Материалы первой конференции AAAI . 1 .
  4. ^ Ленат, Дуглас Б.; Хейс-Рот, Фредерик; Клар, Филип (1979). «Когнитивная экономика в системах искусственного интеллекта» . Материалы 6-й Международной совместной конференции по искусственному интеллекту. Том 1 . IJCAI'79. Сан-Франциско, Калифорния, США: Morgan Kaufmann Publishers Inc.: 531–536. ISBN  978-0934613477 .
  5. ^ Ленат, Д.Б. (март 1989 г.). «Онтология против инженерии знаний». Транзакции IEEE по знаниям и инженерии данных . 1 (1): 84–88. дои : 10.1109/69.43405 . ISSN   1041-4347 .
  6. ^ Ленат, Д.Б.; Фишвик, Пенсильвания; Моджески, РБ; Орески, CM; Кларксон, А; Кайслер, С. (1991). «STRADS: Стратегическая система автоматического обнаружения». Моделирование, основанное на знаниях: методология и применение .
  7. ^ Ленат, Дуглас. «Эвристика природы: вероятная мутация ДНК». Стэнфордский проект эвристического программирования, 1980, технический отчет HPP-80-27.
  8. ^ Ленат, Дуглас Б. (1983). «Роль эвристики в обучении путем открытия: три тематических исследования». Машинное обучение . Символическое вычисление. Шпрингер, Берлин, Гейдельберг. стр. 243–306. дои : 10.1007/978-3-662-12405-5_9 . ISBN  9783662124079 .
  9. ^ Ленат, Дуглас (1982). «Природа эвристики». Журнал искусственного интеллекта . 19 .
  10. ^ Ленат, Дуглас (1983). «Природа эвристики II: формирование теории путем эвристического поиска». Журнал искусственного интеллекта . 20 .
  11. ^ Ленат, Дуглас (1983). «Природа эвристики III: Эуриско». Журнал искусственного интеллекта . 20 .
  12. ^ Ленат, Дуглас (1984). «Природа эвристики IV: почему AM и Eurisko работают». Журнал искусственного интеллекта . 23 .
  13. ^ Проводной персонал. «Проводной 25» . ПРОВОДНОЙ . Проверено 29 ноября 2017 г.
  14. ^ Jump up to: Перейти обратно: а б с д и ж Мец, Кейд (4 сентября 2023 г.). «Дуглас Ленат, пытавшийся сделать ИИ более человечным, умер в возрасте 72 лет» . Нью-Йорк Таймс . Проверено 4 сентября 2023 г.
  15. ^ «Отчет о ходе разработки систем понимания программ». К. Корделл Грин , Ричард Дж. Уолдингер, Дэвид Р. Барстоу, Роберт Эльшлагер, Дуглас Б. Ленат, Брайан П. МакКьюн, Дэвид Э. Шоу и Луи И. Стейнберг. Меморандум AIM-240, отчет STAN-CS-74-444, Лаборатория искусственного интеллекта, факультет компьютерных наук, Стэнфордский университет, Стэнфорд, Калифорния, август 1974 г.
  16. ^ Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в области искусственного интеллекта: 2 тематических исследования . Нью-Йорк, штат Нью-Йорк, США: ISBN McGraw-Hill, Inc.  978-0070155572 .
  17. ^ Ленат, Дуглас Б.; Грегори, Харрис (1977). «Разработка системы правил поиска научных открытий» .
  18. ^ «Эуретика: теоретическое и экспериментальное исследование эвристических правил» . www.aaai.org . Проверено 6 ноября 2017 г.
  19. ^ Ленат, Дуглас Б.; Браун, Джон Сили (1 августа 1984 г.). «Почему am и eurisko работают». Искусственный интеллект . 23 (3): 269–294. CiteSeerX   10.1.1.565.8830 . дои : 10.1016/0004-3702(84)90016-X .
  20. ^ Ленат, Дуглас Б.; Борнинг, Алан; Макдональд, Дэвид; Тейлор, Крейг; Вейер, Стивен (1983). «Кноосфера: построение экспертных систем с энциклопедическими знаниями» . Материалы восьмой международной совместной конференции по искусственному интеллекту. Том 1 . IJCAI'83: 167–169.
  21. ^ Ленат, Дуглас . «Наследие Хэла: Компьютер 2001 года как мечта и реальность. С 2001 по 2001 год: здравый смысл и разум HAL» . Cycorp, Inc. Архивировано из оригинала 6 октября 2006 года . Проверено 26 сентября 2006 г.
  22. ^ Понимание компьютеров: искусственный интеллект . Амстердам: Книги Time-Life . 1986. с. 84. ИСБН  978-0-7054-0915-5 .
  23. ^ Ленат, Дуглас; Уитброк, Майкл; Бакстер, Дэвид; Блэкстоун, Юджин; Дитон, Крис; Шнайдер, Дэйв; Скотт, Джерри; Шепард, Блейк (28 июля 2010 г.). «Использование Cyc для ответа на специальные запросы клинических исследователей» . Журнал ИИ . 31 (3): 13–32. дои : 10.1609/aimag.v31i3.2299 . ISSN   0738-4602 .
  24. ^ Ленат, Дуглас Б.; Дурлах, Паула Дж. (1 сентября 2014 г.). «Укрепление математических знаний путем погружения учащихся в смоделированный опыт обучения через преподавание» . Международный журнал искусственного интеллекта в образовании . 24 (3): 216–250. дои : 10.1007/s40593-014-0016-x . ISSN   1560-4292 . S2CID   72571 .
  25. ^ Кали Шайло (16 ноября 2023 г.), «Он научил ИИ фактам из жизни» , Stanford Magazine
  26. ^ «Одинокий крестовый поход одного гения за то, чтобы научить компьютер здравому смыслу» . Проводной . 24 марта 2016 года . Проверено 2 сентября 2023 г.
  27. ^ Некролог Дугласа Лената
  28. ^ Ленат, Дуглас (1988). «Дело о неэлегантности». Материалы международного семинара по искусственному интеллекту для промышленного применения, Токио, май 1988 г.
  29. ^ Вуд, Ламонт. Cycorp: Цена здравого смысла , Обзор технологий , март 2005 г.
  30. ^ Майкл А. Хилцик (21 июня 2001 г.), «Рождение думающей машины» , Los Angeles Times
  31. ^ «Иногда видимости интеллекта недостаточно | CogWorld» . CognitiveWorld.com . Проверено 29 ноября 2017 г.
  32. ^ С любовью, Дилан (2 июля 2014 г.). «Самый амбициозный проект искусственного интеллекта в мире работает почти секретно вот уже 30 лет» . Бизнес-инсайдер . Проверено 7 октября 2020 г.
  33. ^ Каку, Мичио (4 марта 1999 г.). Видения: как наука произведет революцию в 21 веке . ОУП Оксфорд. п. 64. ИСБН  978-0-19-288018-5 .
  34. ^ Ленат, Дуглас Б.; Кларксон, Альберт; Кирчмиджян, Гаро (1983). «Экспертная система для анализа показаний и предупреждений» . Материалы восьмой международной совместной конференции по искусственному интеллекту. Том 1 . IJCAI'83: 259–262.
  35. ^ Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Интелл . 47 (1–3): 185–250. дои : 10.1016/0004-3702(91)90055-О . ISSN   0004-3702 .
  36. ^ Ленат, Дуглас Б.; Гуха, Р.В. (1 января 1990 г.). Построение больших систем, основанных на знаниях: представление и вывод в проекте Cyc . Ридинг, Массачусетс: Аддисон-Уэсли. ISBN  9780201517521 .
  37. ^ Кларк, Артур К. (6 февраля 1998 г.). Сторк, Дэвид Г. (ред.). Наследие HAL: Компьютер 2001 года как мечта и реальность (переиздание). Кембридж, Массачусетс: MIT Press. ISBN  9780262692113 .
  38. ^ Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?» . Журнал ИИ . 29 (2). дои : 10.1609/aimag.v29i2.2106 . ISSN   0738-4602 . Архивировано из оригинала 7 ноября 2017 года . Проверено 7 ноября 2017 г.
  39. ^ Ленат, Дуглас Б. (13 апреля 2016 г.). «WWTS (Что бы сказал Тьюринг?)» . Журнал ИИ . 37 (1): 97–101. дои : 10.1609/aimag.v37i1.2644 . ISSN   0738-4602 .

Дальнейшее чтение [ править ]

Внешние ссылки [ править ]


Retrieved from "https://en.wikipedia.org/w/index.php?title=Douglas_Lenat&oldid=1229793778"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 56011ef0b1d637954dc304d4813705e7__1718726940
URL1:https://arc.ask3.ru/arc/aa/56/e7/56011ef0b1d637954dc304d4813705e7.html
Заголовок, (Title) документа по адресу, URL1:
Douglas Lenat - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)