Pavel Naumov - Pavel Naumov

Pavel Naumov
Павел Наумов
narozený (1970-01-26) 26. ledna 1970 (věk 50)
Moskva, SSSR
Známý jakologiky know-how, logiky viny
Akademické pozadí
Alma materPh.D 1998 Cornell University,
Diplom 1992 Moskevská státní univerzita
Akademičtí poradciRobert Lee Constable,
Sergej N. Artemov
Akademická práce
DisciplínaLogika
Počítačová věda
Matematika
Filozofie
InstituceTulane University, Claremont McKenna College, Vassar College
webová stránkapavelnaumov.com

Pavel Naumov (ruština: Павел Наумов) je rusko-americký logik, který se specializuje na uvažování o znalostech a strategiích v multiagentních systémech. Naumov vystudoval Moskevská státní univerzita s diplomem z matematiky, kde byl jeho poradcem Sergej N. Artemov[1]. Získal titul Ph.D. v Počítačová věda z Cornell University pod Robert Lee Constable[1].

Životopis

Pavel Naumov se narodil v roce Moskva, SSSR v roce 1970 Taisia ​​Naumova a Gennadi Naumov[2]Byl vítězem Moskevské matematické olympiády v roce 1985[3]a 1986[4]a matematická olympiáda Sovětského svazu v roce 1985. Naumov vystudoval Oddělení matematiky z Moskevská státní univerzita se specializací na Logika[2].

Naumov byl žalobcem v soudním řízení proti svému bývalému zaměstnavateli McDaniel College.[5]

Vybrané publikace

  • P. Naumov, J. Tao, Epistemic Logic of Blameworthiness, Artificial Intelligence, svazek 283, červen 2020, 103269
  • P. Naumov, J. Tao, Společně víme, jak dosáhnout: Epistemická logika know-how, Umělá inteligence, svazek 262, září 2018, s. 279-300
  • J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, svazek 191, vydání 14, str. 3407-3426, 2014.

Reference

  1. ^ A b „Pavel Naumov - Matematický genealogický projekt“. www.genealogy.ams.org. Archivovány od originál dne 1. listopadu 2018. Citováno 20. června 2020.
  2. ^ A b Naumov, Pavel (20. září 1998). „Formalizace referenčních typů v NuPRL, disertační práce“ - prostřednictvím ecommons.cornell.edu. Citovat deník vyžaduje | deník = (Pomoc)
  3. ^ "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  4. ^ "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  5. ^ https://www.courtlistener.com/docket/4512632/naumov-v-mcdaniel-college-inc/

externí odkazy