Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements.
Haim GaifmanPublished in: Synth. (2004)
Keyphrases
- limited resources
- processing power
- computing resources
- default rules
- knowledge base
- knowledge representation
- default reasoning
- resource limitations
- probability distribution
- automated reasoning
- imprecise probabilities
- analogical reasoning
- reasoning systems
- reasoning process
- reasoning tasks
- natural language
- probability estimates
- spatial reasoning
- model based diagnosis
- belief networks
- model based reasoning
- cp nets
- artificial intelligence
- data sets