CIS 5590.004. Artificial General Intelligence

Symbol and Abstract Reasoning

1. Symbolic 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

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