Scope and Boundary
1. Objectives
Different objectives suggest different paths and lead to different consequences.
Several visionaries had noticed the important similarities between the human brain/mind and the machine:
AI as a research field started in 1956 at the Dartmouth meeting, and was strongly influenced by
John McCarthy,
Marvin Minsky,
Allen Newell,
Herbert A. Simon. The field has been dominated by theoretical heritages from computer science and mathematics, with a focus on (human) problem solving, e.g., "solve kinds of problems now reserved for humans". Issues:
Attempts to return to the ultimate aim:
2. NAL and NARS
Vision:
Characteristics of NAL:
- Categorical language
- Experience-grounded semantics
- Syllogistic rules
- Compositional rules
- Temporal/procedural/backward inference
Characteristics of NARS:
- Working environment
- Concept-centered knowledge representation
- Case-by-case problem solving
- Dynamic resource allocation
- Relative rationality
Current tasks:
- Top layers of NAL (NLP, math, sensorimotor, self-control)
- Testing, tuning, educating
- Integration with other techniques (e.g., DL, LLM)
- Applications
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 14