Deep Learning with Logical Constraints

Eleonora Giunchiglia, Mihaela Catalina Stoian, Thomas Lukasiewicz

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence

Survey Track. Pages 5478-5485.

https://doi.org/10.24963/ijcai.2022/767

PDF BibTeX Video

Abstract

In recent years, there has been an increasing interest in exploiting logically specified background knowledge in order to obtain neural models (i) with a better performance, (ii) able to learn from less data, and/or (iii) guaranteed to be compliant with the background knowledge itself, e.g., for safety-critical applications. In this survey, we retrace such works and categorize them based on (i) the logical language that they use to express the background knowledge and (ii) the goals that they achieve.

Keywords

  • Survey Track: -
  • Survey Track: Machine Learning
  • Survey Track: Knowledge Representation and Reasoning
Welcome Future Conferences AI Journal Division IJCAI Proceedings Travel Grant Program IJCAI Awards