Pavel Naumov - Pavel Naumov

Pavel Naumov
Павел Наумов
Nascer ( 26/01/1970 )26 de janeiro de 1970 (51 anos)
Moscou , URSS
Conhecido por lógicas de know-how, lógicas de culpa
Formação acadêmica
Alma mater Ph.D 1998 Cornell University ,
Diploma 1992 Moscow State University
Orientadores acadêmicos Robert Lee Constable ,
Sergei N. Artemov
Trabalho acadêmico
Disciplina Lógica
Ciência da
Computação Filosofia da Matemática
Instituições Tulane University , Claremont McKenna College , Vassar College
Local na rede Internet pavelnaumov.com

Pavel Naumov ( russo : Павел Наумов ) é um lógico russo-americano especializado em raciocinar sobre conhecimentos e estratégias em sistemas multiagentes. Naumov se formou na Universidade Estadual de Moscou com um Diploma em Matemática, onde seu orientador foi Sergei N. Artemov . Ele recebeu Ph.D. em Ciência da Computação pela Cornell University com Robert Lee Constable .

Biografia

Pavel Naumov nasceu em Moscou , URSS em 1970, filho de Taisia ​​Naumova e Gennadi Naumov . Ele foi o vencedor da Olimpíada de Matemática de Moscou em 1985 e 1986, e da Olimpíada de Matemática da União Soviética em 1985. Naumov se formou no Departamento de Matemática da Universidade Estadual de Moscou com especialização em Lógica .

Publicações selecionadas

  • P. Naumov, J. Tao, An Epistemic Logic of Blameworthiness, Artificial Intelligence, Volume 283, junho de 2020, 103269
  • P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, Artificial Intelligence, Volume 262, setembro de 2018, pp. 279-300
  • J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, Volume 191, Issue 14, pp. 3407-3426, 2014.

Referências

links externos