An annotated logic theorem prover for an extended possibilistic logic.
Peter KullmannSandra A. SandriPublished in: Fuzzy Sets Syst. (2004)
Keyphrases
- possibilistic logic
- theorem prover
- classical logic
- inference rules
- logical framework
- propositional logic
- first order logic
- automated reasoning
- natural deduction
- automated theorem proving
- computer algebra
- logic programming
- proof search
- theorem proving
- plausible inference
- knowledge base
- possibility theory
- term rewriting
- modal logic
- boolean algebra
- belief revision
- sound and complete with respect
- uncertain information
- partially ordered
- formal proof
- machine learning
- linear logic
- predicate calculus
- proof procedure
- merging operators
- partial order
- general purpose
- probabilistic reasoning