Das Projekt thematisiert die mathematische Modellierung von logischen Schlussfolgerungen und Inferenzen als wesentlichen Teil unseres Sprachgebrauchs. Menschliche Kommunikationsprozesse können nicht nur durch reine Logik abgebildet werden; Wahrscheinlichkeitsrechnungen und Weltwissen müssten hinzukommen. Die Integration solcher Wahrscheinlichkeitsrechnungen wird zurzeit durch Bayesianische Modelle vorangetrieben, die mit traditioneller Logik verknüpft werden. Der Einsatz Bayesianischer Methoden für die Modellierung menschlicher Kommunikation in all ihrer Vielfalt und Komplexität stellt das Feld jedoch vor schwierige mathematische Herausforderungen, welchen sich das Projekt in einer Zusammenarbeit von Sprachwissenschaften, Mathematik und Informatik stellen und somit dieses Gebiet insgesamt vorantreiben möchte.