Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic.
Félix BouFrancesc EstevaLluís GodoRicardo Oscar RodríguezPublished in: CoRR (2016)
Keyphrases
- fuzzy logic
- valued logic
- logic programming
- nonmonotonic logics
- possibilistic logic
- default theories
- fuzzy sets
- neural network
- propositional variables
- decision making
- modal logic
- computational intelligence
- soft computing
- formal semantics
- genetic algorithm
- expert systems
- fuzzy rules
- proof theoretic
- argumentation semantics
- dynamic logic
- artificial intelligence
- rough sets
- control system
- semantic information
- tableau calculus
- vague concepts
- possibility distributions
- intelligent control
- fuzzy set theory
- real time
- evolutionary computation
- membership functions
- uncertain information
- query language
- argumentation frameworks
- social bookmarking
- model theoretic
- fuzzy inference system
- fuzzy controller
- description logics
- decision makers