Probabilities on Sentences in an Expressive Logic
Marcus HutterJohn W. LloydKee Siong NgWilliam T. B. UtherPublished in: CoRR (2012)
Keyphrases
- probability theory
- probability distribution
- natural language
- modal logic
- logical formulas
- computational properties
- co occurrence
- multi document summarization
- multi valued
- classical logic
- deontic logic
- extractive summarization
- highly expressive
- proof theory
- asynchronous circuits
- digital circuits
- sentence level
- probabilistic logic
- automated reasoning