Giuseppe Marra (DIISM, University of Siena)
March 15th, 2018 – 9:30 AM
DIISM, Artificial Intelligence laboratory (room 201), Siena SI
In spite of the amazing results of deep learning in many applications, a real intelligent behavior of an agent, acting in a complex environment, is likely to require some kind of higher-level symbolic inference. Therefore, there is a clear need for the definition of a general and tight integration between low-level tasks, processing sensorial low-level data that can be effectively elaborated using deep learning techniques, and the logic reasoning that allows humans to take decisions in complex environments. This seminar presents CLARE, a generic interface layer for AI, which is directly written into TersorFlow (TF). CLARE defines an input language that allows to define arbitrary First Order Logic background knowledge, including clauses, groundings and constants. The framework is extremely general as it imposes no restrictions in terms of models or knowledge that can be integrated.