Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning.
Kotaro FunakoshiPublished in: CoRR (2022)
Keyphrases
- computational theory
- symbolic reasoning
- cognitive processes
- spatial cognition
- truth maintenance systems
- symbolic representation
- visual processing
- production rules
- cognitive science
- computational models
- human vision
- classical logic
- logic programming
- information processing
- modal logic
- machine learning
- possibility theory
- cognitive model
- visual search
- inference mechanism
- default logic
- knowledge discovery
- image retrieval
- neural network