LogicLM: Combining Logic Programs with Language Model

Taalmodellen (LMs) zoals chatGPT zijn revolutionaire technologiën met veel potentieel, maar hun redeneringen zijn vaak niet transparent en betrouwbaar. Het doel van dit project is om LMs te combineren met symbolische AI, om zo de transparantie en verifieerbaarheid van hun output te vergroten. Dit wordt gedaan door LMs te fine-tunen om natuurlijke taal om te zetten in formele logica, en deze LM te combineren met informatieherwinningsmethoden. Dit resulteert in een architectuur die de voordelen van LMs combineert met de transparentie en betrouwbaarheid van symbolische AI. Het project wordt doorgevoerd in samenwerking met een logistiek bedrijf en universiteiten in Londen.