The project addresses the mathematical modelling of logical conclusions and inferences as an essential part of our use of language. Human communication processes cannot be
modelled by pure logic alone; probability calculations and world knowledge have to be added. The integration of such probability calculations is currently being driven by Bayesian models that are combined with traditional logic. However, the use of Bayesian methods for modelling human communication in all its diversity and complexity poses difficult mathematical challenges to the field, which the project aims to address in a collaboration of linguistics, mathematics and computer science, thus advancing the field as a whole.