A Rule-Based Implementation of Fuzzy Tableau Reasoning.
Stefano BragagliaFederico ChesaniPaola MelloDavide SottaraPublished in: RuleML (2010)
Keyphrases
- data sets
- approximate reasoning
- rule based reasoning
- fuzzy sets
- knowledge base
- expert systems
- fuzzy logic
- knowledge representation
- fuzzy set theory
- membership functions
- efficient implementation
- soft computing
- fuzzy reasoning
- evidential reasoning
- rule based systems
- description logics
- fuzzy description logics
- automated theorem proving
- rule base
- reasoning tasks
- automated reasoning
- fuzzy numbers
- database systems
- machine learning