Maykl Geneseret - Michael Genesereth

Maykl Geneseret
Tug'ilgan (1948-10-15) 1948 yil 15-oktyabr (72 yosh)[iqtibos kerak ]
Olma materMassachusets texnologiya instituti
Garvard universiteti
MukofotlarAAAI Hamkasb (1990, asos solgan).[1]
Ilmiy martaba
MaydonlarMantiq
Kompyuter fanlari
Sun'iy intellekt
Hisoblash qonuni
InstitutlarStenford universiteti
TezisMurakkab kompyuter tizimlari uchun avtomatlashtirilgan konsultatsiya [2] (1978)
Doktor doktoriTomas Cheatham (Garvard)
Joel Moses (MIT)
DoktorantlarRassel Greiner
Jok D. Makinlay
Styuart J. Rassel
Vishal Sikka

Maykl Geneseret a mantiqchi va kompyutershunos, eng ko'p ishi bilan tanilgan hisoblash mantiqi va uning ilovalari korxona boshqaruvi, hisoblash qonuni va umumiy o'yin o'ynash.[3] Geneseret Stenford Universitetining kompyuter fanlari kafedrasi professori va Stenford yuridik maktabining xushmuomalalik bilan professori.[4] Uning "Sun'iy aqlning mantiqiy asoslari to'g'risida" 1987 yil darsligi[5] asosiy havolalardan biri bo'lib qolmoqda Simvolik sun'iy intellekt.[6] U ta'sirchan muallif O'yin ta'rifi tili (GDL) va Bilimlar almashinuvi formati (KIF), ikkinchisi ISO ga olib keldi Umumiy mantiq standart.[7]

Ta'lim

Geneseret B.S.ni oldi. Fizikada (1972) dan Massachusets texnologiya instituti va ikkalasi ham M.S. (1974) va f.f.n. (1978) Amaliy matematika[8] dan Garvard universiteti.

Karyera

Geneseret kompyuter fanlari bo'limida o'qituvchi bo'lgan Stenford universiteti 1979 yildan beri. U Stenforddagi Logic Group direktori va asoschisi va tadqiqot direktori CodeX, Stenford huquqiy informatika markazi.[9][10][11][12][13][14] U Teknowledge kompaniyalarining asoschilaridan biri,[15] CommerceNet,[16] Mergent tizimlari,[17] SIPX[18] va Symbium.[19] Symbium - bu amalga oshirilgan hisoblash qonunchiligi tadqiqotlarining eng so'nggi spinoffidir CodeX va siyosat va tartibga soluvchi islohotlar uchun fil suyagi innovatsion mukofoti sovrindori.[20]

Tadqiqot

Geneseretning tadqiqotlari[21] keng foydalanishga asoslangan hisoblash mantiqi turli xil manbalardan bilimlarni birlashtirish kabi dasturlar uchun,[22] bilim almashish uchun umumiy format sifatida,[23][24][25] agentlikka asoslangan bilimlarni namoyish etish va dasturiy ta'minot muhandisligi uchun asos bo'lib,[26][27][28][29] sifatida tanilgan elektron jadvallarni takomillashtirish sifatida Mantiqiy jadval,[30] va a-da so'rovlarni optimallashtirish uchun deduktiv ma'lumotlar bazasi tizim.[31][32] U tushunchasini ixtiro qildi Modelga asoslangan diagnostika shunga o'xshash tizimlarda mavjud bo'lgan simptomlarga asoslangan yondashuvdan farqli o'laroq Mycin va bu uning ellik jilddagi retrospektivasiga qo'shilishi bilan tan olindi Sun'iy aql (jurnal).[33] Ma'lumotlarni integratsiyalash bo'yicha ishi[34] 1997 yilda eng yaxshi qog'oz mukofotiga sazovor bo'ldi Ma'lumotlar bazalari tizimlari printsiplari bo'yicha simpozium.[35] Uning ishi orasida bitimlar ratsional agentlar [36] tomonidan nufuzli qog'oz mukofotiga sazovor bo'ldi Avtonom agentlar va multiagent tizimlar uchun xalqaro fond 2007 yilda.[37]

Mantiqiy ta'lim

2016 yilda Genesereth butun Amerika bo'ylab o'rta maktablarga mantiqiy ta'lim berish bo'yicha harakatlarni boshladi[38][39] iqtibos keltirgan holda Herbrand semantik[40] pedagogik yondashuvning asosi sifatida. Dasturga Stenford talabalar shaharchasida tashkil etilgan o'rta maktab o'quvchilari uchun yozgi oromgohlar va AQShdagi turli tadqiqotlarda o'qituvchilarning malakasini oshirish kiradi.[41] O'rta maktab takliflari a kursi materialidan foydalanadi MOOC xuddi shu mavzuda.[42]

Jamiyat

Geneseret sun'iy intellektning uchinchi milliy konferentsiyasining dastur rahbari bo'lib ishlagan,[43] maslahatchisi Sun'iy intellektni rivojlantirish bo'yicha Amerika assotsiatsiyasi 1985 yilda tugaydigan muddat uchun,[44] va 1990 yilda uning hamkori etib saylangan.[1] Shuningdek, u Xalqaro umumiy o'yin o'ynash musobaqasining tashkilotchisi bo'lgan,[45] 1993 yil dastur kafedrasi Veb-konferentsiya,[46] 2010 yilgi tashkilotchi Sun'iy intellektni rivojlantirish bo'yicha Amerika assotsiatsiyasi Maxfiylikni intellektual boshqarish bo'yicha bahorgi simpozium,[47] va mavhumlashtirish, isloh qilish va yaqinlashtirish bo'yicha to'qqizinchi simpozium raisi.[48]

Bibliografiya

  • ——; Nilsson, Nils J. (1987). Sun'iy aqlning mantiqiy asoslari. Morgan Kaufmann. ISBN  978-0-934613-31-6.
  • —— (2010). Ma'lumotlarni integratsiyasi: Mantiqiy munosabatlarning yondashuvi. Sun'iy intellekt va mashinada o'rganish bo'yicha sintez ma'ruzalari. 4. Morgan va Kleypul. 1-97 betlar. doi:10.2200 / S00226ED1V01Y200911AIM008. ISBN  978-1-59829-741-6.
  • ——; Kao, Erik (2012). Mantiq bilan tanishish. Kompyuter fanidan sintez ma'ruzalari. Morgan va Kleypul. doi:10.2200 / S00734ED2V01Y201609CSL008. ISBN  978-1-62705-006-7.
  • ——; Thielscher, Maykl (2014). Umumiy o'yin o'ynash. Sun'iy intellekt va mashinada o'rganish bo'yicha sintez ma'ruzalari. Morgan va Kleypul. doi:10.2200 / S00564ED1V01Y201311AIM024. ISBN  978-1-62705-256-6.
  • ——; Chaudri, Vinay (2020). Mantiqiy dasturlash bilan tanishish. Sun'iy intellekt va mashinada o'rganish bo'yicha sintez ma'ruzalari. Morgan va Kleypul. doi:10.2200 / S00966ED1V01Y201911AIM044. ISBN  978-1681737225.

Shuningdek qarang

Adabiyotlar

  1. ^ a b AAAI a'zolari
  2. ^ Maykl, Geneseret. "Murakkab kompyuter tizimlari uchun avtomatik maslahat". Xollis kutubxonasi katalogi, Garvard universiteti. Olingan 15 iyul 2020.
  3. ^ Geylord, Kris. "Kompyuterlar o'yin taxtasini o'zlashtiradilar". Christian Science Monitor. Olingan 16 iyul 2020.
  4. ^ "Maykl Geneseret". Stenford universiteti odamlari. Standford universiteti. Olingan 16 iyul 2020.
  5. ^ Geneseret, Maykl; Nilsson, Nils (1987). Sun'iy aqlning mantiqiy asoslari. Morgan Kaufmann Publishers. ISBN  978-0-934613-31-6.
  6. ^ Geneseret, Maykl; Nilsson, Nils. "Sun'iy aqlning mantiqiy asoslari". Google Scholar-dagi iqtiboslar. Olingan 15 iyul 2020.
  7. ^ ISO / IEC 24707: 2018. "Axborot texnologiyalari - umumiy mantiq (CL) - mantiqqa asoslangan tillar oilasi uchun asos". Xalqaro standartlashtirish tashkiloti. Olingan 15 iyul 2020.
  8. ^ Maykl Geneseret da Matematikaning nasabnomasi loyihasi
  9. ^ "Tez ish 50, Qonunning eng aqlli shaxsini hurmat qilish, 2016 yildagi sinf". Tez ish 50. Olingan 30 iyul 2020.
  10. ^ Bay, Monika. "Quyosh va chatbotlar". Qonundan yuqori. Olingan 21 may 2020.
  11. ^ Riyanka Roy, Chaudri. "CodeX-ga sayohat: huquq kelajagini shakllantirish". LAWXAM. Olingan 21 may 2020.
  12. ^ Bowman, Mark. "IP intensiv dasturi: Stenford universitetida CodeX-da stajirovka: Mening yuridik fakultetimning tajribasi". IP OSGOODE. Olingan 21 may 2020.
  13. ^ Metyu, Kerol (2017 yil 21-iyun). "Jamiyatning diqqatga sazovor joylari: Stenfordning CodeX va avtomatlashtirilgan huquqning kelajagi". IMMUTA. Olingan 21 may 2020.
  14. ^ Eliot, Lens. "FutureLaw 2020 texnologiyasi qonunni qanday o'zgartirayotganini namoyish etadi, shu jumladan, sun'iy intellektning ta'sirini". Forbes.COM. Olingan 17 iyul 2020.
  15. ^ "Teknowledge Corp". Olingan 21 may 2020.
  16. ^ Tanenbaum, Marti; Sayohat, Chodri. "Commercenet konsortsiumi uchun yakuniy hisobot" (PDF). Mudofaa texnik ma'lumot markazi. Olingan 17 iyul 2020.
  17. ^ "Commerce One Mergent tizimlarini sotib oladi". javob manbasi. Olingan 17 iyul 2020.
  18. ^ "Sipx Inc". Aloqaviy fan. Olingan 17 iyul 2020.
  19. ^ "Simbium". Olingan 21 may 2020.
  20. ^ "2020 Kot-d'Ivuar mukofoti g'olibi to'g'risida e'lon". Fil suyagi yangiliklari. Olingan 15 iyul 2020.
  21. ^ Maykl Geneseret da DBLP Bibliografiya serveri Buni Vikidatada tahrirlash
  22. ^ Geneseret, MR, Keller, A.M. va Duschka, O.M., 1997, iyun. Infomaster: Axborot integratsiyasi tizimi. ACM SIGMOD yozuvida (26-jild, № 2, 539-542-betlar). ACM.
  23. ^ Studer, Rudi; Benjamins, Richard; Fensel, Diter (1998). "Bilim muhandisligi: tamoyillar va usullar". Ma'lumotlar va bilimlar muhandisligi. 25 (1–2): 161–97. doi:10.1016 / S0169-023X (97) 00056-6.
  24. ^ Genesereth, M.R. va Fikes, R.E., 1992. Bilimlar almashinuvi formati-3.0 versiyasi: ma'lumotnoma.
  25. ^ Geneseret, M.R., 1991, aprel. Bilimlar almashinuvi formati. Bilimlarni namoyish etish va mulohaza qilish tamoyillari bo'yicha ikkinchi xalqaro konferentsiya materiallarida (599-600 betlar). Morgan Kaufmann Publishers Inc.
  26. ^ Geneseret, Maykl; Ginsberg, Metyu; Rozenschein, Jeffri (1986). "Aloqasiz hamkorlik" (PDF). Sun'iy intellekt bo'yicha milliy konferentsiya materiallari: 51–57. Olingan 3 avgust 2020.
  27. ^ Genesereth, M.R. va Ketchpel, SP, 1994. Dasturiy ta'minot agentlari. ACM aloqalarida.
  28. ^ Vuldrij, Maykl (2013 yil 8 mart). Multiagent tizimlariga kirish (2-nashr). John Wiley & Sons. ISBN  978-0-470-51946-2. Olingan 21 may 2020.
  29. ^ Bredsou, Jon (1997). "Dasturiy ta'minot agentliklari bilan tanishish" (PDF). Dastur agentliklari. 6 (4): 466–469. Olingan 21 may 2020.
  30. ^ "Mantiqiy jadvallar". ZDNet. Olingan 16 iyul 2020.
  31. ^ Chirkova, Rada; Geneseret, Maykl (2000). "Konjunktiv ma'lumotlar bazalarining chiziqli chegaralangan islohatlari". Hisoblash mantig'i bo'yicha xalqaro konferentsiya. Kompyuter fanidan ma'ruza matnlari. 1861: 987–1001. doi:10.1007/3-540-44957-4_66. ISBN  978-3-540-67797-0.
  32. ^ Geneseret, Maykl; Mohapatra, Abxijet (2019). "Deduktiv ma'lumotlar bazalarini isloh qilishning amaliy algoritmi". IEEE sun'iy intellekt va bilim muhandisligi bo'yicha ikkinchi xalqaro konferentsiya (AIKE). doi:10.1109 / AIKE.2019.00020. S2CID  160018891.
  33. ^ Bobrow, Daniel G. (1993 yil fevral). "Sun'iy intellekt istiqbolda: sun'iy intellekt jurnalining ellik jildlik retrospektivasi". Sun'iy intellekt. 59 (1–2): 5–20. doi:10.1016/0004-3702(93)90163-6. Olingan 30 iyul 2020.
  34. ^ Geneseret, Maykl; Duschka, Oliver (1997). "Ko'rishlar yordamida rekursiv so'rovlarga javob berish". Ma'lumotlar bazalari tizimlari printsiplari bo'yicha ACM simpoziumi materiallari: 109–116. doi:10.1145/263661.263674. ISBN  0897919106. S2CID  2995653.
  35. ^ "PODS eng yaxshi qog'oz mukofotlari". SIGMOD.ORG. Hisoblash texnikasi assotsiatsiyasi, ma'lumotlarni boshqarish bo'yicha maxsus qiziqish guruhi. Olingan 30 iyul 2020.
  36. ^ Rozenshteyn, Jefri; Genesret, Maykl (1985). "Ratsional agentlar o'rtasidagi bitimlar" (PDF). Sun'iy intellekt bo'yicha xalqaro qo'shma konferentsiya: 91–99. Olingan 3 avgust 2020.
  37. ^ "IFAAMAS nufuzli qog'oz mukofoti". Avtonom agentlar va multiagent tizimlar uchun xalqaro fond. Olingan 3 avgust 2020.
  38. ^ Myers, Endryu (2016 yil 9-iyun). "Stenford kompyuter mutaxassisi o'rta maktab uchun mantiqiy o'quv dasturini ishlab chiqadi". Stenford muhandisligi. Olingan 21 may 2020.
  39. ^ Geneseret, Maykl; Chaudri, Vinay. "O'rta ta'limdagi mantiq". Infosys Foundation. Olingan 21 may 2020.
  40. ^ Geneseret, Maykl; Kao, Erik (2015). "Herbrand manifesti - quti ichida o'ylash". Qoida texnologiyalari: asoslar, vositalar va dasturlar. RuleML 2015. doi:10.1007/978-3-319-21542-6_1.
  41. ^ "Stenford mantiqqa kirish". Stenford IntroLogic. Olingan 21 may 2020.
  42. ^ "Mantiq bilan tanishish". Olingan 21 may 2020.
  43. ^ "Sun'iy intellekt bo'yicha uchinchi milliy konferentsiya". AAAI. AAAI.ORG. Olingan 30 iyul 2020.
  44. ^ AAAI. "O'tgan AAAI rasmiylari". Olingan 15 iyul 2020.
  45. ^ "Xalqaro umumiy o'yin o'ynash musobaqasi". AAAI. aaai.org. Olingan 30 iyul 2020.
  46. ^ "WWW6 dastur qo'mitasi". Arxivlandi asl nusxasi 2012-07-22. Olingan 30 iyul 2020.
  47. ^ "Axborot maxfiyligini boshqarish". AAAI. aaai.org. Olingan 30 iyul 2020.
  48. ^ "Ishlar, mavhumlashtirish, isloh qilish va yaqinlashtirish bo'yicha to'qqizinchi simpozium (SARA 2011)". AAAI. AAAI.ORG.