On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
Teresa AlsinetDavid BarrosoRamón BéjarFélix BouMarco CeramiFrancesc EstevaPublished in: SUM (2013)
Keyphrases
- fuzzy sets
- t norm
- valued logic
- constraint solver
- multi valued
- quantified boolean formulas
- formal logic
- sat solving
- real numbers
- fuzzy set theory
- highly optimized
- classical logic
- modulo theories
- computational properties
- fuzzy systems
- fuzzy numbers
- membership functions
- description logics
- fuzzy logic
- propositional logic
- predicate logic
- truth values
- fuzzy clustering
- fuzzy rules
- knowledge base
- neural network