Abduction with Estimates for Statements in Fuzzy Propositional Logic.
Gerald S. PlesniewiczPublished in: RCAI (2020)
Keyphrases
- propositional logic
- belief revision
- propositional variables
- fuzzy sets
- first order logic
- valued logic
- quantified boolean formulae
- possibilistic logic
- belief change
- fuzzy logic
- lattice theory
- horn logic
- logic programming
- default reasoning
- proof procedure
- nonmonotonic reasoning
- natural language
- belief update
- prime implicates
- davis putnam
- background knowledge
- satisfiability testing
- relational databases