A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
Zaiyue ZhangYuefei SuiCungen CaoGuohua WuPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- modal logic
- reasoning mechanism
- fuzzy reasoning
- model theoretic
- decision procedures
- default logic
- temporal logic
- prime implicates
- autoepistemic logic
- inference rules
- fuzzy logic
- fuzzy sets
- fuzzy rules
- membership functions
- description logics
- situation calculus
- fuzzy inference
- default reasoning
- operational semantics
- fixpoint
- dynamic logic
- reasoning process
- deductive databases
- normal form
- formal specification
- fuzzy control
- logic programs
- natural language
- knowledge base