An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions.
Iwan TabakowPublished in: KES (2) (2006)
Keyphrases
- propositional calculus
- fuzzy logic
- fuzzy sets
- membership functions
- fuzzy rules
- fuzzy numbers
- fuzzy neural network
- fuzzy set theory
- control system
- fuzzy classifier
- fuzzy clustering
- case study
- fuzzy model
- goal programming
- fuzzy membership functions
- fuzzy inference
- fuzzy information
- computer programs
- formal proofs
- fuzzy systems
- theorem proving
- fuzzy controller
- real time
- soft computing
- logic programs
- evolutionary algorithm
- expert systems
- information systems
- data mining