On a Logico-Algebraic Approach to AGM Belief Contraction Theory.
Davide FazioMichele Pra BaldiPublished in: J. Philos. Log. (2021)
Keyphrases
- belief revision
- belief change
- iterated belief revision
- belief set
- propositional logic
- probability theory
- belief functions
- agm postulates
- nonmonotonic reasoning
- algebraic geometry
- theoretical framework
- horn contraction
- epistemic states
- knowledge base
- horn logic
- computational model
- linear algebra
- belief update
- computer algebra
- database
- databases
- imprecise probabilities
- neural network
- algebraic structure
- formal theory
- mathematical theory
- belief base
- decision making
- theoretical basis
- multi agent
- probability distribution