Implementations and Demonstrations
Open-NARS
Since January 2008, NARS has been developed as open source software project OpenNARS. There are several versions of the system with working examples for download, as well as documentations. There are also other implimentations of NARS that selectively realize the inference rules and use different control mechanisms, in various programming languages.
For beginners, OpenNARS 1.5.7 is recommended for learning purpose, which implements layers NAL 1-6, and has documents for GUI and working examples.
NAL.pl
It is a Prolog program that implements all the inference rules in NAL 1-6 (version 1.1, 2012), without memory structure and control mechanism for multiple-step inference. The source code comes with a user's guide and examples. The examples are tested with SWI-Prolog.
The following two Prolog programs show the potential of NARS in natural language processing, as described in a simple example. The first program carries out grammar rule learning, and the second program
applies the rules to novel sentences.
NAL truth-value functions
All the NAL truth-value functions (as specified in the 2013 book) are collected in a spreadsheet file NAL-TruthFunctions.xls.
The file contains three tables showing the relations among uncertainty measurements, the truth-value functions of the one-premise rules, and the truth-value functions of the two-premise rules, respectively. In each table, the input values can be modified, and the outputs of the functions change accordingly. The system parameters used in the functions can also be adjusted.
Related Dissertations and Theses
- Doctoral Dissertations of the Temple AGI Team
- [Doctoral Dissertation]
Empirical Studies in Machine Psychology (Robert Johansson, Linköping University, 2024)
- [Doctoral Dissertation]
Intelligent Multiagent Systems based on Distributed Non-Axiomatic Reasoning (Dejan Mitrović, University of Novi Sad, 2015)
- [Doctoral Dissertation]
General Attention Mechanism for Artificial Intelligence Systems (Helgi Páll Helgason, Reykjavík University, 2013)
- [Master Thesis] Intelligent Reasoning on Natural Language Data: a Non-Axiomatic Reasoning System Approach (Ozkan Kilic, Temple University, 2015)
- [Master Thesis] From Axiomatic Systems to Replicode, to Non-Axiomatic Systems (Ólafur Hlynsson, Reykjavík University, 2012)