Neural-Symbolic Integration: explainability and reasoning in KENN

This project builds on earlier work by FBK in Trento on KENN <https://arxiv.org/pdf/2009.06087.pdf> and by VUA in Amsterdam <https://arxiv.org/abs/2006.03472> and aims to combine the insights of both. The project has 3 aims, depending on difficulty we may achieve one, two or all three.

1. The current version of KENN uses the Godel t-conorm. We will develop versions of KENN based on other t-conorms (like the product t-conorm and Łukasiewicz), whose properties have been investigated in the earlier work by VUA. This should improve the performance of KENN.

2. We will try to extend the expressivity of the logical constraints in KENN from sets of clauses to implications, again using the earlier theoretical work by VUA. This should increase the reasoning capabilities of KENN.

3. It be should possible to check the exact contribution of each clause to the final predictions of KENN. This will increase explainability of KENN.

Output

paper describing improvements to KENN, published in workshop or conference

software: new version of KENN

Presentations

Project Partners:

• Stichting VU, Frank.van.Harmelen@vu.nl
• Fondazione Bruno Kessler (FBK), serafini@fbk.eu

Primary Contact: Frank van Harmelen, Vrije Universiteit Amsterdam

Main results of micro project:

Project has run for less than 50% of its allocated time. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Contribution to the objectives of HumaneAI-net WPs

Project has run for less than 50% of its allocated time. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Tangible outputs

• Other: –