NARS as an AGI

Summer 2015, Kazan Federal University

Instructor

Dr. Pei Wang
EMAIL: mail.peiwang@gmail.com

Course Description

This course introduces the problems and proposed solutions in the emerging field of Artificial General Intelligence (AGI). The description is organized around an AGI project, Non-Axiomatic Reasoning System (NARS), which is an attempt to provide a unified model of intelligence. During this course, many problems in artificial intelligence and cognitive science will be analyzed and discussed.

Prerequisites

• Artificial Intelligence (reference: Artificial Intelligence: Foundations of Computational Agents by David Poole and Alan Mackworth)
• Mathematical logic (reference: Introduction to Logic by Michal Walicki)
• Other desired (though not required) background: the A and B parts of this list

Schedule (tentative)

1. Objective and path
2. Evidence and uncertainty
3. Term and inheritance
4. Basic inference
5. Memory and control
6. Concept and learning
7. Statement as term
8. Goal and operation
9. Capability and limitation

Main references

• Non-Axiomatic Logic: A Model of Intelligent Reasoning, World Scientific, 2013
• Rigid Flexibility: The Logic of Intelligence, Springer, 2006
• NARS website
• Open-NARS website