Pei Wang 
Rigid Flexibility [PDF ebook] 
The Logic of Intelligence

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.