An Approach to Fuzzy Modal Logic of Time Intervals.
Willem ConradieDario Della MonicaEmilio Muñoz-VelascoGuido SciaviccoPublished in: ECAI (2020)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- fuzzy sets
- fuzzy clustering
- epistemic logic
- fuzzy logic
- classical logic
- real numbers
- prime implicates
- dynamic logic
- situation calculus
- conditional logic
- default logic
- explanation based generalization
- nonmonotonic logics
- fuzzy numbers
- fuzzy rules
- neural network
- autoepistemic logic
- higher order
- case based reasoning
- description logic alc
- kripke models