Symbolic Possibilistic Logic: Completeness and Inference Methods.
Claudette CayrolDidier DuboisFayçal TouaziPublished in: ECSQARU (2015)
Keyphrases
- possibilistic logic
- propositional logic
- knowledge base
- plausible inference
- possibility theory
- uncertain information
- logic programming
- belief revision
- partially ordered
- classical logic
- logical framework
- high level
- sound and complete with respect
- expert systems
- nonmonotonic reasoning
- partial order
- programming language
- knowledge discovery
- decision making
- information disclosure
- bayesian networks
- data mining