footer

footer-legal-menu-component

zone3

container

single-column

mega-menu

Browse by Institution Type

Browse by Product Type

Products

Support

secondary-account-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

secondary-primary-menu

footer-legal-menu

Terms of use

Privacy

cengage:galethorndikeseo

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

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

main

footer-social-menu-component

config

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

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

About Us

Blogs

Press Center

Events

News

Careers

Partnerships

Contact Us

Our Company

zone1

footer-menu-component

Account Information

bundle-connector

gale-footer

zone2

%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

FIND YOUR REP

support-order-2

Profile

Orders

Wish List

Fast Order Entry

My Account

header-component

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

secondary-storefront-menu

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

Request a Trial

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

STUDENTS AND RESEARCHERS

support-order-1

header

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

POST SECONDARY FOUR YEAR

COLFR

COLJR

COLSO

COLSR

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.css-1p8rvzy{position:absolute;padding-left:8px;}

Non-Axiomatic Logic