Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.
Matthias BaazGeorge MetcalfePublished in: CiE (2008)
Keyphrases
- fuzzy logic
- fuzzy sets
- fuzzy rules
- normal form
- logic programs
- membership functions
- fuzzy clustering
- fuzzy systems
- logic programming
- first order logic
- expert systems
- fuzzy set theory
- fuzzy controller
- rule base
- soft computing
- expressive power
- relational databases
- inference rules
- fuzzy neural network
- database
- fuzzy membership functions
- nonmonotonic logics
- conditional logic
- function symbols
- valued logic
- digital topology