Michał Genesereth

Michał Genesereth
Urodzić się ( 15.10.1948 ) 15 października 1948 (wiek 74) [ potrzebne źródło ]
Alma Mater
Massachusetts Institute of Technology Uniwersytet Harvarda
Znany z

Sztuczna inteligencja Prawo obliczeniowe Ogólne granie w gry
Nagrody Stypendysta AAAI (1990, założenie).
Kariera naukowa
Pola
Informatyka Logika
Instytucje Uniwersytet Stanford
Praca dyplomowa   Zautomatyzowane konsultacje dotyczące złożonych systemów komputerowych (1978)
Doradca doktorski
Thomas Cheatham (Harvard) Joel Moses (MIT)
Doktoranci


Russell Greiner Jock D. Mackinlay Stuart J. Russell Vishal Sikka

Michael Genesereth (ur. 1948) to amerykański logik i informatyk , który jest najbardziej znany ze swojej pracy nad logiką obliczeniową i zastosowaniami tej pracy w zarządzaniu przedsiębiorstwem , prawie obliczeniowym i ogólnych grach . Genesereth jest profesorem na Wydziale Informatyki na Uniwersytecie Stanforda i dzięki uprzejmości profesora w Stanford Law School . Jego podręcznik z 1987 r. „Logiczne podstawy sztucznej inteligencji” pozostaje jednym z kluczowych odniesień Symboliczna sztuczna inteligencja . Jest autorem wpływowego Game Description Language (GDL) i Knowledge Interchange Format (KIF), z których ten ostatni doprowadził do standardu ISO Common Logic .

Edukacja

Genesereth uzyskał tytuł licencjata z fizyki (1972) na Massachusetts Institute of Technology oraz tytuł magistra (1974) i doktora. (1978) z matematyki stosowanej na Uniwersytecie Harvarda . Jako doktorant pracował nad Macsyma i napisał pracę doktorską na temat automatycznego doradcy dla użytkowników Macsyma.

Kariera

Genesereth jest członkiem wydziału informatyki na Uniwersytecie Stanforda od 1979 roku. Jest dyrektorem Logic Group na Uniwersytecie Stanforda oraz założycielem i dyrektorem ds. badań Stanford CodeX Center for Legal Informatics. Jest jednym z założycieli firm Teknowledge, CommerceNet , Mergent Systems, SIPX i Symbium. Symbium jest najnowszym spin-offem badań nad prawem obliczeniowym prowadzonym przez CodeX i jest zdobywcą nagrody Ivory Innovation Prize for Policy and Regulatory Reform.

Badania

Badania Genesereth opierają się w dużej mierze na wykorzystaniu logiki obliczeniowej do takich zastosowań, jak integracja wiedzy z heterogenicznych źródeł, jako wspólny format wymiany wiedzy, jako podstawa agentowej reprezentacji wiedzy i inżynierii oprogramowania, jako rozszerzenie arkuszy kalkulacyjnych znanych jako Logiczny arkusz kalkulacyjny oraz do optymalizacji zapytań w dedukcyjnym systemie baz danych. Wymyślił pojęcie diagnozy opartej na modelu jako kontrast z podejściem opartym na objawach, które było wówczas obecne w systemach takich jak Mycin , co zostało uznane przez włączenie go do retrospektywy pięćdziesięciu tomów Sztucznej inteligencji (czasopismo) . Jego praca nad integracją danych zdobyła nagrodę za najlepszą pracę na Sympozjum na temat Zasad Systemów Baz Danych w 1997 roku . Jego praca nad transakcjami między racjonalnymi agentami zdobyła w 2007 roku nagrodę za wpływową gazetę przyznawaną przez International Foundation for Autonomous Agents and Multiagent Systems .

Edukacja logiczna

W 2016 roku Genesereth podjął próbę wprowadzenia edukacji logicznej do szkół średnich w całej Ameryce, powołując się na semantykę Herbranda jako podstawę podejścia pedagogicznego. Program obejmuje obozy letnie dla uczniów szkół średnich oferowane na kampusie Stanforda oraz doskonalenie zawodowe nauczycieli oferowane na różnych studiach w USA. Oferta szkół średnich wykorzystuje te same materiały kursowe, co kursy MOOC na ten sam temat.

Społeczeństwo

Genesereth był przewodniczącym programowym Trzeciej Narodowej Konferencji Sztucznej Inteligencji, radnym American Association for the Advancement of Artificial Intelligence na kadencję kończącą się w 1985 roku, a w 1990 został wybrany jej członkiem. Był także organizatorem Międzynarodowego Generalnego Game Playing Competition, przewodnicząca programowa w 1993 roku The Web Conference , współorganizatorka wiosennego sympozjum American Association for the Advancement of Artificial Intelligence nt. inteligentnego zarządzania prywatnością w 2010 roku oraz przewodnicząca IX Symposium on Abstraction, Reformulation and Approximation.

Bibliografia

  •   ——; Nilsson, Nils J. (1987). Logiczne podstawy sztucznej inteligencji . Morgana Kaufmanna . ISBN 978-0-934613-31-6 .
  •   —— (2010). Integracja danych: podejście oparte na logice relacyjnej . Wykłady syntetyczne na temat sztucznej inteligencji i uczenia maszynowego. Tom. 4. Morgan i Claypool. s. 1–97. doi : 10.2200/S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6 .
  •   ——; Kao, Eric (2012). Wprowadzenie do logiki . Wykłady syntetyczne z informatyki. Morgana i Claypoola. doi : 10.2200/S00734ED2V01Y201609CSL008 . ISBN 978-1-62705-006-7 .
  •    ——; Thielscher, Michael (2014). Ogólne granie w gry . Wykłady syntetyczne na temat sztucznej inteligencji i uczenia maszynowego. Morgana i Claypoola. doi : 10.2200/S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6 . S2CID 23241902 .
  •    ——; Chaudhri, Vinay (2020). Wprowadzenie do programowania logicznego . Wykłady syntetyczne na temat sztucznej inteligencji i uczenia maszynowego. Morgana i Claypoola. doi : 10.2200/S00966ED1V01Y201911AIM044 . ISBN 978-1681737225 . S2CID 213262584 .

Zobacz też

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Michael_Genesereth&oldid=1137892597 ”