AGM Contraction and Revision of Rules.
Guido BoellaGabriella PigozziLeon van der TorrePublished in: J. Log. Lang. Inf. (2016)
Keyphrases
- belief revision
- belief change
- horn contraction
- propositional logic
- horn logic
- minimal change
- belief update
- default reasoning
- knowledge base
- belief set
- revision operators
- rule sets
- decision rules
- neural network
- association rules
- possibilistic logic
- iterated belief revision
- association rule mining
- epistemic states
- data sets
- belief state
- logical rules
- belief base
- integrity constraints
- background knowledge
- knowledge discovery