Майкл Дженезерет - Michael Genesereth

Майкл Дженезерет
Родившийся (1948-10-15) 15 октября 1948 г. (возраст 72)[нужна цитата ]
Альма-матерМассачусетский Институт Технологий
Гарвардский университет
НаградыAAAI Научный сотрудник (1990 г., основание).[1]
Научная карьера
ПоляЛогика
Информатика
Искусственный интеллект
Вычислительный закон
УчрежденияСтэндфордский Университет
ТезисАвтоматизированная консультация по сложным компьютерным системам [2] (1978)
ДокторантТомас Читэм (Гарвард)
Джоэл Моисей (Массачусетский технологический институт)
ДокторантыРассел Грейнер
Джок Д. Маккинлей
Стюарт Дж. Рассел
Вишал Сикка

Майкл Дженезерет это логик и специалист в области информатики, который наиболее известен своей работой над вычислительная логика и приложения, которые работают в управление предприятием, вычислительный закон, и общая игра.[3] Дженезерет - профессор факультета компьютерных наук Стэнфордского университета и любезно профессор Стэнфордской школы права.[4] Его учебник 1987 года по логическим основам искусственного интеллекта[5] остается одной из ключевых ссылок на Символический искусственный интеллект.[6] Он автор влиятельных Язык описания игры (GDL) и Формат обмена знаниями (KIF), последняя из которых привела к ISO Общая логика стандарт.[7]

Образование

Дженесерет получил степень бакалавра наук. по физике (1972) из Массачусетский Институт Технологий, и оба М.С. (1974) и доктор философии. (1978) по прикладной математике[8] из Гарвардский университет.

Карьера

Дженезерет был преподавателем факультета информатики в Стэндфордский Университет с 1979 года. Он является директором Logic Group в Стэнфорде, а также основателем и директором по исследованиям CodeX, Стэнфордский центр правовой информатики.[9][10][11][12][13][14] Он является одним из основателей компании Teknowledge,[15] CommerceNet,[16] Системы слияния,[17] SIPX[18] и Symbium.[19] Symbium - это последний продукт исследования вычислительных законов, проведенного CodeX и является лауреатом премии Ivory Innovation Prize за реформу политики и регулирования.[20]

Исследование

Исследование Дженесерет[21] широко основан на использовании вычислительная логика для таких приложений, как интеграция знаний из разнородных источников,[22] как общий формат обмена знаниями,[23][24][25] в качестве основы для агентного представления знаний и разработки программного обеспечения,[26][27][28][29] как расширение электронных таблиц, известное как Логическая таблица,[30] и для оптимизации запросов в дедуктивная база данных система.[31][32] Он изобрел понятие Диагностика на основе модели в отличие от симптомно-ориентированного подхода, применяемого в то время в таких системах, как Mycin, и это было признано включением в ретроспективу пятидесяти томов Искусственный интеллект (журнал).[33] Его работа по интеграции данных[34] выиграл приз за лучшую работу в 1997 г. Симпозиум по принципам систем баз данных.[35] Его работа по сделкам среди рациональные агенты [36] получил престижную бумажную премию Международный фонд автономных агентов и многоагентных систем в 2007.[37]

Логическое образование

В 2016 году Genesereth предприняла попытку ввести логическое образование в средние школы по всей Америке.[38][39] цитируя Herbrand семантика[40] как основа педагогического подхода. Программа включает в себя летние лагеря для старшеклассников, предлагаемые в кампусе Стэнфорда, и повышение квалификации учителей, предлагаемое в рамках различных исследований в США.[41] В предложениях средней школы используется тот же учебный материал, что и в МООК по той же теме.[42]

Общество

Дженесерет был программным председателем Третьей национальной конференции по искусственному интеллекту,[43] советник Американская ассоциация по развитию искусственного интеллекта на срок до 1985 года,[44] и был избран его членом в 1990 году.[1] Он также был организатором Международного Соревнования по Общим Игровым Играм,[45] программный председатель в 1993 г. Интернет-конференция,[46] соорганизатор 2010 г. Американская ассоциация по развитию искусственного интеллекта Весенний симпозиум по интеллектуальному управлению конфиденциальностью,[47] и председатель Девятого симпозиума по абстракции, переформулировке и аппроксимации.[48]

Библиография

  • ——; Нильссон, Нильс Дж. (1987). Логические основы искусственного интеллекта. Морган Кауфманн. ISBN  978-0-934613-31-6.
  • —— (2010). Интеграция данных: подход реляционной логики. Синтез лекций по искусственному интеллекту и машинному обучению. 4. Морган и Клейпул. С. 1–97. Дои:10.2200 / S00226ED1V01Y200911AIM008. ISBN  978-1-59829-741-6.
  • ——; Као, Эрик (2012). Введение в логику. Синтез лекций по информатике. Морган и Клейпул. Дои:10.2200 / S00734ED2V01Y201609CSL008. ISBN  978-1-62705-006-7.
  • ——; Тильшер, Майкл (2014). Общая игра. Синтез лекций по искусственному интеллекту и машинному обучению. Морган и Клейпул. Дои:10.2200 / S00564ED1V01Y201311AIM024. ISBN  978-1-62705-256-6.
  • ——; Чаудри, Винай (2020). Введение в логическое программирование. Синтез лекций по искусственному интеллекту и машинному обучению. Морган и Клейпул. Дои:10.2200 / S00966ED1V01Y201911AIM044. ISBN  978-1681737225.

Смотрите также

Рекомендации

  1. ^ а б Стипендиаты AAAI
  2. ^ Майкл, Дженезерет. «Автоматическое консультирование по сложным компьютерным системам». Каталог библиотеки Холлис, Гарвардский университет. Получено 15 июля 2020.
  3. ^ Гейлорд, Крис. «Компьютеры превосходят игровую доску». Christian Science Monitor. Получено 16 июля 2020.
  4. ^ "Майкл Дженесерет". Люди из Стэнфордского университета. Стэндфордский университет. Получено 16 июля 2020.
  5. ^ Дженесерет, Майкл; Нильссон, Нильс (1987). Логические основы искусственного интеллекта. Издательство Морган Кауфманн. ISBN  978-0-934613-31-6.
  6. ^ Дженесерет, Майкл; Нильссон, Нильс. «Логические основы искусственного интеллекта». Цитаты в Google Scholar. Получено 15 июля 2020.
  7. ^ ISO / IEC 24707: 2018. «Информационные технологии - Common Logic (CL) - Фреймворк для семейства логических языков». Международная организация по стандартизации. Получено 15 июля 2020.
  8. ^ Майкл Дженезерет на Проект "Математическая генеалогия"
  9. ^ «Fast Case 50, награждение самых умных в законе, класс 2016». Fast Case 50. Получено 30 июля 2020.
  10. ^ Бэй, Моника. «Солнце и чат-боты». Превыше закона. Получено 21 мая 2020.
  11. ^ Риянка Рой, Чаудри. «Путешествие в CodeX: формирование будущего права». LAWXAM. Получено 21 мая 2020.
  12. ^ Боуман, Марк. «Интенсивная программа по интеллектуальной собственности: стажировка в CodeX, в Стэнфордском университете: изюминка моего опыта в юридической школе». IP OSGOODE. Получено 21 мая 2020.
  13. ^ Мэтью, Кэрролл (21 июня 2017 г.). «Основные моменты сообщества: Кодекс Стэнфорда и будущее автоматизированного права». IMMUTA. Получено 21 мая 2020.
  14. ^ Элиот, Лэнс. «FutureLaw 2020 демонстрирует, как технологии меняют закон, включая влияние ИИ». Forbes.COM. Получено 17 июля 2020.
  15. ^ "Текнауледж Корп". Получено 21 мая 2020.
  16. ^ Таненбаум, Марти; Поездка, Чоудри. «Итоговый отчет для Консорциума Commercenet» (PDF). Центр оборонной технической информации. Получено 17 июля 2020.
  17. ^ «Commerce One приобретает Mergent Systems». источник ответа. Получено 17 июля 2020.
  18. ^ "Сипкс Инк". Наука о взаимоотношениях. Получено 17 июля 2020.
  19. ^ «Симбиум». Получено 21 мая 2020.
  20. ^ "Объявление победителя Премии Слоновой Кости 2020". Инновации из слоновой кости. Получено 15 июля 2020.
  21. ^ Майкл Дженезерет в DBLP Сервер библиографии Отредактируйте это в Викиданных
  22. ^ Дженесерет, М.Р., Келлер, А.М. and Duschka, O.M., июнь 1997 г. Infomaster: система интеграции информации. В записи ACM SIGMOD (Том 26, № 2, стр. 539-542). ACM.
  23. ^ Студер, Руди; Бенджаминс, Ричард; Фензель, Дитер (1998). «Инженерия знаний: принципы и методы». Инженерия данных и знаний. 25 (1–2): 161–97. Дои:10.1016 / S0169-023X (97) 00056-6.
  24. ^ Genesereth, M.R. и Fikes, R.E., 1992. Формат обмена знаниями - версия 3.0: справочное руководство.
  25. ^ Genesereth, M.R., 1991, апрель. Формат обмена знаниями. В материалах Второй Международной конференции по принципам представления знаний и рассуждений (стр. 599-600). Компания Morgan Kaufmann Publishers Inc.
  26. ^ Дженесерет, Майкл; Гинзберг, Мэтью; Розеншейн, Джеффри (1986). «Сотрудничество без общения» (PDF). Труды Национальной конференции по искусственному интеллекту: 51–57. Получено 3 августа 2020.
  27. ^ Genesereth, M.R. и Ketchpel, S.P., 1994. Программные агенты. В сообщениях ACM.
  28. ^ Вулдридж, Майкл (8 марта 2013 г.). Введение в многоагентные системы (2-е изд.). Джон Вили и сыновья. ISBN  978-0-470-51946-2. Получено 21 мая 2020.
  29. ^ Брэдшоу, Джон (1997). «Введение в программных агентов» (PDF). Программные агенты. 6 (4): 466–469. Получено 21 мая 2020.
  30. ^ «Логические таблицы». ZDNet. Получено 16 июля 2020.
  31. ^ Чиркова, Рада; Genesereth, Майкл (2000). «Линейно ограниченные преобразования конъюнктивных баз данных». Международная конференция по вычислительной логике. Конспект лекций по информатике. 1861: 987–1001. Дои:10.1007/3-540-44957-4_66. ISBN  978-3-540-67797-0.
  32. ^ Дженесерет, Майкл; Мохапатра, Абхиджит (2019). «Практический алгоритм переформулирования дедуктивных баз данных». Вторая международная конференция IEEE по искусственному интеллекту и инженерии знаний (AIKE). Дои:10.1109 / AIKE.2019.00020. S2CID  160018891.
  33. ^ Боброу, Дэниел Г. (февраль 1993 г.). «Искусственный интеллект в перспективе: ретроспектива пятидесяти томов журнала« Искусственный интеллект »». Искусственный интеллект. 59 (1–2): 5–20. Дои:10.1016/0004-3702(93)90163-6. Получено 30 июля 2020.
  34. ^ Дженесерет, Майкл; Душка, Оливер (1997). «Ответ на рекурсивные запросы с использованием представлений». Материалы симпозиума ACM по принципам систем баз данных: 109–116. Дои:10.1145/263661.263674. ISBN  0897919106. S2CID  2995653.
  35. ^ "Награда за лучшую бумагу PODS". SIGMOD.ORG. Ассоциация вычислительной техники, Специальная группа по управлению данными. Получено 30 июля 2020.
  36. ^ Розенштейн, Джеффри; Генесрет, Майкл (1985). «Сделки между рациональными агентами» (PDF). Международная совместная конференция по искусственному интеллекту: 91–99. Получено 3 августа 2020.
  37. ^ «Премия IFAAMAS за влиятельную бумагу». Международный фонд автономных агентов и многоагентных систем. Получено 3 августа 2020.
  38. ^ Майерс, Эндрю (9 июня 2016 г.). "Стэнфордский ученый-компьютерщик разрабатывает программу обучения логике для старшей школы". Стэнфорд Инжиниринг. Получено 21 мая 2020.
  39. ^ Дженесерет, Майкл; Чаудри, Винай. «Логика в среднем образовании». Фонд Infosys. Получено 21 мая 2020.
  40. ^ Дженесерет, Майкл; Као, Эрик (2015). «Манифест Herbrand - мышление внутри коробки». Технологии правил: основы, инструменты и приложения. RuleML 2015. Дои:10.1007/978-3-319-21542-6_1.
  41. ^ «Стэнфордское введение в логику». Стэнфордский IntroLogic. Получено 21 мая 2020.
  42. ^ «Введение в логику». Получено 21 мая 2020.
  43. ^ «Третья национальная конференция по искусственному интеллекту». AAAI. AAAI.ORG. Получено 30 июля 2020.
  44. ^ AAAI. «Прошлые официальные лица AAAI». Получено 15 июля 2020.
  45. ^ «Международные соревнования по общераспространенной игре». AAAI. aaai.org. Получено 30 июля 2020.
  46. ^ "Программный комитет WWW6". Архивировано из оригинал на 2012-07-22. Получено 30 июля 2020.
  47. ^ «Интеллектуальное управление конфиденциальностью информации». AAAI. aaai.org. Получено 30 июля 2020.
  48. ^ «Труды Девятого симпозиума по абстракции, переформулировке и аппроксимации (SARA 2011)». AAAI. AAAI.ORG.