On Perception-based Logical Deduction and Its Variants.
Martin StepnickaAntonín DvorákPublished in: IFSA-EUSFLAT (2015)
Keyphrases
- theorem proving
- inference rules
- granular computing
- logical reasoning
- image processing
- artificial neural networks
- human perception
- logical rules
- logical operations
- logical properties
- automated deduction
- predicate calculus
- logical structure
- real time
- theorem prover
- rough sets
- e learning
- learning algorithm
- neural network