System-Z+: A Formalism for Reasoning with Variable-Strength Defaults.
Moisés GoldszmidtJudea PearlPublished in: AAAI (1991)
Keyphrases
- knowledge representation
- default reasoning
- default rules
- default logic
- knowledge representation formalisms
- probabilistic reasoning
- reasoning mechanisms
- knowledge base
- computational properties
- logical framework
- automated reasoning
- modular ontologies
- reasoning services
- reasoning tasks
- temporal knowledge
- causal reasoning
- description logics
- truth maintenance systems
- qualitative reasoning
- reasoning mechanism
- graphical representation
- causal knowledge
- artificial intelligence
- fixed point
- reasoning systems
- model based reasoning
- nonmonotonic reasoning
- qualitative spatial reasoning
- expressive power
- expert systems
- deductive reasoning
- formal model