Preferential cumulative reasoning and nonmonotonic semantic nets.
Klaus U. SchulzPublished in: The Logic of Theory Change (1989)
Keyphrases
- default rules
- multi context systems
- nonmonotonic reasoning
- default reasoning
- logic programming
- knowledge base
- reasoning tasks
- nonmonotonic inference
- knowledge representation
- commonsense reasoning
- reasoning systems
- tableau calculus
- probabilistic knowledge
- default logic
- semantic network
- reasoning problems
- default theories
- reasoning process
- qualitative reasoning
- deductive reasoning
- modal logic