DMCA
From Inheritance Relation to Non-Axiomatic Logic (1994)
Cached
Download Links
- [sites.google.com]
- [www.cis.temple.edu]
- [www.cis.temple.edu]
- [ftp.cogsci.indiana.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | International Journal of Approximate Reasoning |
| Citations: | 33 - 25 self |
BibTeX
@ARTICLE{Wang94frominheritance,
author = {Pei Wang},
title = {From Inheritance Relation to Non-Axiomatic Logic},
journal = {International Journal of Approximate Reasoning},
year = {1994},
volume = {11},
pages = {281--319}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Non-Axiomatic Reasoning System is an adaptive system that works with insufficient knowledge and resources. At the beginning of the paper, three binary term logics are defined. The first is based only on an inheritance relation. The second and the third suggest a novel way to process extension and intension, and they also have interesting relations with Aristotle's syllogistic logic. Based on the three simple systems, a Non-Axiomatic Logic is defined. It has a term-oriented language and an experience-grounded semantics. It can uniformly represents and processes randomness, fuzziness, and ignorance. It can also uniformly carries out deduction, abduction, induction, and revision. KEYWORDS: Insufficient knowledge and resources, non-axiomatic logic and reasoning system, term logic, experience-grounded semantics, measurements of uncertainty, revision, deduction, abduction, induction. 1. INTRODUCTION Non-Axiomatic Reasoning System (NARS) is proposed as a formal model of intelligent reasoning ...
Keyphrases
non-axiomatic logic inheritance relation experience-grounded semantics insufficient knowledge interesting relation novel way term logic syllogistic logic term-oriented language binary term logic adaptive system introduction non-axiomatic reasoning system simple system intelligent reasoning non-axiomatic reasoning system formal model reasoning system
