Publisher's Synopsis
This is a comprehensive description of the decades-long non-axiomatic reasoning system 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.