Introspective Learning , Reasoning , and Decision Making in NARS ?
Pei Wang,Xiang Li,Patrick Hammer
2018-01-01
Abstract:The reasoning-learning mechanism of the AGI system NARS can be used to learn the beliefs and skills about the system itself. This work-in-progress paper reports our recent work on the basis of our previous publications [1–3]. NARS (Non-Axiomatic Reasoning System) is a project that is moving toward Artificial General Intelligence (AGI) via an unified approach, that is, to mainly depend on a single reasoning-learning mechanism for various cognitive functions. NARS is based on the theory that intelligence is the capability for an adaptive system to work with insufficient knowledge and resources. The system has to depend on its past experience to make predictions about a future that is different from, though still similar to, the past, in various aspects, as well as to use its bounded time and space supply to meet the unbounded demands. NARS is designed as a reasoning system, though it is fundamentally different from the conventional reasoning systems where the canonical type of inference is to prove theorems according to axioms. There are multiple types of inference in NARS, including Deduction, Inductions, Abduction, Revision, Choice, Comparison, Analogy, etc., where various forms of uncertainty (randomness, fuzziness, ignorance, inconsistency, incompleteness, etc.) are inevitable. NARS uses a term-oriented formal language to uniformly represent all types of knowledge, such as declarative, episodic, and procedural. A term gets its meaning by identifying a relatively significant ingredient or pattern in the system’s experience, and relating it to those of the other terms. Besides abstract concepts, terms also represent perceived regularities, executable operations, and desired goals. Compound terms can be composed recursively from other terms. The inference tasks for NARS include experience summarizing, question answering, and goal achieving. The system normally processes a large number of tasks in a time-sharing manner, and gives each an adjustable priority. Though the basic inference steps are predetermined by the rules, the actual process for a task to be handled is determined, in every moment, by many historical and contextual factors in a way that can be neither predicted nor repeated accurately. ? This project is partly supported by a gift fund from Cisco.