U.S. National Science Foundation
El programa Inteligencia Artificial, Métodos Formales y Razonamiento Matemático (AIMing) tiene como objetivo apoyar la investigación en la frontera entre tecnologías innovadoras de computación e inteligencia artificial (IA) y nuevas estrategias y tecnologías de razonamiento matemático para automatizar el descubrimiento de conocimiento.
El razonamiento matemático es una capacidad central de la inteligencia humana que desempeña un papel importante en el descubrimiento de conocimiento. En las últimas décadas, tanto la comunidad matemática como la de ciencias de la computación han contribuido a la investigación en razonamiento matemático asistido por máquina, abarcando conjetura, prueba y verificación.
Esto ha ocurrido tanto en forma de métodos formales y demostradores interactivos de teoremas como mediante el uso de técnicas de inteligencia artificial. Avances tecnológicos recientes han provocado un aumento del interés en el razonamiento matemático asistido por máquina por parte de las comunidades de ciencias matemáticas, métodos formales e IA.
A su vez, los avances en este campo tienen un impacto potencial en la investigación en IA.
Esta oportunidad es publicada por una fuente externa oficial. Fairplace no procesa solicitudes para ella; te postularás directamente en su sitio.
