Download PDFOpen PDF in browser

Building Intelligent Machines: Logic

EasyChair Preprint no. 9588

7 pagesDate: January 18, 2023


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, intelligent machines, Non-Axiomatic Logic

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Maxim Tarasov},
  title = {Building Intelligent Machines: Logic},
  howpublished = {EasyChair Preprint no. 9588},

  year = {EasyChair, 2023}}
Download PDFOpen PDF in browser