Non-axiomatic logic : a model of intelligent reasoning / Pei Wang, Temple University, USA.

Includes bibliographical references and index.

Print version record.

This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's 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 thin

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.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide