Integration von neuronalen Netzen und symbolischer KI, um sowohl datengetriebenes Lernen als auch logisches Schließen zu ermöglichen.