Michael Genesereth - Michael Genesereth

Michael Genesereth
narozený (1948-10-15) 15. října 1948 (věk 72)[Citace je zapotřebí ]
Alma materMassachusetts Institute of Technology
Harvardská Univerzita
OceněníAAAI Fellow (1990, založení).[1]
Vědecká kariéra
PoleLogika
Počítačová věda
Umělá inteligence
Výpočetní právo
InstituceStanfordská Univerzita
TezeAutomatizovaná konzultace pro složité počítačové systémy [2] (1978)
Doktorský poradceThomas Cheatham (Harvard)
Joel Mojžíš (MIT)
DoktorandiRussell Greiner
Jock D. Mackinlay
Stuart J. Russell
Vishal Sikka

Michael Genesereth je logik a počítačový vědec, který je nejvíce známý svou prací na výpočetní logika a aplikace této práce v řízení podniku, výpočetní právo, a obecné hraní her.[3] Genesereth je profesorem katedry informatiky na Stanfordské univerzitě a profesorem se svolením na Stanfordské právnické fakultě.[4] Jeho učebnice z roku 1987 o logických základech umělé inteligence[5] zůstává jedním z klíčových odkazů na Symbolická umělá inteligence.[6] Je autorem vlivného Popis hry Jazyk (GDL) a Formát výměny znalostí (KIF), druhý z nich vedl k ISO Společná logika Standard.[7]

Vzdělávání

Genesereth obdržel B.S. ve fyzice (1972) z Massachusetts Institute of Technology a oba M.S. (1974) a Ph.D. (1978) v Applied Mathematics[8] z Harvardská Univerzita.

Kariéra

Genesereth byl členem fakulty v oddělení výpočetní techniky na Stanfordská Univerzita od roku 1979. Je ředitelem logické skupiny ve Stanfordu a zakladatelem a výzkumným ředitelem společnosti Kodex, Stanfordské centrum pro právní informatiku.[9][10][11][12][13][14] Je jedním ze zakladatelů společností Teknowledge,[15] CommerceNet,[16] Fúzní systémy,[17] SIPX[18] a Symbium.[19] Symbium je nejnovější spinoff z výzkumu výpočetního práva prováděného Kodex a je nositelem ceny za inovaci Ivory za politiku a regulační reformu.[20]

Výzkum

Geneserethův výzkum[21] je široce založen na použití výpočetní logika pro takové aplikace, jako je integrace znalostí z heterogenních zdrojů,[22] jako společný formát pro výměnu znalostí,[23][24][25] jako základ pro agentickou reprezentaci znalostí a softwarové inženýrství,[26][27][28][29] jako vylepšení tabulek známých jako a Logická tabulka,[30] a pro optimalizaci dotazů v a deduktivní databáze Systém.[31][32] Vynalezl pojem Diagnostika založená na modelu jako kontrast s přístupem založeným na symptomech, který je aktuální v systémech jako Mycin a toto bylo uznáno jeho zahrnutím do retrospektivy na padesát svazků Umělá inteligence (deník).[33] Jeho práce na integraci dat[34] vyhrál cenu za nejlepší papír v roce 1997 Symposium on Principles of Database Systems.[35] Jeho práce na obchodech mezi racionální agenti [36] vyhrál vlivné papírové ocenění od Mezinárodní nadace pro autonomní agenty a multiagentní systémy v roce 2007.[37]

Logické vzdělávání

V roce 2016 zahájila společnost Genesereth snahu přinést logické vzdělávání na střední školy po celé Americe[38][39] citovat Herbrand sémantika[40] jako základ pedagogického přístupu. Program zahrnuje letní tábory pro studenty středních škol nabízené v areálu Stanfordu a profesní rozvoj učitelů nabízený v různých studiích v USA.[41] Nabídky pro střední školy využívají stejný výukový materiál jako a MOOC na stejné téma.[42]

Společnost

Genesereth sloužil jako programový předseda Třetí národní konference umělé inteligence,[43] radní z Americká asociace pro povýšení umělé inteligence na období končící v roce 1985,[44] a byl zvolen svým kolegou v roce 1990.[1] Byl také organizátorem mezinárodní soutěže obecných her,[45] programová židle v roce 1993 Webová konference,[46] spoluorganizátor roku 2010 Americká asociace pro povýšení umělé inteligence Jarní sympozium o inteligentní správě soukromí,[47] a předseda devátého sympozia o abstrakci, reformaci a aproximaci.[48]

Bibliografie

  • ——; Nilsson, Nils J. (1987). Logické základy umělé inteligence. Morgan Kaufmann. ISBN  978-0-934613-31-6.
  • —— (2010). Integrace dat: přístup relační logiky. Syntetické přednášky o umělé inteligenci a strojovém učení. 4. Morgan & Claypool. s. 1–97. doi:10.2200 / S00226ED1V01Y200911AIM008. ISBN  978-1-59829-741-6.
  • ——; Kao, Eric (2012). Úvod do logiky. Syntetické přednášky o informatice. Morgan & Claypool. doi:10.2200 / S00734ED2V01Y201609CSL008. ISBN  978-1-62705-006-7.
  • ——; Thielscher, Michael (2014). Obecné hraní her. Syntetické přednášky o umělé inteligenci a strojovém učení. Morgan & Claypool. doi:10.2200 / S00564ED1V01Y201311AIM024. ISBN  978-1-62705-256-6.
  • ——; Chaudhri, Vinay (2020). Úvod do logického programování. Syntetické přednášky o umělé inteligenci a strojovém učení. Morgan & Claypool. doi:10.2200 / S00966ED1V01Y201911AIM044. ISBN  978-1681737225.

Viz také

Reference

  1. ^ A b Členové AAAI
  2. ^ Michael, Genesereth. „Automatická konzultace pro složité počítačové systémy“. Katalog knihovny Hollis, Harvard University. Citováno 15. července 2020.
  3. ^ Gaylord, Chris. „Počítače ovládají herní plán“. Christian Science Monitor. Citováno 16. července 2020.
  4. ^ „Michael Genesereth“. Lidé ze Stanfordské univerzity. Standfordská univerzita. Citováno 16. července 2020.
  5. ^ Genesereth, Michael; Nilsson, Nils (1987). Logické základy umělé inteligence. Nakladatelé Morgan Kaufmann. ISBN  978-0-934613-31-6.
  6. ^ Genesereth, Michael; Nilsson, Nils. „Logické základy umělé inteligence“. Citace ve službě Google Scholar. Citováno 15. července 2020.
  7. ^ ISO / IEC 24707: 2018. „Informační technologie - Common Logic (CL) - rámec pro rodinu jazyků založených na logice“. Mezinárodní organizace pro normalizaci. Citováno 15. července 2020.
  8. ^ Michael Genesereth na Matematický genealogický projekt
  9. ^ „Fast Case 50, Honouring the Law's Smartest, Class of 2016“. Rychlý případ 50. Citováno 30. července 2020.
  10. ^ Bay, Monica. „Sun and Chatbots“. Nad zákonem. Citováno 21. května 2020.
  11. ^ Riyanka Roy, Chaudhri. „Journey to CodeX: Shaping the Future of Law“. LAWXAM. Citováno 21. května 2020.
  12. ^ Bowman, Mark. „IP Intensive Program: Interning at CodeX, at Stanford University: The Highlight of My Law School Experience“. IP OSGOODE. Citováno 21. května 2020.
  13. ^ Matthew, Carroll (21. června 2017). „Highlight Community: Stanford's CodeX and the Future of Automated Law“. IMMUTA. Citováno 21. května 2020.
  14. ^ Eliot, Lance. „FutureLaw 2020 ukazuje, jak technologie mění zákon, včetně dopadů AI“. Forbes.COM. Citováno 17. července 2020.
  15. ^ „Teknowledge Corp“. Citováno 21. května 2020.
  16. ^ Tanenbaum, Marty; Výlet, Chowdry. „Závěrečná zpráva pro konsorcium Commercenet“ (PDF). Obranné technické informační centrum. Citováno 17. července 2020.
  17. ^ „Commerce One získává fúzní systémy“. zdroj odpovědí. Citováno 17. července 2020.
  18. ^ „Sipx Inc“. Věda o vztazích. Citováno 17. července 2020.
  19. ^ „Symbium“. Citováno 21. května 2020.
  20. ^ „Oznámení vítěze ceny slonoviny 2020“. Inovace ze slonoviny. Citováno 15. července 2020.
  21. ^ Michael Genesereth na DBLP Bibliografický server Upravte to na Wikidata
  22. ^ Genesereth, M.R., Keller, A.M. a Duschka, O.M., 1997, červen. Infomaster: Systém pro integraci informací. V záznamu ACM SIGMOD (svazek 26, č. 2, str. 539-542). ACM.
  23. ^ Studer, Rudi; Benjamins, Richard; Fensel, Dieter (1998). „Znalostní inženýrství: zásady a metody“. Datové a znalostní inženýrství. 25 (1–2): 161–97. doi:10.1016 / S0169-023X (97) 00056-6.
  24. ^ Genesereth, M.R. a Fikes, R.E., 1992. Výměna znalostí ve formátu verze 3.0: referenční příručka.
  25. ^ Genesereth, M.R., 1991, duben. Formát výměny znalostí. In Proceedings of the Second International Conference on Principles of Knowledge Reprezentation and Reasoning (pp. 599-600). Morgan Kaufmann Publishers Inc.
  26. ^ Genesereth, Michael; Ginsberg, Matthew; Rosenschein, Jeffrey (1986). „Spolupráce bez komunikace“ (PDF). Sborník z Národní konference o umělé inteligenci: 51–57. Citováno 3. srpna 2020.
  27. ^ Genesereth, M.R. a Ketchpel, S.P., 1994. Softwaroví agenti. V komunikaci ACM.
  28. ^ Wooldridge, Michael (8. března 2013). Úvod do multiagentních systémů (2. vyd.). John Wiley & Sons. ISBN  978-0-470-51946-2. Citováno 21. května 2020.
  29. ^ Bradshaw, John (1997). „Úvod do softwarových agentů“ (PDF). Softwaroví agenti. 6 (4): 466–469. Citováno 21. května 2020.
  30. ^ „Logické tabulky“. ZDNet. Citováno 16. července 2020.
  31. ^ Chirkova, Rada; Genesereth, Michael (2000). "Lineárně ohraničené reformulace konjunktivních databází". Mezinárodní konference o výpočetní logice. Přednášky z informatiky. 1861: 987–1001. doi:10.1007/3-540-44957-4_66. ISBN  978-3-540-67797-0.
  32. ^ Genesereth, Michael; Mohapatra, Abhijeet (2019). "Praktický algoritmus pro reformulaci dedukčních databází". Druhá mezinárodní konference IEEE o umělé inteligenci a znalostním inženýrství (AIKE). doi:10.1109 / AIKE.2019.00020. S2CID  160018891.
  33. ^ Bobrow, Daniel G. (únor 1993). „Umělá inteligence v perspektivě: retrospektiva k padesáti svazkům časopisu Artificial Intelligence Journal“. Umělá inteligence. 59 (1–2): 5–20. doi:10.1016/0004-3702(93)90163-6. Citováno 30. července 2020.
  34. ^ Genesereth, Michael; Duschka, Oliver (1997). Msgstr "Odpovědi na motivační dotazy pomocí pohledů". Sborník konference ACM Symposium on Principles of Database Systems: 109–116. doi:10.1145/263661.263674. ISBN  0897919106. S2CID  2995653.
  35. ^ „PODS Best Paper Awards“. SIGMOD.ORG. Asociace výpočetní techniky, zvláštní zájmová skupina pro správu dat. Citováno 30. července 2020.
  36. ^ Rosenschtein, Jeffrey; Genesreth, Michael (1985). „Dohody mezi racionálními agenty“ (PDF). Mezinárodní společná konference o umělé inteligenci: 91–99. Citováno 3. srpna 2020.
  37. ^ „Cena IFAAMAS Influential Paper Award“. Mezinárodní nadace pro autonomní agenty a multiagentní systémy. Citováno 3. srpna 2020.
  38. ^ Myers, Andrew (9. června 2016). „Stanfordský počítačový vědec navrhuje logické osnovy pro střední školu“. Stanfordské inženýrství. Citováno 21. května 2020.
  39. ^ Genesereth, Michael; Chaudhri, Vinay. „Logika ve středním vzdělávání“. Infosys Foundation. Citováno 21. května 2020.
  40. ^ Genesereth, Michael; Kao, Eric (2015). „Herbrandův manifest - myšlení uvnitř krabice“. Rule Technologies: Foundations, Tools, and Applications. RuleML 2015. doi:10.1007/978-3-319-21542-6_1.
  41. ^ „Stanfordský úvod do logiky“. Stanford IntroLogic. Citováno 21. května 2020.
  42. ^ "Úvod do logiky". Citováno 21. května 2020.
  43. ^ „Třetí národní konference o umělé inteligenci“. AAAI. AAAI.ORG. Citováno 30. července 2020.
  44. ^ AAAI. „Minulí úředníci AAAI“. Citováno 15. července 2020.
  45. ^ „International General Game Playing Competition“. AAAI. aaai.org. Citováno 30. července 2020.
  46. ^ „Programový výbor WWW6“. Archivovány od originál dne 22. 7. 2012. Citováno 30. července 2020.
  47. ^ „Inteligentní správa ochrany osobních údajů“. AAAI. aaai.org. Citováno 30. července 2020.
  48. ^ „Proceedings, the Deváté sympozium o abstrakci, reformaci a aproximaci (SARA 2011)“. AAAI. AAAI.ORG.