Belief revision and 3-valued logics: Characterization of 19, 683 belief change operators.
Nerio BorgesRamón Pino PérezPublished in: CoRR (2019)
Keyphrases
- belief change
- belief revision
- update operators
- revision operators
- belief base
- propositional logic
- iterated belief revision
- merging operators
- belief update
- rationality postulates
- nonmonotonic reasoning
- default reasoning
- agm postulates
- knowledge base
- logical properties
- prime implicates
- minimal change
- temporal logic
- plausible reasoning
- probability theory
- epistemic states
- possibilistic logic
- programming language
- description logics
- special case
- decision making