This book provides the blueprint of a thinking machine.

While most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, the project described in this book, Non-Axiomatic Reasoning System (NARS), is designed and developed to attack the AI problem as a whole.

This project is based on the belief that what we call "intelligence" can be understood and reproduced as "the capability of a system to adapt to its environment while working with insufficient knowledge and resources". According to this idea, a novel reasoning system is designed, which challenges all the dominating theories in how such a system should be built. The system carries out reasoning, learning, categorizing, planning, decision making, etc., as different facets of the same underlying process. This theory also provides unified solutions to many problems in AI, logic, psychology, and philosophy.

This book is the most comprehensive description of this decades-long project, including its philosophical foundation, methodological consideration, conceptual design details, its implications in the related fields, as well as its similarities and differences to many related works in cognitive sciences.

Zusammenfassung

This book is the most comprehensive description of the decades-long Non-Axiomatic Reasoning System (NARS) project, including its philosophical foundation, methodological consideration, conceptual design details, implications in the related fields, and its similarities and differences to many related works in cognitive science. While most current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, NARS is designed and developed to attack the AI problem as a whole.

Inhalt
Theoretical Foundation.- The Goal of Artificial Intelligence.- A New Approach Toward AI.- Non-Axiomatic Reasoning System.- The Core Logic.- First-Order Inference.- Higher-Order Inference.- Inference Control.- Comparison and Discussion.- Semantics.- Uncertainty.- Inference Rules.- NAL as a Logic.- Categorization and Learning.- Control and Computation.- Conclusions.- Current Results.- NARS in the Future.