Building Intelligent Machines: Logic

EasyChair Preprint 9588

Abstract

Swift implementation of Pei Wang’s Non-Axiomatic Logic. In his 2013 book, Dr. Wang defines intelligence as "the ability for a system to adapt to its environment and to work with insufficient knowledge and resources." The system he describes is called NARS and it is an attempt at creating artificial general intelligence in the framework of a reasoning system. This paper focuses on the logic of intelligence as described in the book, and is augmented with additional functionalities such as pattern matching provided by miniKanren.

Keyphrases: AGI, Non-Axiomatic Logic, intelligent machines

@booklet{EasyChair:9588,
  author    = {Maxim Tarasov},
  title     = {Building Intelligent Machines: Logic},
  howpublished = {EasyChair Preprint 9588},
  year      = {EasyChair, 2023}}