Sentences, Belief and Logical Omniscience, or What does Deduction Tell US?
Rohit ParikhPublished in: Rev. Symb. Log. (2008)
Keyphrases
- belief revision
- inference rules
- natural language
- truth values
- multi document summarization
- sentence level
- logical properties
- logical framework
- evidential reasoning
- belief functions
- logical representation
- machine learning
- semantic representations
- logical formulas
- automated theorem proving
- logical rules
- sentence retrieval
- syntactic structures
- linguistic features
- belief state
- theorem proving
- text mining