Segunda-feira, 01/10 às 10:30 na sala multiuso, haverá uma palestra com o pesquisador sênior Prof. Andreas Herzig do Centro Nacional Francês para Pesquisa Científica (CNRS). Herzig veio ao Brasil a convite do LSFA (Logical and Semantic Frameworks with Applications), e ministrará sua palestra no Campus sobre “Planejamento epistêmico multiagente”.
Herzig também trabalha no Instituto de Pesquisa em Ciência da Computação de Toulouse (IRIT). Estudou ciência da computação em Darmstadt (Alemanha) e em Toulouse (França), onde obteve seu Ph.D. (1989). É membro do comitê de programa das principais conferências em Inteligência Artificial (IJCAI, ECAI, AAAI, AAMAS,..). Possui 51 publicações em Journals e 125 publicações em conferências, além de ter orientado/co-orientado 21 teses de doutorado. Seu principal tema de pesquisa é a investigação de modelos lógicos de interação, com foco na lógica para raciocínio sobre conhecimento, crença, tempo, ação, intenção e obrigação, e o desenvolvimento de métodos de prova de teoremas para estas. Seus interesses atuais dizem respeito à integração de lógicas de ação e mudança com lógicas de crença, com aplicações em lógica crença-desejo-intenção, planejamento multiagente, teoria da argumentação e programação por conjunto de respostas.
Fonte: Professor Paulo de Tarso | Campus da UFC em Quixadá
Fonte: Portal do Campus Quixadá