Fuzzy Reasoning Based on Propositional Modal Logic.
Zaiyue ZhangYuefei SuiCungen CaoPublished in: Rough Sets and Current Trends in Computing (2004)
Keyphrases
- fuzzy reasoning
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- temporal logic
- inference rules
- fuzzy sets
- fuzzy logic
- propositional logic
- membership functions
- fuzzy rules
- classical logic
- nonmonotonic logics
- fuzzy membership functions
- first order logic
- epistemic logic
- fuzzy inference
- default theories
- fuzzy petri net
- situation calculus
- default reasoning
- conditional logic
- probabilistic logic
- nonmonotonic reasoning
- dynamic logic
- computer vision
- artificial intelligence
- machine learning
- general logic programs
- real time
- belief revision
- knowledge base
- decision making