Conservative Inference Rule for Uncertain Reasoning under Incompleteness.
Marco ZaffalonEnrique MirandaPublished in: CoRR (2014)
Keyphrases
- uncertain reasoning
- inference rules
- belief functions
- dempster shafer
- modal logic
- first order logic
- artificial intelligence
- probabilistic networks
- theorem proving
- theorem prover
- horn clauses
- truth values
- probability theory
- missing values
- sequent calculus
- temporal logic
- conditional probabilities
- training set
- natural language
- machine learning