Rigid flexibility : the logic of intelligence
Author(s)
Bibliographic Information
Rigid flexibility : the logic of intelligence
(Applied logic series, v. 34)
Springer, c2006
Available at 3 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references (p. 371-398) and index
Description and Table of Contents
Description
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.
Table of Contents
Preface Acknowledgment PART I. Theoretical Foundation Chapter 1. The Goal of Artificial Intelligence 1.1 To define intelligence 1.2 Various schools in AI research 1.3 AI as a whole Chapter 2. A New Approach Toward AI 2.1 To define AI 2.2 Intelligent reasoning systems 2.3 Major design issues of NARS PART II. Non-Axiomatic Reasoning System Chapter 3. The Core Logic 3.1 NAL-0: binary inheritance 3.2 The language of NAL-1 3.3 The inference rules of NAL-1 Chapter 4. First-Order Inference 4.1 Compound terms 4.2 NAL-2: sets and variants of inheritance 4.3 NAL-3: intersections and differences 4.4 NAL-4: products, images, and ordinary relations Chapter 5. Higher-Order Inference 5.1 NAL-5: statements as terms 5.2 NAL-6: statements with variables 5.3 NAL-7: temporal statements 5.4 NAL-8: procedural statements Chapter 6. Inference Control 6.1 Task management 6.2 Memory structure 6.3 Inference processes 6.4 Budget assessment . PART III. Comparison and Discussion Chapter 7. Semantics 7.1 Experience vs. model 7.2 Extension and intension 7.3 Meaning of term 7.4 Truth of statement Chapter 8. Uncertainty 8.1 The non-numerical approaches 8.2 The fuzzy approach 8.3 The Bayesian approach 8.4 Other probabilistic approaches 8.5 Unified representation of uncertainty Chapter 9. Inference Rules 9.1 Deduction 9.2 Induction 9.3 Abduction 9.4 Implication Chapter 10. NAL as a Logic 10.1 NAL as a term logic 10.2 NAL vs. predicate logic 10.3 Logic and AI Chapter 11. Categorization and Learning 11.1 Concept and categorization 11.2 Learning in NARS Chapter 12. Control and Computation 12.1 NARS and theoretical computer science 12.2 Various assumptions about resources 12.3 Dynamic natures of NARS PART IV. Conclusions Chapter 13. Current Results 13.1 Theoretical foundation 13.2 Formal model 13.3 Computer implementation Chapter 14. NARS in the Future 14.1 Next steps of the project 14.2 What NARS is not 14.3 General implications Bibliography Index
by "Nielsen BookData"