An Architecture for Real-Time Reasoning and Learning

This paper compares the various conceptions of “real-time” in the context of AI, as different ways of taking the processing time into consideration when problems are solved. An architecture of real-time reasoning and learning is introduced, which is one aspect of the AGI system NARS. The basic idea is to form problem-solving processes flexibly and dynamically at run time by using inference rules as building blocks and incrementally self-organizing the system’s beliefs and skills, under the restriction of time requirements of the tasks. NARS is designed under the Assumption of Insufficient Knowledge and Resources, which leads to an inherent ability to deal with varying situations in a timely manner.

[1]  Patrick Hammer,et al.  Goal-Directed Procedure Learning , 2018, AGI.

[2]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[3]  Pei Wang,et al.  The OpenNARS Implementation of the Non-Axiomatic Reasoning System , 2016, AGI.

[4]  Shlomo Zilberstein,et al.  Operational Rationality through Compilation of Anytime Algorithms , 1995, AI Mag..

[5]  Victor R. Lesser,et al.  Design-to-time real-time scheduling , 1993, IEEE Trans. Syst. Man Cybern..

[6]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[7]  Eric Horvitz,et al.  Reasoning about beliefs and actions under computational resource constraints , 1987, Int. J. Approx. Reason..

[8]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[9]  J. Hendler,et al.  The Challenges of Real-time Ai , 1995 .

[10]  Ben Goertzel,et al.  Economic Attention Networks: Associative Memory and Resource Allocation for General Intelligence , 2009 .

[11]  Jürgen Schmidhuber,et al.  Anytime Bounded Rationality , 2015, AGI.

[12]  David B. Fogel,et al.  DEFINING ARTIFICIAL INTELLIGENCE , 2005 .

[13]  Pei Wang,et al.  Rigid Flexibility: The Logic of Intelligence , 2006 .

[14]  Pei Wang,et al.  Case-by-Case Problem Solving , 2009 .

[15]  Pei Wang,et al.  Problem Solving With Insufficient Resources , 2005, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[16]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[17]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[18]  Pei Wang,et al.  Solving a Problem With or Without a Program , 2013, J. Artif. Gen. Intell..

[19]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[20]  John A. Stankovic,et al.  Real-time computing systems: the next generation , 1988 .

[21]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .