Descrizione del progetto
Da un’intelligenza artificiale basata sui dati a una basata sui modelli: l’apprendimento della rappresentazione per la pianificazione
Due principali filoni di ricerca nell’IA ruotano attorno allo sviluppo di discenti basati sui dati capaci di inferire il comportamento e le funzioni dall’esperienza e dai dati e su discenti basati sui modelli in grado di occuparsi di modelli difficili quali SAT, pianificazione classica e reti bayesiane. I discenti, e in particolare i software di apprendimento profondo, hanno ottenuto un successo considerevole, ma conducono a scatole nere inflessibili. I solver, d’altro canto, richiedono modelli difficili da costruire a mano. Il progetto RLeap, finanziato dall’UE, si propone di ottenere l’integrazione di entrambi nel contesto della pianificazione, affrontando e risolvendo il problema dell’apprendimento di rappresentazioni simboliche di primo ordine provenienti solo da percezioni grezze. Il progetto può fare la differenza in come l’IA generale, spiegabile e affidabile possa essere compresa e ottenuta.
Obiettivo
Two of the main research threads in AI revolve around the development of data-based learners capable of inferring behavior and functions from experience and data, and model-based solvers capable of tackling well-defined but intractable models like SAT, classical planning, and Bayesian networks. Learners, and in particular deep learners, have achieved considerable success but result in black boxes that do not have the flexibility, transparency, and generality of their model-based counterparts. Solvers, on the other hand, require models which are hard to build by hand. RLeap is aimed at achieving an integration of learners and solvers in the context of planning by addressing and solving the problem of learning first-order planning representations from raw perceptions alone without using any prior symbolic knowledge. The ability to construct first-order symbolic representations and using them for expressing, communicating, achieving, and recognizing goals is a main component of human intelligence and a fundamental, open research problem in AI. The success of RLeap requires the development of radically new ideas and methods that will build on those of a number of related areas that include planning, learning, knowledge representation, combinatorial optimization and SAT. The approach to be pursued is based on a clear separation between learning the symbolic representations themselves, that is cast as a combinatorial problem, and learning the interpretations of those representations, that is cast as a supervised learning problem from targets obtained from the first part. RLeap will address both problems, not just in the planning setting but in the generalized planning setting as well where plans are general strategies. The project can make a significant difference in how general, explainable, and trustworthy AI can be understood and achieved. The PI has made key contribution to the main themes of the project that make him uniquely qualified to carry it forward.
Campo scientifico
Parole chiave
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-ADG - Advanced GrantIstituzione ospitante
52062 Aachen
Germania