Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics.
Marc AiguierJamal AtifIsabelle BlochCéline HudelotPublished in: Artif. Intell. (2018)
Keyphrases
- belief revision
- minimal change
- description logics
- model theoretic
- knowledge base
- belief change
- belief update
- propositional logic
- nonmonotonic reasoning
- computational properties
- deductive databases
- default reasoning
- knowledge representation
- reasoning tasks
- temporal logic
- belief set
- possibilistic logic
- logical framework
- expert systems
- operational semantics
- possibility theory
- probabilistic reasoning
- decision procedures