About...
Ported from OpenNARS
Powered by Squeak and Seaside

Control


Number of steps: 1


Initial tests (resets the memory) :
Deduction1 Deduction2 AbdInd1 Analogy1 Analogy2 Analogy3 Analogy4 

Current memory state

Current Term :
Current Task Link :
Current Task :
Current Belief Link :
Current Belief :

Input Box

Simple parser :


Enter judgments. 2 variants:

(1) subject --> predicate
inserts : < subject --> predicate > %0.9;0.9%
(2) subject --> predicate 0.9 0.8
-inserts : < subject --> predicate > %0.9;0.8%

Select box :



Active entries

 New Tasks: 
$0.1000;0.1000;0.1000$ < creature <-> animal >.  %1.0000;0.9000%   {1:  1}  
$0.1000;0.1000;0.1000$ < bird --> creature >.  %1.0000;0.9000%   {1:  2}  
$0.1000;0.1000;0.1000$ < <bird --> animal>. >.  %1.0000;0.9000%   {1:  3}  
$0.1000;0.1000;0.1000$ < robin <-> sparrow >.  %1.0000;0.9000%   {1:  4}  
$0.1000;0.1000;0.1000$ < <robin --> bird>. >.  %1.0000;0.9000%   {1:  5}  
$0.1000;0.1000;0.1000$ < <sparrow --> bird>? >.  %1.0000;0.9000%   {1:  6}  

 Recent Events: 

 Task Buffer: 


Number of steps: 1

v0.4.

Test application for NARSqueak (Non-Axiomatic Reasoning Squeak)
2 relations can be used for now, inheritance (-->) and symilarity (<->) on simple terms


System Output

IN: < creature <-> animal >.  %1.0000;0.9000%   {1:  1}  
IN: < bird --> creature >.  %1.0000;0.9000%   {1:  2}  
IN: < <bird --> animal>. >.  %1.0000;0.9000%   {1:  3}  
IN: < robin <-> sparrow >.  %1.0000;0.9000%   {1:  4}  
IN: < <robin --> bird>. >.  %1.0000;0.9000%   {1:  5}  
IN: < <sparrow --> bird>? >.  %1.0000;0.9000%   {1:  6}  
Concepts in memory

Inference log

!!! Input: $0.1000;0.1000;0.1000$ < creature <-> animal >.  %1.0000;0.9000%   {1:  1}  
!!! Input: $0.1000;0.1000;0.1000$ < bird --> creature >.  %1.0000;0.9000%   {1:  2}  
!!! Input: $0.1000;0.1000;0.1000$ < <bird --> animal>. >.  %1.0000;0.9000%   {1:  3}  
!!! Input: $0.1000;0.1000;0.1000$ < robin <-> sparrow >.  %1.0000;0.9000%   {1:  4}  
!!! Input: $0.1000;0.1000;0.1000$ < <robin --> bird>. >.  %1.0000;0.9000%   {1:  5}  
!!! Input: $0.1000;0.1000;0.1000$ < <sparrow --> bird>? >.  %1.0000;0.9000%   {1:  6}