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.

Conditional Inference and Activation of Knowledge Entities in ACT-R

The expressive language ALCNHR+K(D) for knowledge reasoning

Product Knowledge Reasoning

ACT-R: A cognitive architecture for modeling cognition.

Human Conditional Reasoning in Answer Set Programming

Theory and Application of ACT-R Cognitive Architecture

On Predictive Planning and Counterfactual Learning in Active Inference

Act-R Meets Fmri

Artificial enactive inference in three-dimensional world

When Do Program-of-Thought Works for Reasoning?

Consciousness and Automated Reasoning

Active inference as a theory of sentient behavior

Relevance theory, pragmatic inference and cognitive architecture

High-level reasoning in cooperative knowledge system

A central circuit of the mind.

Active Reasoning in an Open-World Environment

Brain Activation and Deactivation in Human Inductive Reasoning: an Fmri Study

Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem

Introspective Learning , Reasoning , and Decision Making in NARS ?

Active Inference and Human--Computer Interaction