container

footer-menu

Academic Institutions

K-12

Public Libraries

Government and Special Libraries

Statewide Programs

Institutions

Databases

Primary Sources

Digital Humanities Tools

eLearning

Schools/K-12 Curriculum

Books

Large Print Books by Thorndike Press

Products

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

Support

About Us

Blogs

Press Center

Events

News

Careers

Partnerships

Contact Us

Our Company

secondary-storefront-menu

products

Marketing materials, training documents, discovery services

cengage:card

FIND YOUR SALES REPRESENTATIVE

cengage:column

Get marketing materials, training documents, discovery services.

PRODUCT SUPPORT

CUSTOMER SUPPORT

Report technical issues, errors, check system status

TECHNICAL SUPPORT

Manage product preferences, generate usage reports, simplify administrative tasks.

ADMIN TOOLS

support

cengage:galethorndikeseo

footer-menu-component

Account Information

bundle-connector

mega-menu

footer-social-menu

Sign Up for Emails

CONNECT WITH GALE

Stay up-to-date with the latest Gale news, exclusive offers, and more.

facebook

linkedin

instagram

youtube

SOCIAL ICONS

Would you like to go to the Gale {{RECOMMENDED_COUNTRY}} site instead?

It looks like you're visiting from {{DETECTED_COUNTRY}}.

main

secondary-account-menu

Profile

Orders

Wish List

Fast Order Entry

My Account

zone1

footer-legal-menu-component

footer-social-menu-component

header-component

Browse by Institution Type

Browse by Product Type

header

secondary-primary-menu

Request a Trial

gale-footer

zone2

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

FIND YOUR REP

support-order-2

%1 products have been added to your cart but %2 have been backordered and will be fulfilled when stock is available

Product on backorder

Current quantity limit is [maxProductQuantity], please, navigate to the cart page and change quantity of product

You will be able to resubmit promo in ${countdown} seconds. test

Please note that the taxes displayed on our website are estimated and subject to adjustment. The actual tax charges will be determined and settled during the final invoicing of your order

product-detail-component

config

footer-legal-menu

Terms of use

Privacy

zone3

You may already have access to Gale content through your institution.

STUDENTS AND RESEARCHERS

footer

support-order-1

single-column

NON-AXIOMATIC LOGIC: A MODEL OF INTELLIGENT REASONING

Computer Science

Mathematics & Science

Gt Product Group

Binding Format

Marketing Imprint Name

B2B GT

CL Carton Count

Imprint Name

B2B & B2C

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.

Non-Axiomatic Logic: A Model Of Intelligent Reasoning

Post Secondary Four Year

College Freshman

College Junior

College Sophomore

College Senior

Non-Axiomatic Logic

Duration

Duration Unit Of Measure

Transaction Type

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
Dedication.
Contents.
Preface.
Acknowledgments.
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.
Bibliography.
Index.

Non-Axiomatic Logic: A Model Of Intelligent Reasoning.css-1p8rvzy{position:absolute;padding-left:8px;}

Non-Axiomatic Logic: A Model Of Intelligent Reasoning