Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem.
Denisa DiaconescuPublished in: IJCCI (2012)
Keyphrases
- fuzzy logic
- interactive theorem proving
- genetic algorithm
- intelligent control
- control system
- soft computing
- neural network
- information retrieval
- neural networks and genetic algorithms
- real time
- computational intelligence
- theorem proving
- theorem prover
- membership functions
- back propagation
- fuzzy sets
- data structure
- decision making
- artificial intelligence
- data sets