Language and Natural Reasoning
Main content start
Knowing what a text means involves drawing inferences based in the information in the text. Our group works on inferential properties of linguistic expressions to enable automated reasoning for NL understanding.
Our group works on inferential properties of linguistic expressions to enable automated reasoning for NL understanding.
We want to contribute to the theoretical understanding of how language and reasoning interact and to the computational modeling of such interactions.
Currently we concentrate on:
- the linguistic encoding of temporal and spatial information,
- the linguistic encoding of modality,
- local textual inferences,
- natural logic,
- deriving logical forms that allow interaction with structured information and computational reasoners.
People
-
Senior Researcher
-
Director Emeritus, CSLI
-
Senior Researcher