Scope and Boundary
1. AIs and AGIs
Different objectives and different paths lead to different consequences.
2. NAL Summary
Unique features:
- Categorical language
- Experience-grounded semantics
- Syllogistic rules
- Compositional rules
- Temporal/procedural/backward inference
Soundness and completeness
3. Vision and Plan
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 14