On proof- and model-based techniques for reasoning with uncertainty.
Flávio S. Corrêa da SilvaPublished in: Int. J. Intell. Syst. (1995)
Keyphrases
- uncertain information
- reasoning under uncertainty
- mathematical proofs
- proof theory
- incomplete knowledge
- reasoning process
- probabilistic reasoning
- logical rules
- uncertain knowledge
- theorem proving
- proof theoretic
- proof planning
- uncertain data
- knowledge representation
- automated theorem proving
- automated reasoning
- knowledge base
- theorem prover
- reasoning systems
- linear logic
- production rules
- belief functions
- inherent uncertainty
- meta level
- proof procedure
- qualitative reasoning
- incomplete information
- probabilistic knowledge
- legal reasoning
- probabilistic logic
- neural network
- model based reasoning
- analogical reasoning
- description logics
- probability theory
- spatial reasoning
- default reasoning
- conditional probabilities
- decision theory
- nonmonotonic reasoning