Observational Equivalence of Conditional Belief Bases.
Christoph BeierleJonas HaldimannLeon SchwarzerPublished in: FLAIRS (2023)
Keyphrases
- belief base
- belief merging
- belief revision
- logical properties
- belief change
- possibilistic logic
- revision operators
- merging operators
- knowledge base
- epistemic states
- horn logic
- update operators
- nonmonotonic reasoning
- preference relations
- equivalence relation
- artificial intelligence
- temporal logic
- belief update
- reinforcement learning