Symbolic possibilistic logic: completeness and inference methods.
Claudette CayrolDidier DuboisFayçal TouaziPublished in: J. Log. Comput. (2018)
Keyphrases
- possibilistic logic
- propositional logic
- plausible inference
- partially ordered
- belief revision
- logic programming
- knowledge base
- possibility theory
- uncertain information
- classical logic
- logical framework
- partial order
- fuzzy logic
- domain knowledge
- meta level
- general purpose
- pattern recognition
- high level
- artificial intelligence