Symbol and Abstract Reasoning
1. Symbolic Reasoning
Theorem proving and automated reasoning
Resolution-refutation, logic programming,
inductive logic programming
Issues: inference control (combinatorial explosion), meaning (multiple interpretations)
Pólya's heuristics,
Automated Mathematician
2. Natural Language Processing
Language as second-signal system
Symbolic NLP
Statistical NLP, Large language model
3. NAL-6 Inference Rules
- Variable terms and substitution
- Abstract terms and interpretation
- Reasoning in and out of a subsystem
- Linguistic terms
- Translation as substitution
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 10