Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoning.
Yong-Gi KimLadislav J. KohoutPublished in: SAC (1992)
Keyphrases
- automated reasoning
- logical implication
- valued logic
- knowledge representation
- reasoning systems
- theorem prover
- theorem proving
- probabilistic reasoning
- decision procedures
- reasoning tasks
- automated verification
- fuzzy logic
- fuzzy relations
- first order logic
- knowledge representation and reasoning
- fuzzy rules
- aggregation operators
- fuzzy sets
- machine learning
- fuzzy numbers
- functional dependencies
- propositional satisfiability
- artificial neural networks