Дуглас Ленат - Douglas Lenat

Дуглас Ленат
Дуглас Ленат
Родился	13 сентября 1950 г.; Филадельфия, Пенсильвания
Национальность	Соединенные Штаты
Образование	Университет Пенсильвании , Стэнфордский университет (доктор философии)
Занятие	Специалист в области информатики
Работодатель	Cycorp, Inc.
Известен	Lisp язык программирования , генеральный директор по Cycorp, Inc. , AM , EURISKO , Сус
Награды	1977 IJCAI Computers and Thought Award , 1981 Официальный гранд-адмирал триллионной кредитной эскадрильи

Дуглас Брюс Lenat (родился в 1950 году) является генеральный директор по Cycorp, Inc. в Остине, штат Техас , и был видным исследователем в области искусственного интеллекта ; в 1976 году он был награжден премией IJCAI Computers and Thought Award за создание программы машинного обучения AM . Он работал над (символическим, а не статистическим) машинным обучением (с его программами AM и Eurisko ), представлением знаний, «когнитивной экономикой», системами классной доски и тем, что он назвал в 1984 году « онтологической инженерией » (с его программой Cyc в MCC и , с 1994 года в Cycorp ). Он также работал над военными симуляторами и многочисленными проектами для правительства США, вооруженных сил, разведки и научных организаций. В 1980 году он опубликовал критику обычного дарвинизма со случайными мутациями. Он написал серию статей в 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 сентября 1950 года в Филадельфии, штат Пенсильвания, и выросла там, а в возрасте от 5 до 15 лет - в Уилмингтоне, штат Делавэр. Он учился в средней школе Челтенхэма в Винкот, штат Пенсильвания, где его внешкольная работа в соседнем Бивер-колледже чистила клетки для крыс, а затем гусиные загоны, что побудило его научиться программировать как путь к совершенно другой работе после школы и летом. , и в конечном итоге карьера.

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

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

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

Исследовать

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

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

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

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

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

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

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

Cycorp

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

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

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

Цитаты

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

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

Сочинения

«Почему 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.
Ленат, Дуглас Б.; Фейгенбаум, Эдвард А. (февраль 1991 г.). «На порогах познания». Артиф. Intell . 47 (1-3): 185–250. DOI : 10.1016 / 0004-3702 (91) 90055-O. ISSN 0004-3702.
Ленат, Дуглас Б.; Гуха, Р.В. (01.01.1990). Построение больших систем, основанных на знаниях: представление и вывод в циклическом проекте . Ридинг, Массачусетс: Эддисон-Уэсли. ISBN 9780201517521 .
Ленат, Дуглас Б. С 2001 по 2001 год: здравый смысл и разум HAL
Ленат, Дуглас Б. (10 июля 2008 г.). «Голос черепахи: что случилось с ИИ?». Журнал AI . 29 (2). DOI : 10,1609 / aimag.v29i2.2106. ISSN 0738-4602
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
См. Также многие ссылки ниже.

Languages

In other projects