Das AI-R-Projekt entwickelt neurosymbolische Methoden für die natürliche Sprachinferenz, die darauf abzielen, argumentative Strukturen automatisch aus Texten zu extrahieren. Durch die Identifizierung von Behauptungen und ihren inferentiellen Beziehungen (wie Aussagen als Gründe für oder gegen einander fungieren) versucht das Projekt, die Glaubensnetze von Individuen als Netzwerke von Verpflichtungen zu modellieren, die durch logische Beziehungen miteinander verbunden sind. Basierend auf dem philosophischen Inferentialismus zielt AI-R letztendlich darauf ab, eine dialektische Schnittstelle zu schaffen, die diese Glaubensnetzwerke visualisiert, Inkonsistenzen explizit macht und ein tieferes Verständnis des argumentativen Denkens innerhalb des Raums der Gründe unterstützt.