U.S. National Science Foundation
Il programma Intelligenza artificiale, metodi formali e ragionamento matematico (AIMing) mira a sostenere la ricerca all'interfaccia tra tecnologie innovative di calcolo e intelligenza artificiale (IA) e nuove strategie e tecnologie di ragionamento matematico per automatizzare la scoperta della conoscenza.
Il ragionamento matematico è una capacità centrale dell'intelligenza umana e riveste un ruolo importante nella scoperta della conoscenza. Negli ultimi decenni, sia la comunità matematica che quella informatica hanno contribuito alla ricerca sul ragionamento matematico assistito da macchina, comprendendo congettura, dimostrazione e verifica.
Ciò è avvenuto sia sotto forma di metodi formali e dimostratori interattivi di teoremi, sia attraverso l'uso di tecniche di intelligenza artificiale. I recenti progressi tecnologici hanno portato a un forte aumento dell'interesse per il ragionamento matematico assistito da macchina da parte delle comunità delle scienze matematiche, dei metodi formali e dell'IA.
A loro volta, i progressi in questo campo hanno un potenziale impatto sulla ricerca in IA.
Questa opportunità è pubblicata da una fonte esterna ufficiale. Fairplace non gestisce le candidature per essa: ti candidi direttamente sul loro sito.
