Normal Forms of Conditional Belief Bases Respecting Inductive Inference.
Christoph BeierleJonas HaldimannPublished in: FLAIRS (2022)
Keyphrases
- inductive inference
- normal form
- belief base
- belief merging
- belief change
- prime implicates
- recursive functions
- database design
- belief revision
- functional dependencies
- relational databases
- database theory
- possibilistic logic
- relational algebra
- epistemic states
- merging operators
- pattern languages
- propositional logic
- data model
- database
- data dependencies
- machine learning
- probabilistic logic
- preference relations
- probability distribution