NARS
From AGIRI.org
According to its creator, Pei Wang,
" NARS (Non-Axiomatic Reasoning System) is a general-purpose reasoning system, coming from my study of Artificial Intelligence (AI) and Cognitive Sciences (CogSci). What makes NARS different from conventional reasoning systems is its ability to learn from its experience and to work with insufficient knowledge and resources. NARS attempts to uniformly explain and reproduce many cognitive facilities, including reasoning, learning, planning, etc, so as to provide a unified theory, model, and system for AI as a whole. The ultimate goal of this research is to build a thinking machine. "
Inference in NARS
For a discussion of some of the types of reasoning that NARS's logic system can carry out see the entry on Inference.
Mind Ontology Links
Supercategory: Logic Based AGI Projects
Subcategory: NARS Truth Value
