Non-Axiomatic Reasoning System (Version 4.1)

Wang, Pei

Non-Axiomatic Reasoning System (Version 4.1)

AAAI 2000 pp. 1135-1136

/aaai/2000/wang2000aaai-non/

Abstract

Introduction NARS (Non-Axiomatic Reasoning System) is an intelligent reasoning system. It answers questions according to the knowledge originally provided by its user. What makes it different from conventional reasoning systems is its ability to learn from its experience and to work with insufficient knowledge and resources. The NARS 4.1 demo is a Java applet. It comes with help information and simple examples to show how the system does deduction, induction, abduction, analogy, belief revision, membership evaluation, relational inference, backward inference, new concept formation, and so on, in a unified manner. The demo also allows its user to create new examples to test the system, as well as to see the internal structure and process when the system is running. The on-line help document contains links to relevant publications. A previous version of the system, NARS 3.0, is described in detail in (Wang, 1995), which, and other related publications, are available at the autho

PDF AAAI Semantic Scholar

Cite

Text

Wang. "Non-Axiomatic Reasoning System (Version 4.1)." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Wang. "Non-Axiomatic Reasoning System (Version 4.1)." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/wang2000aaai-non/)

BibTeX

@inproceedings{wang2000aaai-non,
  title     = {{Non-Axiomatic Reasoning System (Version 4.1)}},
  author    = {Wang, Pei},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {1135-1136},
  url       = {https://mlanthology.org/aaai/2000/wang2000aaai-non/}
}