System J - Revision Entailment. Default Reasoning through Ranking Measure Updates.
Emil WeydertPublished in: FAPR (1996)
Keyphrases
- default reasoning
- belief revision
- probabilistic logic
- nonmonotonic reasoning
- propositional logic
- belief change
- belief base
- closed world reasoning
- conditional logic
- default rules
- default logic
- logic programming
- partial order
- probabilistic reasoning
- inheritance reasoning
- dependency directed backtracking
- knowledge base
- temporal logic
- proof theory
- possibilistic logic
- rationality postulates
- default theories
- np complete
- logic programs
- model theoretic
- commonsense reasoning
- state space
- probability distribution
- query language
- machine learning
- lexicographic entailment