Distance Based Revision of Preferential Logics.
Laurent AudibertCédric LhoussaineKarl SchlechtaPublished in: Log. J. IGPL (1999)
Keyphrases
- belief revision
- conditional logic
- expressive power
- horn logic
- modal logic
- tableau calculus
- outlier detection
- knowledge base
- inference rules
- distance measure
- propositional calculus
- euclidean distance
- default reasoning
- belief change
- inheritance reasoning
- propositional dynamic logic
- databases
- proof procedures
- expert systems
- data mining
- data sets
- classical logic
- possibility theory
- minimal change
- preference relations
- propositional logic
- artificial intelligence