Iterated contraction of propositions and conditionals under the principle of conditional preservation.
Gabriele Kern-IsbernerTanja BockKai SauerwaldChristoph BeierlePublished in: GCAI (2017)
Keyphrases
- iterated belief revision
- belief revision
- epistemic states
- belief change
- conditional logic
- minimal change
- default reasoning
- propositional logic
- nonmonotonic reasoning
- nonmonotonic inference
- belief update
- data sets
- temporal logic
- database systems
- knowledge base
- machine learning
- real world
- belief set
- databases
- search algorithm
- similarity measure
- decision trees
- information retrieval
- database