Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Дуглас Ленат
Dbl4.jpg
Родившийся13 сентября 1950 г.
Филадельфия, Пенсильвания
НациональностьСоединенные Штаты
ОбразованиеУниверситет Пенсильвании , Стэнфордский университет (доктор философии)
Род занятийСпециалист в области информатики
РаботодательCycorp, Inc.
ИзвестенLisp язык программирования , генеральный директор по Cycorp, Inc. , AM , EURISKO , Сус
Награды1977 IJCAI Компьютеры и премия мысли

Дуглас Брюс Lenat (родился в 1950 году) является генеральный директор по Cycorp, Inc. в Остине, штат Техас , и был видным исследователем [1] в области искусственного интеллекта ; [2] в 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 и Общества когнитивных наук , а также редактором журналов J. Automated Reasoning , J. Learning Sciences и J. Applied Ontology . Он был одним из основателей TTI / Vanguard в 1991 году и остается членом его консультативного совета до 2017 года. Он был назван одним из Wired 25. [13]

Предпосылки и образование [ править ]

Ленат родилась 13 сентября 1950 года в Филадельфии, штат Пенсильвания, и выросла там, а в возрасте от 5 до 15 лет - в Уилмингтоне, штат Делавэр. Он учился в средней школе Челтнема в Винкот, штат Пенсильвания, где его внешкольная работа в соседнем Бивер-колледже чистила клетки для крыс, а затем гусиные загоны, что побудило его научиться программировать как путь к совершенно другой работе после школы и летом. , и в конечном итоге карьера.

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

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

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

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

Он получил докторскую степень. получил степень доктора компьютерных наук в Стэнфордском университете (опубликовано как системы искусственного интеллекта , основанные на знаниях [15] вместе с докторской диссертацией Рэндалла Дэвиса, Макгроу-Хилл, 1982) в 1976 году. Его научным руководителем был профессор Корделл Грин, и в его диссертационный / устный комитет входили профессора Эдвард Фейгенбаум , Джошуа Ледерберг , Пол Коэн , Аллен Ньюэлл , Герберт Саймон , Брюс Бьюкенен , Джон Маккарти и Дональд Кнут .

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

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

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

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

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

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

Cycorp [ править ]

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

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

Среди недавних приложений Cyc есть одно необычное, MathCraft , которое помогает ученикам средней школы глубже понимать математику. [23] У большинства людей был опыт, когда мы думали, что что-то понимаем, но понимали только по- настоящемукогда нам приходилось объяснять или учить этому кого-то еще. Несмотря на это, почти во всех инструкциях с использованием ИИ ИИ играет роль учителя. Напротив, в Mathcraft ИИ Cyc играет роль однокурсника, который всегда немного больше сбит с толку, чем вы, пользователь. Когда вы даете MathCraft хороший совет, он позволяет этому аватару делать меньше ошибок такого рода, и с точки зрения пользователя кажется, что он чему-то его научил. Подобная парадигма обучения через обучение может найти широкое применение в будущих областях, где будет задействовано обучение.

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

Дуг Ленат в своем офисе в Cycorp
  • «Интеллект - это десять миллионов правил». [24] Это относится к предварительному и неявному знанию, которым, по мнению авторов, обладают все их читатели (например, «если человек x знает человека y, то дата смерти x не может быть раньше даты рождения y»), не считая значительно большее количество «фактов», которые можно найти в Википедии или в Google.
  • «Может наступить время, когда значительно расширенный Cyc будет лежать в основе бесчисленных программных приложений. Но достижение этой цели может легко занять еще два десятилетия». [25]
  • «Как только у вас будет действительно огромный объем информации, интегрированной в виде знаний, тогда система человеко-программного обеспечения станет сверхчеловеческой в ​​том же смысле, в каком человечество с письмом (или сам язык) является сверхчеловеческим по сравнению с человечеством до письма (или самим языком). Мы оглядываемся на доязыковых пещерных людей и думаем: «Они ведь не совсем люди, не так ли?» Точно так же наши потомки будут оглядываться на homo sapiens до появления ИИ с именно этой смесью инаковости и жалости ». [ Эта цитата требует цитирования ]
  • «Иногда внешнего вида интеллекта недостаточно». [26]
  • «Если бы компьютеры были людьми, они бы представили себя аутистами, шизофрениками или другими хрупкими людьми. Было бы неразумно или опасно для этого человека заботиться о детях и готовить еду, но это уже не за горами для домашних роботов. Это все равно, что сказать: «У нас есть важная работа, но мы собираемся нанять для нее собак и кошек» » [27].

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

  • «Почему AM и Eurisko работают» (Ленат и Джон Сили Браун), Труды Национальной конференции по ИИ (AAAI-83) , Вашингтон, округ Колумбия, август 1983 г.
  • Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте . Нью-Йорк: ISBN McGraw-Hill International Book Co. 978-0-07-015557-2.
  • Хейс-Рот, Фредерик; Уотерман, Дональд Артур; Ленат, Дуглас Б., ред. (1983). Построение экспертных систем . Чтение, Массачусетс: Аддисон-Уэсли Паб. Co. ISBN 978-0-201-10686-2.
  • `Ленат, Дуглас Б." Компьютерное программное обеспечение для интеллектуальных систем: обзор ИИ "в журнале Scientific American, сентябрь 1984 г.
  • Ленат, Дуглас Б.; Кларксон, Альберт; Кирмиджян, Гаро (1983). «Экспертная система для анализа индикаторов и предупреждений». Труды Восьмой Международной совместной конференции по искусственному интеллекту - Том 1 . IJCAI'83. Сан-Франциско, Калифорния, США: Morgan Kaufmann Publishers Inc .: 259–262. [28]
  • Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Intell . 47 (1-3): 185–250. DOI : 10.1016 / 0004-3702 (91) 90055-O. ISSN  0004-3702. [29]
  • Ленат, Дуглас Б.; Гуха, Р.В. (01.01.1990). Построение больших систем, основанных на знаниях: представление и вывод в циклическом проекте . Ридинг, Массачусетс: Эддисон-Уэсли. ISBN 9780201517521 . [30] 
  • Ленат, Дуглас Б. С 2001 по 2001 год: здравый смысл и разум HAL [31]
  • Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал AI . 29 (2). DOI : 10,1609 / aimag.v29i2.2106. ISSN  0738-4602 [32]
  • Blackstone EH, Lenat, DB и Ishwaran H. Инфраструктура, необходимая для того, чтобы узнать, какой уход является лучшим: методы, которые необходимо разработать , в (Olsen L., Grossman, C., and McGinnis, M., eds.) Learning What Works: Инфраструктура, необходимая для сравнительного исследования эффективности . Серия изданий Института медицины, изучающая систему здравоохранения, The National Academies Press, стр. 123–144, 2011 г.
  • Ленат Д.Б., Дурлах П. «Укрепление математических знаний путем погружения студентов в имитацию обучения посредством преподавания». J. Международный журнал искусственного интеллекта в образовании. , 2014 г.
  • Ленат, Дуглас Б. (13 апреля 2016 г.). «WWTS (Что бы сказал Тьюринг?)». Журнал AI . 37 (1): 97–101. DOI : 10,1609 / aimag.v37i1.2644. ISSN  0738-4602 [33]
  • См. Также многие ссылки ниже.

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

  1. ^ Из их разума - Жизни и открытия 15 великих компьютерных ученых | Деннис Шаша | Springer . Коперник. Коперник. 1998. ISBN. 9780387982694.
  2. ^ Ленат, Дуглас Б. (1995). "Искусственный интеллект". Scientific American . 273 (3): 80–82. JSTOR 24981725 . 
  3. ^ Ленат, Дуглас и Грейнер, Рассел (1980). «RLL: язык представления». Труды Первой конференции AAAI . 1 .CS1 maint: несколько имен: список авторов ( ссылка )
  4. ^ Ленат, Дуглас Б .; Хейс-Рот, Фредерик; Клар, Филипп (1979). Когнитивная экономика в системах искусственного интеллекта . Труды 6-й Международной совместной конференции по искусственному интеллекту - Том 1 . IJCAI'79. Сан-Франциско, Калифорния, США: Morgan Kaufmann Publishers Inc., стр. 531–536. ISBN 978-0934613477.
  5. ^ Lenat, DB (март 1989). «Онтология против инженерии знаний». IEEE Transactions по разработке знаний и данных . 1 (1): 84–88. DOI : 10.1109 / 69.43405 . ISSN 1041-4347 . 
  6. ^ Lenat DB Фишвик PA, Modjeski RB, Oresky CM, Clarkson A, Kaisler S (1991). «STRADS: стратегическая автоматическая система обнаружения». Моделирование, основанное на знаниях: методология и применение .
  7. ^ Ленат, Дуглас. «Эвристика природы: правдоподобная мутация ДНК». Стэнфордский проект эвристического программирования, 1980, технический отчет HPP-80-27.
  8. ^ Ленат, Дуглас Б. (1983). «Роль эвристики в обучении путем открытий: три тематических исследования». Машинное обучение . Символическое вычисление. Шпрингер, Берлин, Гейдельберг. С. 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. ^ Персонал, проводной. «Проводной 25» . ПРОВОДНОЙ . Проверено 29 ноября 2017 .
  14. ^ «Отчет о ходе работы над системами понимания программ». К. Корделл Грин, Ричард Дж. Уолдингер, Дэвид Р. Барстоу, Роберт Эльшлагер, Дуглас Б. Ленат, Брайан П. МакКьюн, Дэвид Э. Шоу и Луи И. Стейнберг. Меморандум AIM-240, отчет STAN-CS-74-444, Лаборатория искусственного интеллекта, факультет компьютерных наук, Стэнфордский университет, Стэнфорд, Калифорния, август 1974 г.
  15. ^ Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте: 2 тематических исследования . Нью-Йорк, Нью-Йорк, США: ISBN McGraw-Hill, Inc. 978-0070155572.
  16. ^ Б., Ленат, Дуглас; Грегори, Харрис (1977). «Разработка системы правил, которая ищет научные открытия» . Цитировать журнал требует |journal=( помощь )
  17. ^ "Эвристика: теоретическое и экспериментальное изучение эвристических правил" . www.aaai.org . Проверено 6 ноября 2017 .
  18. ^ Ленат, Дуглас Б .; Браун, Джон Сили (1984-08-01). «Почему am и eurisko работают?». Искусственный интеллект . 23 (3): 269–294. CiteSeerX 10.1.1.565.8830 . DOI : 10.1016 / 0004-3702 (84) 90016-X . 
  19. ^ Ленат, Дуглас Б .; Борнинг, Алан; Макдональд, Дэвид; Тейлор, Крейг; Вейер, Стивен (1983). «Knoesphere: построение экспертных систем с энциклопедическими знаниями» . Труды Восьмой Международной совместной конференции по искусственному интеллекту - Том 1 . IJCAI'83: 167–169.
  20. ^ Ленат, Дуглас . «Наследие Хэла: компьютер 2001 года как мечта и реальность. С 2001 по 2001 год: здравый смысл и разум HAL» . Cycorp, Inc. Архивировано из оригинала на 2006-10-06 . Проверено 26 сентября 2006 .
  21. ^ Редакторы книг Time-Life (1986). Понимание компьютеров: искусственный интеллект . Амстердам: Книги времени жизни . п. 84. ISBN 978-0-7054-0915-5.
  22. ^ Ленат, Дуглас; Уитброк, Майкл; Бакстер, Дэвид; Блэкстоун, Юджин; Дитон, Крис; Шнайдер, Дэйв; Скотт, Джерри; Шепард, Блейк (28.07.2010). «Использование цикла для ответов на специальные запросы клинических исследователей» . Журнал AI . 31 (3): 13–32. DOI : 10,1609 / aimag.v31i3.2299 . ISSN 0738-4602 . 
  23. ^ Ленат, Дуглас Б .; Дурлах, Паула Дж. (01.09.2014). «Укрепление математических знаний путем погружения студентов в имитацию обучения посредством преподавания». Международный журнал искусственного интеллекта в образовании . 24 (3): 216–250. DOI : 10.1007 / s40593-014-0016-х . ISSN 1560-4292 . S2CID 72571 .  
  24. ^ Ленат, Дуглас (1988). « Дело в неэлегантности». Труды Международного семинара по искусственному интеллекту для промышленных применений, Токио, май 1988 года .
  25. ^ Вуд, Ламонт. Cycorp: Цена здравого смысла , Обзор технологий , март 2005 г.
  26. ^ "Иногда шпона интеллекта недостаточно | CogWorld" . ognitiveworld.com . Проверено 29 ноября 2017 .
  27. ↑ С любовью, Дилан (2 июля 2014 г.). «Самый амбициозный проект в области искусственного интеллекта в мире действует в условиях почти секретности в течение 30 лет» . Проверено 7 октября 2020 года .
  28. ^ Ленат, Дуглас Б .; Кларксон, Альберт; Кирмиджян, Гаро (1983). «Экспертная система для анализа индикаторов и предупреждений» . Труды Восьмой Международной совместной конференции по искусственному интеллекту - Том 1 . IJCAI'83: 259–262.
  29. ^ Ленат, Дуглас Б .; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Intell . 47 (1–3): 185–250. DOI : 10.1016 / 0004-3702 (91) 90055-O . ISSN 0004-3702 . 
  30. ^ Ленат, Дуглас Б .; Гуха, Р.В. (01.01.1990). Построение больших систем, основанных на знаниях: представление и вывод в циклическом проекте . Ридинг, Массачусетс: Эддисон-Уэсли. ISBN 9780201517521.
  31. ^ Кларк, Артур С. (1998-02-06). Аист, Дэвид Г. (ред.). Наследие HAL: Компьютер как мечта и реальность 2001 г. (Переиздание). Кембридж, Массачусетс: MIT Press. ISBN 9780262692113.
  32. ^ Ленат, Дуглас Б. (2008-07-10). «Голос черепахи: что случилось с ИИ?» . Журнал AI . 29 (2). DOI : 10,1609 / aimag.v29i2.2106 . ISSN 0738-4602 . 
  33. ^ Ленат, Дуглас Б. (2016-04-13). «WWTS (Что бы сказал Тьюринг?)» . Журнал AI . 37 (1): 97–101. DOI : 10,1609 / aimag.v37i1.2644 . ISSN 0738-4602 . 

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

  • Страница биографии Дугласа Лената на Cyc.com
  • Видеолекция "За пределами семантической сети" на выставке NIPS 2008.
  • Статья «Как Давид побеждает Голиафа» в The New Yorker.