On the comparison of limit-logics by the simulation of finite-valued logic (in Russian).
János DemetrovicsPublished in: Acta Cybern. (1976)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- fuzzy sets
- first order logic
- truth values
- logic programs
- datalog programs
- automated reasoning
- multi valued
- logic programming
- modal logic
- special case
- rough sets
- databases
- expert systems
- neural network
- genetic algorithm
- directed graph
- real time
- artificial intelligence
- knowledge representation
- optical flow
- artificial neural networks