Belief revision between conjunctive normal forms.
Guillermo De Ita LunaJosé Raymundo Marcial-RomeroPedro BelloMeliza ContrerasPublished in: J. Intell. Fuzzy Syst. (2018)
Keyphrases
- belief revision
- normal form
- disjunctive normal form
- propositional logic
- belief change
- default reasoning
- database design
- nonmonotonic reasoning
- relational databases
- database theory
- functional dependencies
- knowledge base
- relational algebra
- logical properties
- nested relations
- data dependencies
- plausible inference
- minimal change
- belief update
- belief merging
- dynamic aspects
- cost based abduction
- multi valued
- prime implicates
- possibilistic logic
- belief state
- temporal logic
- belief set
- update operators
- description logics
- database systems
- databases