WikiDer > Дуглас Ленат
Дуглас Ленат | |
---|---|
Родившийся | 13 сентября 1950 г. Филадельфия, Пенсильвания |
Национальность | Соединенные Штаты |
Образование | Пенсильванский университет, Стэндфордский Университет (Кандидат наук.) |
Род занятий | Специалист в области информатики |
Работодатель | Cycorp, Inc. |
Известен | Язык программирования Лисп, Исполнительный директор из Cycorp, Inc., ЯВЛЯЮСЬ, Eurisko, Цикл |
Награды | 1977 Премия IJCAI Computers and Thought Award |
Дуглас Брюс Ленат (1950 г.р.) Исполнительный директор из Cycorp, Inc. из Остин, Техас, и был известным исследователем[1] в искусственный интеллект;[2] он был награжден раз в два года Премия IJCAI Computers and Thought Award в 1976 г. за создание программы машинного обучения, ЯВЛЯЮСЬ. Он работал над (символическим, а не статистическим) машинное обучение (с его ЯВЛЯЮСЬ и Eurisko программ), представление знаний,[3] «когнитивная экономика»,[4] системы доски, и то, что он дублировал в 1984 году "онтологическая инженерия"[5] (с его Цикл программа в MCC а с 1994 г. Cycorp). Он также работал в военных симуляторах,[6] и многочисленные проекты для правительства США, военных, разведки и научных организаций. В 1980 году он опубликовал критику обычного дарвинизма со случайными мутациями.[7][8] Автор серии статей[9][10][11][12] в Журнал искусственного интеллекта изучение природы эвристических правил.
Ленат был одним из первых членов AAAI, и является единственным человеком, входившим в состав научных консультативных советов Microsoft и Apple. Он член AAAS, AAAI, и Общество когнитивных наук, и редактор J. Автоматическое рассуждение, J. Learning Sciences, и J. Прикладная онтология. Он был одним из основателей TTI / Авангард в 1991 году и остается членом ее консультативный совет еще в 2017 году. Его назвали одним из Wired 25.[13]
Предпосылки и образование
Ленат родилась 13 сентября 1950 года в Филадельфии, штат Пенсильвания, и выросла там, а в возрасте от 5 до 15 лет - в Уилмингтоне, штат Делавэр. Он учился в средней школе Челтенхэма в Винкот, штат Пенсильвания, где после уроков в соседнем Бивер-колледже он чистил клетки для крыс, а затем гусиные загоны, что побудило его научиться программировать как путь к совершенно другой работе после школы и летом. , и в конечном итоге карьера.
Во время посещения Пенсильванский университетЛенат поддерживал себя программированием, в частности проектированием и разработкой интерфейса на естественном языке для системы ответов на вопросы базы данных ВМС США, служившей ранним онлайн-руководством по эксплуатации корабля, используемым на авианосцах США. Он получил свой степень бакалавра по математике и физике, и его степень магистра Кандидат прикладной математики в 1972 году в Пенсильванском университете.
Его кандидатская диссертация, частично защищенная Деннис Габор, заключалась в том, чтобы отражать акустические волны в диапазоне 40 МГц от реальных объектов, записывать их интерференционные картины на квадратном участке площадью 2 метра, фото-уменьшить его до квадратного изображения пленки 10 мм, направлять лазер через эту пленку и, таким образом, проецировать трехмерный объект, то есть первый известный акустический голограмма. Чтобы разрешить спор с доктором ГаборКомпания Lenat сгенерировала на компьютере пятимерную голограмму, уменьшив компьютерную распечатку фото интерференционной картины вращающегося и расширяющегося во времени глобуса, уменьшив эту большую двумерную бумажную распечатку до умеренно большой квадратной поверхности пленки 5 см, через которую Затем обычный лазерный луч мог проецировать трехмерное изображение, которое изменялось двумя независимыми способами (вращение и изменение размера) при перемещении пленки вверх-вниз или влево-вправо.)
Ленат был доктором философии. студент факультета компьютерных наук Стэнфордского университета, где его опубликованное исследование включало автоматические программный синтез из пар ввода / вывода и из диалогов, поясняющих естественный язык[14]
Исследование
Он получил свой Кандидат наук. в области компьютерных наук из Стэндфордский Университет (опубликовано как Системы на основе знаний в искусственном интеллекте,[15] вместе с доктором философии. диссертацию Рэндалла Дэвиса, McGraw-Hill, 1982) в 1976 году. Его научным руководителем был профессор Корделл Грин, а в его диссертационный / устный комитет входили профессора Эдвард Фейгенбаум, Джошуа Ледерберг, Пол Коэн, Аллен Ньюэлл, Герберт Саймон, Брюс Бьюкенен, Джон Маккарти, и Дональд Кнут.
Его диссертация, AM (автоматизированный математик) была одной из первых компьютерных программ, которые пытались сделать открытия, то есть теорему предлагающий а не теорема испытатель. Эксперименты с программой породили цикл критики и улучшений, что привело к более глубокому пониманию человеческого творчества. При построении такой программы приходилось решать множество вопросов: как представить знания формально, выразительно и конкретно, как запрограммировать сотни эвристических правил "интересности", чтобы судить о ценности новых открытий, эвристики, когда нужно рассуждать символически и индуктивно. (и медленно) против когда следует проводить статистические рассуждения на основе частотных данных (и, следовательно, быстро), какова может быть архитектура - конструктивные ограничения - таких программ рассуждений, почему эвристика работает (в целом, потому что будущее - это непрерывный функция прошлого), и какова может быть их `` внутренняя структура ''. ЯВЛЯЮСЬ был одним из первых шагов на пути к науке об обучении через открытия, к развенчанию мистификации творческого процесса и демонстрации того, что компьютерные программы могут делать новые и творческие открытия.[16]
В 1976 году Ленат начал преподавать в качестве доцента компьютерных наук в Университет Карнеги-Меллона и приступил к работе над программой AI Eurisko. Ограничение с ЯВЛЯЮСЬ заключалось в том, что он был привязан к фиксированному набору эвристик интереса; Eurisko, напротив, представлял свои эвристические правила как первоклассные объекты и, следовательно, мог исследовать, манипулировать и открывать новые эвристики точно так же, как и (и ЯВЛЯЮСЬ) исследовали, манипулировали и открывали новые концепции предметной области.
Ленат вернулся в Стэнфорд в качестве доцента компьютерных наук в 1978 году и продолжил свои исследования, создав программу автоматизированных и эвристических открытий Eurisko. Эуриско сделал много интересных открытий и получил широкое признание благодаря своей статье «Эвретика: теоретическое и экспериментальное исследование эвристических правил».[17] выиграл награду за лучшую работу в 1982 г. Конференция AAAI.
Призыв к «здравому смыслу»
В отличие от огромного количества опубликованных научных результатов, Ленат (работавший с Джоном Сили Брауном в Xerox PARC) опубликовал в 1984 году тщательный и откровенный анализ ограничений его исследований AM и Eurisko.[18] Он пришел к выводу, что для продвижения к реальному, общему, символическому ИИ потребуется обширная база знаний «здравого смысла», должным образом формализованная и представленная, а также механизм вывода, способный находить десятки или сотни глубоких выводов и аргументов, вытекающих из применения эта база знаний для конкретных вопросов и приложений.[19]
Успех и откровенный анализ ограничений этого подхода AM и Eurisko к ИИ, а также заключительный призыв к масштабным (несколько тысяч человеко-лет, десятилетия) усилий по исследованиям и разработкам потребуются, чтобы преодолеть это узкое место для ИИ. , привлекла к себе внимание в 1982 г. Адмирал Боб Инман и формирующийся тогда MCC исследовательский консорциум в Остин, Техас, кульминацией которого стало то, что Ленат стал главным научным сотрудником MCC в 1984–1994 годах, хотя даже после этого периода он продолжал возвращаться в Стэнфорд, чтобы вести примерно один курс в год. В ЦУП на 400 человек Ленат смог привлечь к работе несколько десятков исследователей. знание здравого смысла база, а не просто несколько аспирантов.
Cycorp
Плоды первого десятилетия НИОКР по Цикл[20] были выделены из MCC в компанию Cycorp в конце 1994 года. В 1986 году он подсчитал, что для завершения Cyc потребуется не менее 250 000 правил и 1000 человеко-годы усилий,[21] вероятно, вдвое больше, и к 2017 году он и его команда потратили около 2000 человеко-лет на создание Cyc, примерно 24 миллиона правил и утверждений (не считая «фактов») и 2000 человек. человеко-годы усилий. Ленат подчеркивает, что он и его команда разработчиков из 60 человек стремятся сохранить эти цифры как маленький по возможности; даже количество одношаговых выводов в дедуктивном замыкании Cyc исчисляется сотнями триллионов.
По состоянию на 2018 год[Обновить]Ленат продолжает свою работу над Cyc в качестве генерального директора Cycorp. В то время как первое десятилетие работы над Cyc (1984-1994 гг.) Финансировалось крупными американскими компаниями, объединявшими фонды долгосрочных исследований для конкуренции с японскими Компьютер пятого поколения Проект и второе десятилетие (1995-2006) работы над Cyc финансировались за счет исследовательских контрактов правительственных агентств США, третье десятилетие до настоящего времени (2007 – настоящее время) в значительной степени поддерживалось коммерческими приложениями Cyc, в том числе в сферы финансовых услуг, энергетики и здравоохранения.[22]
Среди недавних приложений Cyc было одно необычное, MathCraft, включает в себя помощь ученикам средней школы в более глубоком понимании математики.[23] У большинства людей был опыт, когда мы думали, что что-то поняли, но только действительно понял это когда нам приходилось объяснять или учить этому кого-то еще. Несмотря на это, почти во всех инструкциях с использованием ИИ ИИ играет роль учителя. Напротив, в Mathcraft ИИ Cyc играет роль однокурсника, который всегда немного больше сбит с толку, чем вы, пользователь. Когда вы даете MathCraft хороший совет, он позволяет этому аватару делать меньше ошибок подобного рода, и с точки зрения пользователя кажется, что он чему-то его научил. Такая парадигма обучения через обучение может найти широкое применение в будущих областях, где будет задействовано обучение.
Цитаты
- «Интеллект - это десять миллионов правил».[24] Это относится к предварительным и неявным знаниям, которыми, по мнению авторов, обладают все их читатели (например, «если человек x знает человека y, то дата смерти x не может быть раньше даты рождения y») не считая гораздо большего количества «фактов», которые можно найти в Википедии или поиске в Google.
- «Может наступить время, когда значительно расширенный Cyc ляжет в основу бесчисленных программных приложений. Но достижение этой цели может легко занять еще два десятилетия».[25]
- «Как только у вас будет действительно огромное количество информации, интегрированной в виде знания, тогда система человеко-программного обеспечения станет сверхчеловеческой в том же смысле, в каком человечество с письмом (или сам язык) является сверхчеловеческим по сравнению с человечеством до письма (или самим языком). Мы оглядываемся на доязыковых пещерных людей и думаем: «Они ведь не совсем люди, не так ли?» Примерно так же наши потомки будут оглядываться на до-AI. homo sapiens именно с этой смесью инаковости и жалости ".[Эта цитата требует цитирования]
- "Иногда фанера интеллекта недостаточно ".[26]
- «Если бы компьютеры были людьми, они бы представили себя аутистами, шизофрениками или другими хрупкими людьми. Было бы неразумно или опасно для этого человека заботиться о детях и готовить еду, но это уже не за горами для домашних роботов. Это все равно, что сказать: «У нас есть важная работа, но мы собираемся нанять для нее собак и кошек».[27]
Сочинения
- «Почему AM и Eurisko работают» (Ленат и Джон Сили Браун), Труды Национальной конференции по ИИ (AAAI-83), Вашингтон, округ Колумбия, август 1983 г.
- Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Системы, основанные на знаниях в искусственном интеллекте. Нью-Йорк: McGraw-Hill International Book Co. ISBN 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. Дои: 10.1016 / 0004-3702 (91) 90055-O. ISSN 0004-3702.[29]
- Ленат, Дуглас Б.; Гуха, Р. В. (1990-01-01). Построение больших систем, основанных на знаниях: представление и вывод в циклическом проекте. Ридинг, Массачусетс: Эддисон-Уэсли. ISBN 9780201517521.[30]
- Ленат, Дуглас Б. С 2001 по 2001 год: здравый смысл и разум HAL[31]
- Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал AI. 29(2). Дои: 10.1609 / aimag.v29i2.2106. ISSN 0738-4602[32]
- Блэкстоун Э.Х., Ленат Д. и Ишваран Х. Инфраструктура, необходимая для того, чтобы узнать, какая помощь лучше всего: методы, которые необходимо разработатьв (Olsen L., Grossman, C., and McGinnis, M., eds.) Изучение того, что работает: инфраструктура, необходимая для сравнительного исследования эффективности. Серия изданий Института медицины, изучающая систему здравоохранения, The National Academies Press, стр. 123–144, 2011 г.
- Ленат Д.Б., Дурлах П. «Укрепление математических знаний путем погружения студентов в имитацию обучения через преподавание». J. Международный журнал искусственного интеллекта в образовании., 2014
- Ленат, Дуглас Б. (13 апреля 2016 г.). «WWTS (Что бы сказал Тьюринг?)». Журнал AI. 37 (1): 97–101. Дои: 10.1609 / aimag.v37i1.2644. ISSN 0738-4602[33]
- См. Также многие ссылки ниже.
Рекомендации
- ^ Вне их разума - жизни и открытия 15 великих компьютерных ученых | Деннис Шаша | Springer. Коперник. Коперник. 1998 г. ISBN 9780387982694.
- ^ Ленат, Дуглас Б. (1995). "Искусственный интеллект". Scientific American. 273 (3): 80–82. JSTOR 24981725.
- ^ Ленат, Дуглас и Грейнер, Рассел (1980). «RLL: язык представления». Труды Первой конференции AAAI. 1.CS1 maint: несколько имен: список авторов (связь)
- ^ Ленат, Дуглас Б.; Хейс-Рот, Фредерик; Клар, Филипп (1979). Когнитивная экономика в системах искусственного интеллекта. Труды 6-й Международной совместной конференции по искусственному интеллекту - Том 1. IJCAI'79. Сан-Франциско, Калифорния, США: Морган Кауфманн Паблишерс Инк., Стр. 531–536. ISBN 978-0934613477.
- ^ Ленат, Д. Б. (март 1989 г.). «Онтология против инженерии знаний». IEEE Transactions по разработке знаний и данных. 1 (1): 84–88. Дои:10.1109/69.43405. ISSN 1041-4347.
- ^ Lenat DB, Fishwick PA, Modjeski RB, Oresky CM, Clarkson A, Kaisler S (1991). «STRADS: стратегическая автоматическая система обнаружения». Моделирование на основе знаний: методология и применение.
- ^ Ленат, Дуглас. «Эвристика природы: правдоподобная мутация ДНК». Стэнфордский проект эвристического программирования, 1980, технический отчет HPP-80-27.
- ^ Ленат, Дуглас Б. (1983). «Роль эвристики в обучении путем открытий: три тематических исследования». Машинное обучение. Символическое вычисление. Шпрингер, Берлин, Гейдельберг. С. 243–306. Дои:10.1007/978-3-662-12405-5_9. ISBN 9783662124079.
- ^ Ленат, Дуглас (1982). «Природа эвристики». Журнал искусственного интеллекта. 19.
- ^ Ленат, Дуглас (1983). «Природа эвристики II: Формирование теории эвристическим поиском». Журнал искусственного интеллекта. 20.
- ^ Ленат, Дуглас (1983). "Природа эвристики III: Eurisko". Журнал искусственного интеллекта. 20.
- ^ Ленат, Дуглас (1984). «Природа эвристики IV: почему AM и Eurisko работают». Журнал искусственного интеллекта. 23.
- ^ Персонал, проводной. "The Wired 25". ПРОВОДНОЙ. Получено 2017-11-29.
- ^ «Отчет о ходе работы над системами понимания программ». К. Корделл Грин, Ричард Дж. Уолдингер, Дэвид Р. Барстоу, Роберт Эльшлагер, Дуглас Б. Ленат, Брайан П. Маккьюн, Дэвид Э. Шоу и Луи И. Стейнберг. Меморандум AIM-240, отчет STAN-CS-74-444, Лаборатория искусственного интеллекта, факультет компьютерных наук, Стэнфордский университет, Стэнфорд, Калифорния, август 1974 г.
- ^ Дэвис, Рэндалл; Ленат, Дуглас Б. (1982). Основанные на знаниях системы в искусственном интеллекте: 2 тематических исследования. Нью-Йорк, Нью-Йорк, США: McGraw-Hill, Inc. ISBN 978-0070155572.
- ^ Б., Ленат, Дуглас; Грегори, Харрис (1977). «Разработка системы правил для поиска научных открытий». Цитировать журнал требует
| журнал =
(помощь) - ^ «Эвристика: теоретическое и экспериментальное изучение эвристических правил». www.aaai.org. Получено 2017-11-06.
- ^ Ленат, Дуглас Б.; Браун, Джон Сили (1984-08-01). «Почему am и eurisko работают?». Искусственный интеллект. 23 (3): 269–294. CiteSeerX 10.1.1.565.8830. Дои:10.1016 / 0004-3702 (84) 90016-X.
- ^ Ленат, Дуглас Б.; Борнинг, Алан; Макдональд, Дэвид; Тейлор, Крейг; Вейер, Стивен (1983). «Knoesphere: создание экспертных систем с энциклопедическими знаниями». Труды Восьмой Международной совместной конференции по искусственному интеллекту - Том 1. IJCAI'83: 167–169.
- ^ Ленат, Дуглас. "Наследие Хэла: компьютер 2001 года как мечта и реальность. С 2001 по 2001 год: здравый смысл и разум HAL". Cycorp, Inc. Архивировано из оригинал на 2006-10-06. Получено 2006-09-26.
- ^ Редакторы книг Time-Life (1986). Понимание компьютеров: искусственный интеллект. Амстердам: Книги Time-Life. п. 84. ISBN 978-0-7054-0915-5.
- ^ Ленат, Дуглас; Витброк, Майкл; Бакстер, Дэвид; Блэкстоун, Юджин; Дитон, Крис; Шнайдер, Дэйв; Скотт, Джерри; Шепард, Блейк (28.07.2010). «Использование цикла для ответов на специальные запросы клинических исследователей». Журнал AI. 31 (3): 13–32. Дои:10.1609 / aimag.v31i3.2299. ISSN 0738-4602.
- ^ Ленат, Дуглас Б.; Дурлах, Паула Дж. (01.09.2014). «Укрепление математических знаний путем погружения студентов в имитацию обучения посредством преподавания». Международный журнал искусственного интеллекта в образовании. 24 (3): 216–250. Дои:10.1007 / s40593-014-0016-х. ISSN 1560-4292.
- ^ Ленат, Дуглас (1988). "Дело в неэлегантности ». Материалы международного семинара по искусственному интеллекту для промышленных приложений, Токио, май 1988 г..
- ^ Вуд, Ламонт. Cycorp: цена здравого смысла, Обзор технологий, Март 2005 г.
- ^ "Иногда лоска интеллекта недостаточно | CogWorld". ognitiveworld.com. Получено 2017-11-29.
- ^ С любовью, Дилан (2 июля 2014 г.). «Самый амбициозный проект в области искусственного интеллекта в мире действует почти в секрете в течение 30 лет». Получено 7 октября, 2020.
- ^ Ленат, Дуглас Б.; Кларксон, Альберт; Кирмиджян, Гаро (1983). «Экспертная система для анализа указаний и предупреждений». Труды Восьмой Международной совместной конференции по искусственному интеллекту - Том 1. IJCAI'83: 259–262.
- ^ Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Intell. 47 (1–3): 185–250. Дои:10.1016 / 0004-3702 (91) 90055-О. ISSN 0004-3702.
- ^ Ленат, Дуглас Б.; Гуха, Р. В. (1990-01-01). Построение больших систем, основанных на знаниях: представление и вывод в циклическом проекте. Ридинг, Массачусетс: Эддисон-Уэсли. ISBN 9780201517521.
- ^ Кларк, Артур С. (1998-02-06). Аист, Дэвид Г. (ред.). Наследие HAL: компьютер 2001 года как мечта и реальность (Перепечатка ред.). Кембридж, Массачусетс: MIT Press. ISBN 9780262692113.
- ^ Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал AI. 29 (2). Дои:10.1609 / aimag.v29i2.2106. ISSN 0738-4602.
- ^ Ленат, Дуглас Б. (13 апреля 2016 г.). «WWTS (Что бы сказал Тьюринг?)». Журнал AI. 37 (1): 97–101. Дои:10.1609 / aimag.v37i1.2644. ISSN 0738-4602.
внешняя ссылка
- Страница биографии Дугласа Лената на Cyc.com
- Видеолекция "За пределами семантической сети" в НИПС 2008.
- Статья "Как Давид побеждает Голиафа" в The New Yorker.