Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic.
Félix BouFrancesc EstevaLluís GodoRicardo Oscar RodríguezPublished in: IPMU (2) (2016)
Keyphrases
- fuzzy logic
- valued logic
- logic programming
- possibilistic logic
- nonmonotonic logics
- fuzzy sets
- neural network
- modal logic
- decision making
- expert systems
- fuzzy set theory
- genetic algorithm
- possibility distributions
- intelligent control
- formal semantics
- vague concepts
- soft computing
- default theories
- membership functions
- control system
- argumentation semantics
- dynamic logic
- artificial intelligence
- intuitionistic logic
- abstract argumentation frameworks
- possibility theory
- fuzzy reasoning
- propositional variables
- grounded semantics
- argumentation frameworks
- modal operators
- fuzzy logic control
- proof theoretic
- propositional logic
- temporal logic
- knowledge representation
- artificial neural networks