KENN-Docker
A python 2.7 library for Neural-Symbolic integration
KENN (Knowledge Enhanced Neural Networks) is a library for python 2.7 built on top of TensorFlow that permit to enhance neural networks models with logical constraints (clauses). It does so by adding a new final layer, called Knowledge Enhancer (KE), to the existing neural network.
Hardware architecture: X64
Additional information: KENN enhances neural networks models with logical constraints by adding a new final layer, called Knowledge Enhancer (KE), to the existing neural network. The KE change the orginal predictions of the standard neural network enforcing the satisfaction of the constraints. Additionally, it contains clause weights, learnable parameters which represent the strength of the constraints. This is an implementation of the model presented in our paper [1]: If you use this software for academic research, please, cite our work using the reference below.
Publications:
- [1] Daniele A., Serafini L. (2019) Knowledge Enhanced Neural Networks. In: Nayak A., Sharma A. (eds) PRICAI 2019: Trends in Artificial Intelligence. PRICAI 2019. Lecture Notes in Computer Science, vol 11670. Springer, Cham. https://doi.org/10.1007/978-3-030-29908-8_43