Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.
Agnieszka KulackaDirk PattinsonLutz SchröderPublished in: IJCAI (2013)
Keyphrases
- modal logic
- fuzzy description logics
- description logic alc
- fuzzy sets
- description logics
- decision procedures
- upper bound
- fuzzy logic
- natural language
- membership functions
- fuzzy set theory
- fuzzy numbers
- fuzzy information
- fuzzy relations
- truth values
- fuzzy rules
- fuzzy controller
- fuzzy reasoning
- functional dependencies
- fuzzy systems
- group decision making
- syntactic structures
- fuzzy ontology
- machine learning