U.S. National Science Foundation
O programa Inteligência Artificial, Métodos Formais e Raciocínio Matemático (AIMing) busca apoiar pesquisas na fronteira entre tecnologias inovadoras de computação e inteligência artificial (IA) e novas estratégias e tecnologias de raciocínio matemático voltadas à automação da descoberta de conhecimento.
O raciocínio matemático é uma capacidade central da inteligência humana e tem um papel relevante na descoberta de conhecimento. Nas últimas décadas, tanto a comunidade matemática quanto a de ciência da computação contribuíram para a pesquisa em raciocínio matemático assistido por máquina, abrangendo conjectura, prova e verificação.
Isso ocorreu tanto por meio de métodos formais e provadores interativos de teoremas quanto pelo uso de técnicas de inteligência artificial. Avanços tecnológicos recentes levaram a um aumento do interesse no raciocínio matemático assistido por máquina por parte das comunidades de ciências matemáticas, métodos formais e IA.
Por sua vez, os avanços nesse campo têm potencial de impacto sobre a pesquisa em IA.
Esta oportunidade é publicada por uma fonte externa oficial. O Fairplace não processa candidaturas para ela — você se candidata diretamente no site deles.
