Дуглас Ленат

Дуглас Брюс Ленат (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]

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

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

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

Исследовать

Ленат получил докторскую степень. Он получил степень доктора компьютерных наук в Стэнфордском университете (опубликовано как « Системы, ^{основанные}на знаниях в искусственном интеллекте» ^, [ ^16] вместе с докторской диссертацией Рэндалла Дэвиса, МакГроу-Хилл, 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 человек, Ленату удалось поручить работу над базой знаний здравого смысла нескольким десяткам исследователей , а не нескольким аспирантам. ^{[ нужна цитата ]}

Сайкорп

В конце 1994 года плоды первого десятилетия исследований и разработок Cyc ^{[21] были переданы MCC в компанию}Cycorp . лет усилий, ^[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]

Кавычки

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

Сочинения

Браун, Джон Сили; Ленат, Дуглас (август 1983 г.). «Почему AM и Eurisko работают». Материалы Национальной конференции по ИИ (AAAI–83) . Книга первая (Материалы конференции AAAI по искусственному интеллекту, 3): 236–240 . Проверено 3 мая 2024 г.
Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте. Нью-Йорк: ISBN McGraw-Hill International Book Co. 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]
См. также многие ссылки ниже.

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

Вольфрам, Стивен (5 сентября 2023 г.). «Вспоминая Дуга Лената (1950–2023) и его стремления захватить мир с помощью логики». Сочинения Стивена Вольфрама . Проверено 7 сентября 2023 г.

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

Биологическая страница Дугласа Лената на Cyc.com. Архивировано 23 мая 2015 г. на Wayback Machine.
Видеолекция «За пределами семантической сети» на NIPS 2008.
Статья «Как Давид побеждает Голиафа» в The New Yorker.
«Дуглас Ленат: Cyc и поиск решения здравого смысла в ИИ». Подкаст Лекса Фридмана № 221, 2021 г.