Logo - springer
Slogan - springer

Computer Science - Artificial Intelligence | Rigid Flexibility - The Logic of Intelligence

Rigid Flexibility

The Logic of Intelligence

Series: Applied Logic Series, Vol. 34

Wang, Pei

2006, XVIII, 402 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$229.00

(net) price for USA

ISBN 978-1-4020-5045-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$289.00

(net) price for USA

ISBN 978-1-4020-5044-2

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$289.00

(net) price for USA

ISBN 978-90-481-7264-1

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

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.

Content Level » Research

Keywords » Extension - artificial intelligence - cognition - cognitive science - intelligence - knowledge - learning - logic - philosophy - predicate logic - reasoning - science - semantic - semantics - thinking

Related subjects » Artificial Intelligence - Cognitive Psychology - Epistemology & Philosophy of Science - Linguistics - Logic & Philosophy of Language - Philosophy

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

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Artificial Intelligence (incl. Robotics).