Майкл Дженесерет - логик и ученый-компьютерщик , наиболее известный своими работами над вычислительной логикой и приложениями этой работы в области управления предприятием , вычислительного права и общих игр . [3] Дженесерет - профессор факультета компьютерных наук Стэнфордского университета и профессор Стэнфордской школы права. [4] Его учебник 1987 года по логическим основам искусственного интеллекта [5] остается одним из ключевых источников литературы по символическому искусственному интеллекту . [6] Он является автором влиятельныхЯзык описания игр (GDL) и формат обмена знаниями (KIF), последний из которых привел к стандарту ISO Common Logic . [7]
Майкл Дженезерет | |
---|---|
Родившийся | необходима ссылка ] | 15 октября 1948 г. [
Альма-матер | Массачусетский технологический институт Гарвардского университета |
Награды | Сотрудник AAAI (1990 г., основание). [1] |
Научная карьера | |
Поля | Логика Информатика Искусственный интеллект Вычислительный закон |
Учреждения | Стэндфордский Университет |
Тезис | Автоматизированная консультация по сложным компьютерным системам [2] (1978) |
Докторант | Томас Читэм (Гарвард) Джоэл Мозес (Массачусетский технологический институт) |
Докторанты | Рассел Грейнер Джок Д. Маккинлей Стюарт Дж. Рассел Вишал Сикка |
Образование
Дженесерет получил степень бакалавра физики (1972 г.) в Массачусетском технологическом институте , а также степень магистра (1974 г.) и докторскую степень. (1978) в области прикладной математики [8] из Гарвардского университета . Будучи аспирантом, он работал над системой компьютерной алгебры Macsyma и написал диссертацию об автоматическом советнике для пользователей Macsyma. [9]
Карьера
Дженесерет был преподавателем факультета информатики Стэнфордского университета с 1979 года. Он является директором Logic Group в Стэнфорде, а также основателем и директором по исследованиям CodeX , Стэнфордского центра правовой информатики. [10] [11] [12] [13] [14] [15] Он является одним из основателей компаний Teknowledge, [16] CommerceNet , [17] Mergent Systems, [18] SIPX [19] и Symbium. [20] Symbium является последним побочным продуктом исследований в области вычислительного права, проведенных CodeX, и является лауреатом премии Ivory Innovation Prize за реформу политики и регулирования. [21]
Исследовать
Исследование Дженезерета [22] в целом основано на использовании вычислительной логики для таких приложений, как интеграция знаний из разнородных источников [23] в качестве общего формата для обмена знаниями [24] [25] [26] в качестве основы для агент- представление знаний на основе и разработка программного обеспечения, [27] [28] [29] [30] как расширение электронных таблиц, известных как логические электронные таблицы , [31] и для оптимизации запросов в дедуктивной системе баз данных . [32] [33] Он изобрел понятие диагностики, основанной на моделях, в отличие от подхода, основанного на симптомах, который тогда применялся в таких системах, как Mycin , и это было признано его включением в ретроспективу пятидесяти томов журнала « Искусственный интеллект». . [34] Его работа по интеграции данных [35] выиграла приз за лучшую работу на симпозиуме 1997 года по принципам систем баз данных . [36] Его работа о сделках между рациональными агентами [37] выиграла влиятельную бумажную премию Международного фонда автономных агентов и многоагентных систем в 2007 году. [38]
Логическое образование
В 2016 году Genesereth предприняла попытку ввести логическое образование в средние школы по всей Америке [39] [40], сославшись на семантику Herbrand [41] как основу педагогического подхода. Программа включает в себя летние лагеря для старшеклассников, предлагаемые в кампусе Стэнфорда, и повышение квалификации учителей, предлагаемое в рамках различных исследований в США. [42] В программах средней школы используется тот же учебный материал, что и в МООК по той же теме. [43]
Общество
Генесерет служил в качестве программы кафедры Третьей Национальной конференции искусственного интеллекта, [44] член совета Американской ассоциации по улучшению искусственного интеллекта на срок , истекающий в 1985 году, [45] и был избран ее членом в 1990 году [1] Он также является организатором Международного Общего Поиграть конкуренции, [46] программа стул в 1993 году в веб - конференции , [47] соорганизатором 2010 года американской ассоциации по улучшению искусственного интеллекта Spring Symposium по интеллектуальным конфиденциальности управления, [48] и председатель Девятого симпозиума по абстракции, переформулировке и аппроксимации. [49]
Библиография
- ——; Нильссон, Нильс Дж. (1987). Логические основы искусственного интеллекта . Морган Кауфманн . ISBN 978-0-934613-31-6.
- —— (2010). Интеграция данных: подход реляционной логики . Синтез лекций по искусственному интеллекту и машинному обучению. 4 . Морган и Клейпул. С. 1–97. DOI : 10.2200 / S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6.
- ——; Као, Эрик (2012). Введение в логику . Синтез лекций по информатике. Морган и Клейпул. DOI : 10.2200 / S00734ED2V01Y201609CSL008 . ISBN 978-1-62705-006-7.
- ——; Тильшер, Майкл (2014). Общая игра . Синтез лекций по искусственному интеллекту и машинному обучению. Морган и Клейпул. DOI : 10.2200 / S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6.
- ——; Чаудри, Виная (2020). Введение в логическое программирование . Синтез лекций по искусственному интеллекту и машинному обучению. Морган и Клейпул. DOI : 10.2200 / S00966ED1V01Y201911AIM044 . ISBN 978-1681737225.
Смотрите также
- Язык описания игры
- Формат обмена знаниями
- Логическая таблица
- Мир Vaumpus
- Вычислительный закон
- Общая игра
- Системы, основанные на знаниях
Рекомендации
- ^ a b Стипендиаты AAAI
- ^ Майкл, Дженезерет. «Автоматическое консультирование по сложным компьютерным системам» . Каталог библиотеки Холлис, Гарвардский университет . Проверено 15 июля 2020 .
- ^ Гейлорд, Крис. «Компьютеры мастерит игровую доску» . Монитор христианской науки . Проверено 16 июля 2020 .
- ^ «Майкл Дженезерет» . Люди из Стэнфордского университета . Стэндфордский университет . Проверено 16 июля 2020 .
- ^ Дженесерет, Майкл; Нильссон, Нильс (1987). Логические основы искусственного интеллекта . Издательство Морган Кауфманн. ISBN 978-0-934613-31-6.
- ^ Дженесерет, Майкл; Нильссон, Нильс. «Логические основы искусственного интеллекта» . Цитаты в Google Scholar . Проверено 15 июля 2020 .
- ^ ISO / IEC 24707: 2018. «Информационные технологии - Общая логика (CL) - Фреймворк для семейства языков, основанных на логике» . Международная организация по стандартизации . Проверено 15 июля 2020 .
- ^ Майкл Дженезерет в проекте « Математическая генеалогия»
- ^ Майкл Дженезерет, Автоматизированная консультация по сложным компьютерным системам , доктор философии. диссертация, Гарвардский университет, ноябрь 1977 г.
- ^ «Fast Case 50, уважение к самым умным по закону, класс 2016 года» . Быстрый случай 50 . Проверено 30 июля 2020 .
- ^ Бэй, Моника. «Солнце и чат-боты» . Выше закона . Проверено 21 мая 2020 .
- ^ Риянка Рой, Чаудри. «Путешествие в CodeX: формирование будущего права» . LAWXAM . Проверено 21 мая 2020 .
- ^ Боумен, Марк. «Интенсивная программа по интеллектуальной собственности: стажировка в CodeX, Стэнфордском университете: изюминка моего опыта в юридической школе» . ИП ОСГООДЕ . Проверено 21 мая 2020 .
- ^ Мэтью, Кэрролл (21 июня 2017 г.). «Обзор сообщества: Кодекс Стэнфорда и будущее автоматизированного права» . ИММУТА . Проверено 21 мая 2020 .
- ^ Элиот, Лэнс. «FutureLaw 2020 демонстрирует, как технологии меняют закон, включая влияние ИИ» . Forbes.COM . Дата обращения 17 июля 2020 .
- ^ "Текноуледж Корп" . Проверено 21 мая 2020 .
- ^ Таненбаум, Марти; Поездка, Чоудри. «Заключительный отчет для Консорциума Commercenet» (PDF) . Центр оборонной технической информации . Дата обращения 17 июля 2020 .
- ^ «Commerce One приобретает Mergent Systems» . источник ответа . Дата обращения 17 июля 2020 .
- ^ «Сипкс Инк» . Наука о взаимоотношениях . Дата обращения 17 июля 2020 .
- ^ «Симбиум» . Проверено 21 мая 2020 .
- ^ «Объявление победителя Премии Слоновой Кости 2020» . Инновации из слоновой кости . Проверено 15 июля 2020 .
- ^ Майкл Дженезерет насервере библиографии DBLP
- ^ Генесерет, MR, Keller, AM и Душка, OM, 1997, июнь. Infomaster: система интеграции информации. В записи ACM SIGMOD (Том 26, № 2, стр. 539-542). ACM.
- ^ Студер, Руди; Бенджаминс, Ричард; Фензель, Дитер (1998). «Инженерия знаний: принципы и методы» . Инженерия данных и знаний . 25 (1-2): 161–97. DOI : 10.1016 / S0169-023X (97) 00056-6 .
- ^ Genesereth, MR and Fikes, RE, 1992. Формат обмена знаниями - версия 3.0: справочное руководство.
- ^ Генесерет, MR, 1991, апрель. Формат обмена знаниями. В материалах Второй Международной конференции по принципам представления знаний и рассуждений (стр. 599-600). Издательство Morgan Kaufmann Publishers Inc.
- ^ Дженесерет, Майкл; Гинзберг, Мэтью; Розеншайн, Джеффри (1986). «Сотрудничество без общения» (PDF) . Труды Национальной конференции по искусственному интеллекту : 51–57 . Дата обращения 3 августа 2020 .
- ^ Genesereth, MR и Ketchpel, SP, 1994. Программные агенты. В сообщениях ACM.
- ^ Вулдридж, Майкл (8 марта 2013 г.). Введение в мультиагентные системы (2-е изд.). Джон Вили и сыновья. ISBN 978-0-470-51946-2. Проверено 21 мая 2020 .
- ^ Брэдшоу, Джон (1997). «Введение в программные агенты» (PDF) . Программные агенты . 6 (4): 466–469 . Проверено 21 мая 2020 .
- ^ «Логические таблицы» . ZDNet . Проверено 16 июля 2020 .
- ^ Чиркова, Рада; Genesereth, Майкл (2000). "Линейно ограниченные преобразования конъюнктивных баз данных". Международная конференция по вычислительной логике . Конспект лекций по информатике. 1861 : 987–1001. DOI : 10.1007 / 3-540-44957-4_66 . ISBN 978-3-540-67797-0.
- ^ Дженесерет, Майкл; Мохапатра, Абхиджит (2019). «Практический алгоритм переформулирования дедуктивных баз данных». Вторая международная конференция IEEE по искусственному интеллекту и инженерии знаний (AIKE) . DOI : 10,1109 / AIKE.2019.00020 . S2CID 160018891 .
- ^ Боброу, Дэниел Г. (февраль 1993 г.). «Искусственный интеллект в перспективе: ретроспектива пятидесяти томов журнала« Искусственный интеллект »» . Искусственный интеллект . 59 (1-2): 5-20. DOI : 10.1016 / 0004-3702 (93) 90163-6 . Проверено 30 июля 2020 .
- ^ Дженесерет, Майкл; Душка, Оливер (1997). «Ответ на рекурсивные запросы с использованием представлений». Труды симпозиума ACM по принципам систем баз данных : 109–116. DOI : 10.1145 / 263661.263674 . ISBN 0897919106. S2CID 2995653 .
- ^ «Награды за лучшую бумагу PODS» . SIGMOD.ORG . Ассоциация вычислительной техники, Специальная группа по управлению данными . Проверено 30 июля 2020 .
- ^ Розенштейн, Джеффри; Генесрет, Майкл (1985). «Сделки между рациональными агентами» (PDF) . Международная совместная конференция по искусственному интеллекту : 91–99 . Дата обращения 3 августа 2020 .
- ^ «Премия IFAAMAS за влиятельную бумагу» . Международный фонд автономных агентов и многоагентных систем . Дата обращения 3 августа 2020 .
- ^ Майерс, Эндрю (9 июня 2016 г.). «Стэнфордский ученый-компьютерщик разрабатывает программу обучения логике для средней школы» . Stanford Engineering . Проверено 21 мая 2020 .
- ^ Дженесерет, Майкл; Чаудри, Винай. «Логика в среднем образовании» . Фонд Infosys . Проверено 21 мая 2020 .
- ^ Дженесерет, Майкл; Као, Эрик (2015). «Манифест Herbrand - мышление внутри коробки». Технологии правил: основы, инструменты и приложения. RuleML 2015 . DOI : 10.1007 / 978-3-319-21542-6_1 .
- ^ «Стэнфордское введение в логику» . Стэнфордский IntroLogic . Проверено 21 мая 2020 .
- ^ «Введение в логику» . Проверено 21 мая 2020 .
- ^ «Третья национальная конференция по искусственному интеллекту» . AAAI . AAAI.ORG . Проверено 30 июля 2020 .
- ^ AAAI. «Прошлые официальные лица AAAI» . Проверено 15 июля 2020 .
- ^ «Международные соревнования по всеобщей игре» . AAAI . aaai.org . Проверено 30 июля 2020 .
- ^ «Программный комитет WWW6» . Архивировано из оригинала на 2012-07-22 . Проверено 30 июля 2020 .
- ^ «Интеллектуальное управление конфиденциальностью информации» . AAAI . aaai.org . Проверено 30 июля 2020 .
- ^ «Труды Девятого симпозиума по абстракции, переформулировке и аппроксимации (SARA 2011)» . AAAI . AAAI.ORG.