DTAI

IDO: Cognitive psychologic and pragmalinguistic research towards non-monotone reasoning forms and their logical formalisation

Period: 10-2004 → 09-2007
Subgroup: krr
Type: project
Members:

• Marc Denecker

This IDO is formed by an interdisciplinary team of researchers all interested in certain non-monotonic reasoning phenomena in human reasoning and language understanding. When humans interpret natural language messages then typically, they do not only register the pure "logical" content of the message but make additional assumptions called "implicatures". For example, when somebody tells us that "David read the newspaper and drank a cup of coffee", we typically assume the implicature that David had the cup coffee after reading the newspaper although this is not explicitly said. Later on, such assumptions may be contradicted by new information. This makes inference of implicatures a nonmonotonic process. The goal of this interdisciplinary research group is to study these phenomena from different points of view. The role of the DTAI-group is to study the formal logical representation of implicatures and the reasoning processes involved in deriving them. IDO is a research project funded by the K.U.Leuven.

← return to the projects