Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.
Stefan BrüningTorsten SchaubPublished in: IPMU (1994)
Keyphrases
- theorem proving
- approximate reasoning
- fuzzy logic
- first order logic
- fuzzy reasoning
- fuzzy sets
- inference rules
- automated reasoning
- automatic programming
- theorem prover
- decision procedures
- rough set theory
- production rules
- parallel search
- automated deduction
- proof planning
- proof procedure
- term rewriting
- logical inference
- combinatorial search
- automated theorem proving
- consequence finding
- information granules
- rough mereology
- expert systems
- data mining
- equational theories
- proof search
- predicate calculus
- membership functions
- image processing
- artificial intelligence