Abstract

Non-Axiomatic Reasoning System is an adaptive system that works with insu cient knowledge and resources. At the beginning of the paper, three binary term logics are de ned. The rst 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 de ned. 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.

Citations

5664	Probabilistic Reasoning in Intelligent Systems - Pearl - 1988
1639	A Mathematical Theory of Evidence - Shafer - 1976
615	Kahneman D: Judgment under uncertainty: Heuristics and biases. In Judgment and decision making: An interdisciplinary reader Edited by - Tversky
365	The Society of Mind (Simon and - Minsky - 1986
301	Family resemblances: studies in the internal structure of categories - Rosch, Mervis - 1975
193	Logical Foundations of Probability - Carnap - 1962
159	The Mathematics of Inheritance Systems - Touretzky - 1986
143	Norm Theory: Comparing Reality to its Alternatives - Kahneman, Miller - 1986
108	A critic of pure reason - McDermott - 1987
99	What IS-A is and isn’t: An analysis of taxonomic links in semantic networks - Brachman - 1983
99	Eds.), Collected papers of Charles Sanders Peirce - Peirce - 1958
67	Perspectives on the Theory and Practice of Belief Functions - Shafer - 1990
66	The Logical Foundations of Statistical Inference - Kyburg - 1974
64	The Continuum of Inductive Methods - Carnap - 1952
61	Bayesian and non-Bayesian evidential updating - Kyburg - 1987
51	The Collected Papers of Charles Sanders Peirce. Vols - Peirce - 1931
50	The Estimation of Probabilities - Good - 1965
47	A class of fuzzy measures based on triangular norms - DUBOIS, PRADE - 1982
47	Confidence in judgment: Persistence of the illusion of validity - Einhorn, Hogarth - 1978
28	A History of Formal Logic - Bochenski - 1970
24	The Early Growth of Logic - Inhelder, Piaget - 1964
23	A Course in Fuzzy - Wang - 1995
22	Aristotles Syllogistic from the Standpoint of Modern Formal Logic - Lukasiewicz - 1951
21	Foundations of cognitive science - Simon - 1989
20	A theory of higher order probabilities - Gaifman - 1986
19	Summarizing and propagating uncertain information with triangular norms - Bonissone - 1987
19	Belief revision in probability theory - Wang - 1993
18	A methodology for uncertainty in knowledge-based systems - Weichselberger, Pohlmann - 1990
13	Non-axiomatic reasoning system (version 2.2 - Wang - 1993
12	A defect in Dempster-Shafer theory - Wang - 1994
12	On the working definition of intelligence - Wang - 1995
8	Second order probabilities for uncertain and con icting evidence - Paa - 1991
7	Credibility discounting in the theory of approximate reasoning - Yager - 1991
6	How could a copycat ever be creative - Hofstadter - 1994
6	Higher order probabilities - Kyburg - 1989
5	Three Logicians. Van Gorcum - Englebretsen - 1981
5	Metaprobability and Dempster-Shafer in evidential reasoning - Fung, Chong - 1986
4	Selecting uncertain calculi and granularity - Bonissone, Decker - 1986
4	Fuzzy sets. Information and Control, 8:338{353, 1965. fw + �wg f = w+ fw + �wg c> [l� u] w + = k fc w 1;c + = k l u;l w = k c w = k 1;c 1;(u;l) u;l l f = w 1;(u;l) w c = c =1; (u ; l) w+k l = fc [l� u] l = w+ w+k u = w+ +k w+k u =1; c(1 - Zadeh
3	Aristotle’s Theory of The Syllogism - Patzig - 1968
3	First Ladies and Fluid Logics - Wang - 1992
3	Con dence in judgment: persistence of illusion of validity - Einhorn, Hogarth - 1978
2	A mathematical theory for evidence combination. Unpublished manuscript - Bai - 1991
2	order probabilities for uncertain and con icting evidence - Paa - 1991
2	First ladies and uid logics - Wang - 1992
2	On the working de nition of intelligence - Wang - 1994
1	Rigor mortis: a response to Nillsson's "logic and artificial intelligence - Birnbaum - 1991
1	Inheritance theory and path based reasoning: an introduction - Carpenter, Richmond - 1990
1	From Euler to Ulam: discovery and dissection of a geometric gem - Hofstadter - 1993
1	fw + ; wg !f; c? [l; u] fw + ; wg w + = k fc 1\Gammac w + = k l u\Gammal w = k c 1\Gammac w = k 1\Gamma(u\Gammal) u\Gammal ! f; c ? f = w + w f = l 1\Gamma(u\Gammal) c = w w+k c = 1 \Gamma (u \Gamma l) [l; u] l = w + w+k l = fc u = w + +k w+k u = 1 \Gamma - Information, Control - 1965