On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness.
Teresa AlsinetLluís GodoSandra A. SandriPublished in: UAI (1999)
Keyphrases
- automated deduction
- logic programming
- possibility theory
- nonmonotonic reasoning
- possibilistic logic
- logic programs
- sound and complete with respect
- classical logic
- deductive databases
- probability theory
- intuitionistic logic
- proof theoretic
- default reasoning
- possibility distributions
- propositional variables
- conditional logic
- sound and complete axiomatization
- knowledge base
- incomplete information
- theorem proving
- knowledge representation
- inference rules
- fuzzy logic
- nonmonotonic logics
- defeasible logic programming
- belief revision
- uncertain information
- fuzzy numbers
- default logic
- programming language
- theorem prover
- logical framework
- epistemic logic
- expected utility
- fuzzy set theory
- propositional dynamic logic
- conditional independence
- model theoretic
- conditional probabilities
- decision theory
- machine learning