Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press).
Peter F. Patel-SchneiderPublished in: SIGART Newsl. (1989)
Keyphrases
- automated reasoning
- decision procedures
- reasoning systems
- proof theory
- theorem prover
- theorem proving
- probabilistic reasoning
- knowledge representation
- reasoning tasks
- neural fuzzy
- neuro fuzzy systems
- propositional satisfiability
- modal logic
- inference rules
- fuzzy reasoning
- valued logic
- fuzzy logic
- fuzzy systems
- membership functions
- general purpose
- data mining
- neural network