Minimal doxastic logic: probabilistic and other completeness theorems.
Peter MilnePublished in: Notre Dame J. Formal Log. (1993)
Keyphrases
- epistemic logic
- probabilistic logic
- probability theory
- bayesian networks
- generative model
- logical inference
- probabilistic model
- modal logic
- data driven
- multi agent systems
- uncertain data
- neural network
- probabilistic knowledge
- probabilistic reasoning
- sound and complete axiomatization
- deontic logic
- predicate logic
- set theory
- multi valued
- context sensitive
- information retrieval