Language and Natural Reasoning

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/

People

Peters, Stanley

Stanley Peters is Director Emeritus of the Center for the Study of Language and Information and a Professor Emeritus of Linguistics.  His research interests include dialogue systems, the computation of meaning from corpora, conversational Intelligence, the semantics of quantification, situation theory and situation semantics, and the mathematical properties of grammars