Non-Axiomatic Logic: A Model Of Intelligent Reasoning, 1st Edition

  • Published By: World Scientific Publishing Company
  • ISBN-10: 9814440280
  • ISBN-13: 9789814440288
  • DDC: 511.3
  • Grade Level Range: College Freshman - College Senior
  • 276 Pages | eBook
  • Original Copyright 2013 | Published/Released January 2015
  • This publication's content originally published in print form: 2013

  • Price:  Sign in for price



This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the authors research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the laws of thought followed by the human mind. Different from mathematical logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thinking. To achieve this goal, the logic is designed under the assumption that the system has insufficient knowledge and resources with respect to the problems to be solved, so that the logical conclusions are only valid with respect to the available knowledge and resources. Reasoning processes according to this logic covers cognitive functions like learning, planning, decision making, problem solving, etc.This book is written for researchers and students in Artificial Intelligence and Cognitive Science, and can be used as a textbook for courses at graduate level, or upper-level undergraduate, on Non-Axiomatic Logic.

Table of Contents

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
List of Tables.
1: Introduction.
2: IL-1: Idealized Situation.
3: NAL-1: Basic Syntax and Semantics.
4: NAL-1: Basic Inference Rules.
5: NARS: Basic Memory and Control.
6: NAL-2: Derivative Copulas.
7: NAL-3: Set-Theoretic Terms.
8: NAL-4: Relational Terms.
9: NAL-5: Statements as Terms.
10: NAL-6: Variable Terms.
11: NAL-7: Events as Statements.
12: NAL-8: Operations and Goals as Events.
13: NAL-9: Self-Monitoring and Self-Control.
14: Summary and Beyond.
Appendix A: Narsese Grammar.
Appendix B: Nal Inference Rules.
Appendix C: Nal Truth-Value Functions.
Appendix D: Proofs of Theorems.