A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty.
Klemens SchnattingerUdo HahnPublished in: KI (1996)
Keyphrases
- reasoning under uncertainty
- probabilistic reasoning
- knowledge representation
- knowledge base
- knowledge engineering
- tableau calculus
- artificial intelligence
- probability theory
- reasoning process
- decision making
- reasoning systems
- bayesian networks
- first order logic
- decision analysis
- expert systems
- knowledge acquisition
- domain knowledge
- theoretical framework
- automated reasoning