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.
For more information about the project see http://www.stanford.edu/group/csli_lnr/