Fuzzy Truth Maintenance System for Non-Monotonic Reasoning.
Poli Venkata Subba ReddyPublished in: iFUZZY (2021)
Keyphrases
- truth maintenance systems
- autoepistemic logic
- default logic
- propositional logic
- symbolic reasoning
- fuzzy sets
- fuzzy logic
- membership functions
- nonmonotonic reasoning
- fuzzy numbers
- constraint propagation
- constraint satisfaction
- fuzzy set theory
- artificial intelligence
- knowledge based systems
- np complete
- programming language
- inference mechanism
- computational complexity
- knowledge base