Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle.
Claudette CayrolDidier DuboisFayçal TouaziPublished in: FLAP (2018)
Keyphrases
- partially ordered
- possibilistic logic
- belief base
- minimal change
- partial order
- knowledge base
- belief merging
- horn logic
- partial ordering
- totally ordered
- merging operators
- event calculus
- logical properties
- interval valued
- default reasoning
- uncertain information
- logical framework
- knowledge representation
- reasoning tasks
- belief revision
- logic programming
- probabilistic logic
- automated reasoning
- data structure
- data mining
- association rules
- meta level