University of Cambridge > > Artificial Intelligence Research Group Talks (Computer Laboratory) > On the Two-fold Role of Logic Constraints in Deep Learning

On the Two-fold Role of Logic Constraints in Deep Learning

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Pietro Lio.

In the last few years, Deep Learning (DL) has achieved impressive results in a variety of problems ranging from computer vision to natural language processing. Nonetheless, the excitement around the field may remain disappointed since there are still many open issues. To mitigate some of these problems, we consider the Learning from Constraints framework. In this setting learning is conceived as the problem of finding task functions while respecting the constraints representing the available knowledge. We provide an application in the Active Learning scenario where First-Order Logic knowledge is converted into constraints and their violation is checked as a guide for sample selection. Also, we propose to employ domain knowledge to defend from Adversarial Attacks since it provides a natural guide to detect adversarial examples. While some relationships are known properties of the considered environments, DNNs can also autonomously develop new relation patterns. Therefore, we also propose a novel Learning of Constraints formulation which aims at understanding which logic constraints are satisfied by the task functions. This allows explaining DNNs, otherwise commonly considered black-box classifiers. In a first case, we propose a pair of neural networks, where one learns the relationships among the outputs of the other one and provides First-Order Logic (FOL)-based descriptions. In a second case, we propose an end-to-end differentiable approach, extracting logic explanations from the same classifier. The method relies on an entropy-based layer which automatically identifies the most relevant concepts. It enables the distillation of concise logic explanations in several safety-critical domains, outperforming state-of-the-art white-box models.

This talk is part of the Artificial Intelligence Research Group Talks (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity