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