stringtranslate.com

Михаил Генесерет

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

Образование

Дженесерет получил степень бакалавра наук по физике (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 году Дженесерет начал работу по внедрению логического образования в средние школы по всей Америке [39] [40], ссылаясь на семантику Эрбранда [41] как на основу педагогического подхода. Программа включает летние лагеря для старшеклассников, предлагаемые в кампусе Стэнфорда, и профессиональное развитие учителей, предлагаемое в различных исследованиях в США. [42] В предложениях для средних школ используются те же учебные материалы, что и в MOOC по той же теме. [43]

Общество

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

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

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

Ссылки

  1. ^ ab AAAI Fellows
  2. ^ Майкл, Дженесерет. «Автоматическая консультация по сложным компьютерным системам». Каталог библиотеки Холлиса, Гарвардский университет . Получено 15 июля 2020 г.
  3. ^ Гейлорд, Крис. «Компьютеры осваивают игровую доску». Christian Science Monitor . Получено 16 июля 2020 г.
  4. ^ "Michael Genesereth". Stanford University People . Standford University . Получено 16 июля 2020 г. .
  5. ^ Дженесерет, Майкл; Нильссон, Нильс (1987). Логические основы искусственного интеллекта . Издательство Morgan Kaufmann. ISBN 978-0-934613-31-6.
  6. ^ Дженесерет, Майкл; Нильссон, Нильс. «Логические основы искусственного интеллекта». Цитаты в Google Scholar . Получено 15 июля 2020 г.
  7. ^ ISO/IEC 24707:2018. «Информационные технологии — Общая логика (CL) — Структура для семейства языков, основанных на логике». Международная организация по стандартизации . Получено 15 июля 2020 г.{{cite web}}: CS1 maint: числовые имена: список авторов ( ссылка )
  8. ^ Майкл Дженесерет в проекте «Генеалогия математики»
  9. ^ Майкл Дженесерет, Автоматизированное консультирование по сложным компьютерным системам , докторская диссертация, Гарвардский университет, ноябрь 1977 г.
  10. ^ "Fast Case 50, Honoring the Law’s Smartest, Class of 2016". Fast Case 50 . Получено 30 июля 2020 г. .
  11. ^ Бэй, Моника (15 марта 2017 г.). «Sun and Chatbots». Above the Law . Получено 21 мая 2020 г.
  12. ^ Риянка Рой, Чаудхри. «Путешествие в CodeX: формирование будущего права». LAWXAM . Получено 21 мая 2020 г.
  13. ^ Боуман, Марк (9 января 2014 г.). «Интенсивная программа по ИС: стажировка в CodeX, в Стэнфордском университете: основные моменты моего опыта в юридической школе». IP OSGOODE . Получено 21 мая 2020 г.
  14. ^ Мэтью, Кэрролл (21 июня 2017 г.). «Сообщество Highlight: Stanford's CodeX и будущее автоматизированного права». IMMUTA . Получено 21 мая 2020 г.
  15. ^ Элиот, Лэнс. «FutureLaw 2020 демонстрирует, как технологии трансформируют право, включая влияние ИИ». Forbes.COM . Получено 17 июля 2020 г. .
  16. ^ "Teknowledge Corp". Bloomberg News . Получено 21 мая 2020 г.
  17. ^ Таненбаум, Марти; Трип, Чоудри. «Final Report for the Commercenet Consortium» (PDF) . Defense Technical Information Center . Архивировано (PDF) из оригинала 17 июля 2020 г. . Получено 17 июля 2020 г. .
  18. ^ "Commerce One приобретает Mergent Systems". responsesource . Получено 17 июля 2020 г. .
  19. ^ "Sipx Inc". Наука о взаимоотношениях . Получено 17 июля 2020 г.
  20. ^ "Symbium" . Получено 21 мая 2020 .
  21. ^ "Объявление победителя премии Ivory Prize 2020". Ivory Innovations . Получено 15 июля 2020 г.
  22. ^ Майкл Дженесерет на сервере библиографии DBLP
  23. ^ Дженесерет, М. Р., Келлер, А. М. и Душка, О. М., 1997, июнь. Infomaster: система интеграции информации. В ACM SIGMOD Record (т. 26, № 2, стр. 539–542). ACM.
  24. ^ Штудер, Руди; Бенджаминс, Ричард; Фенсель, Дитер (1998). «Инженерия знаний: принципы и методы». Инженерия данных и знаний . 25 (1–2): 161–97. doi :10.1016/S0169-023X(97)00056-6. S2CID  2521178.
  25. ^ Дженесерет, М. Р. и Файкс, Р. Э., 1992. Формат обмена знаниями — версия 3.0: справочное руководство.
  26. ^ Genesereth, MR, 1991, апрель. Формат обмена знаниями. В трудах Второй международной конференции по принципам представления и обоснования знаний (стр. 599–600). Morgan Kaufmann Publishers Inc.
  27. ^ Дженесерет, Майкл; Гинзберг, Мэтью; Розеншайн, Джеффри (1986). «Сотрудничество без общения» (PDF) . Труды Национальной конференции по искусственному интеллекту : 51–57 . Получено 3 августа 2020 г.
  28. ^ Дженесерет, М. Р. и Кетчпел, С. П., 1994. Программные агенты. В коммуникациях ACM.
  29. ^ Вулдридж, Майкл (8 марта 2013 г.). Введение в многоагентные системы (2-е изд.). John Wiley & Sons. ISBN 978-0-470-51946-2. Получено 21 мая 2020 г. .
  30. ^ Брэдшоу, Джон (1997). «Введение в программные агенты» (PDF) . Программные агенты . 6 (4): 466–469 . Получено 21 мая 2020 .
  31. ^ "Логические таблицы". ZDNet . Архивировано из оригинала 27 ноября 2020 г. . Получено 16 июля 2020 г. .
  32. ^ Чиркова, Рада; Дженесерет, Майкл (2000). «Линейно ограниченные переформулировки конъюнктивных баз данных». Computational Logic — CL 2000. Lecture Notes in Computer Science. Vol. 1861. pp. 987–1001. doi :10.1007/3-540-44957-4_66. ISBN 978-3-540-67797-0. {{cite book}}: |journal=проигнорировано ( помощь )
  33. ^ Genesereth, Michael; Mohapatra, Abhijeet (2019). «Практическая переформулировка дедуктивных баз данных». IEEE Вторая международная конференция 2019 года по искусственному интеллекту и инженерии знаний (AIKE) . стр. 65–72. doi :10.1109/AIKE.2019.00020. ISBN 978-1-7281-1488-0. S2CID  160018891.
  34. ^ Бобров, Дэниел Г. (февраль 1993 г.). «Искусственный интеллект в перспективе: ретроспектива пятидесяти томов журнала «Искусственный интеллект»». Искусственный интеллект . 59 (1–2): 5–20. doi :10.1016/0004-3702(93)90163-6 . Получено 30 июля 2020 г.
  35. ^ Дженесерет, Майкл; Душка, Оливер (1997). «Ответ на рекурсивные запросы с использованием представлений». Труды шестнадцатого симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных - PODS '97 . стр. 109–116. doi :10.1145/263661.263674. ISBN 0897919106. S2CID  2995653.
  36. ^ "PODS Best Paper Awards". SIGMOD.ORG . Ассоциация вычислительной техники, Специальная группа по управлению данными . Получено 30 июля 2020 г.
  37. ^ Розенштейн, Джеффри; Дженесрет, Майкл (1985). «Сделки между рациональными агентами» (PDF) . Международная объединенная конференция по искусственному интеллекту : 91–99 . Получено 3 августа 2020 г.
  38. ^ "IFAAMAS Influential Paper Award". Международный фонд автономных агентов и многоагентных систем . Получено 3 августа 2020 г.
  39. ^ Майерс, Эндрю (9 июня 2016 г.). «Ученый-компьютерщик из Стэнфорда разрабатывает учебную программу по логике для средней школы». Stanford Engineering . Получено 21 мая 2020 г. .
  40. ^ Дженесерет, Майкл; Чаудхри, Винай. «Логика в среднем образовании». Infosys Foundation . Получено 21 мая 2020 г.
  41. ^ Дженесерет, Майкл; Као, Эрик (2015). «Манифест Эрбрана — мышление внутри коробки». Технологии правил: основы, инструменты и приложения. RuleML 2015. doi : 10.1007/978-3-319-21542-6_1. S2CID  3530910.
  42. ^ "Введение в логику в Стэнфорде". Stanford IntroLogic . Получено 21 мая 2020 г. .
  43. ^ "Введение в логику" . Получено 21 мая 2020 г.
  44. ^ "Третья национальная конференция по искусственному интеллекту". AAAI . AAAI.ORG . Получено 30 июля 2020 г. .
  45. ^ AAAI. "Прошлые должностные лица AAAI" . Получено 15 июля 2020 г.
  46. ^ "Международный общий конкурс игр". AAAI . aaai.org . Получено 30 июля 2020 г. .
  47. ^ "Программный комитет WWW6". Архивировано из оригинала 2012-07-22 . Получено 30 июля 2020 .
  48. ^ "Интеллектуальное управление конфиденциальностью информации". AAAI . aaai.org . Получено 30 июля 2020 г. .
  49. ^ "Труды Девятого симпозиума по абстракции, переформулированию и аппроксимации (SARA 2011)". AAAI . AAAI.ORG.