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 : < bird --> animal >
Current Task Link : $0.0170;0.1000;0.1000$ _ @(T0) < bird --> animal >. %1.0000;0.9000% {1: 1}
Current Task : $0.1000;0.1000;0.1000$ < bird --> animal >. %1.0000;0.9000% {1: 1}
Current Belief Link : $0.0100;0.1000;0.1000$ @(T3-3) _ animal
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$ < paolo <-> mate >.  %1.0000;0.9000%   {1:  3}  

 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: < bird --> animal >.  %1.0000;0.9000%   {1:  1}  
IN: < swan --> bird >.  %1.0000;0.9000%   {1:  2}  
IN: < paolo <-> mate >.  %1.0000;0.9000%   {1:  3}  
Concepts in memory

 --- Level 2:
$0.0190;0.2704;0.1000$ animal
$0.0190;0.2704;0.1000$ swan
$0.0101;0.1950;0.1000$ bird
$0.0100;0.2421;0.1000$ < bird --> animal >

 --- Level 3:
$0.0229;0.2421;0.1000$ < swan --> bird >

Inference log

 --- clock tick: 1 --- 
!!! Insert: $0.1000;0.1000;0.1000$ < bird --> animal >.  %1.0000;0.9000%   {1:  1}  
!!! Insert: $0.1000;0.1000;0.1000$ < swan --> bird >.  %1.0000;0.9000%   {1:  2}  
 * Selected Concept: < bird --> animal >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < bird --> animal >.  %1.0000;0.9000%   {1:  1}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ bird
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ animal

!!! Input: $0.1000;0.1000;0.1000$ < bird --> animal >.  %1.0000;0.9000%   {1:  1}  
!!! Input: $0.1000;0.1000;0.1000$ < swan --> bird >.  %1.0000;0.9000%   {1:  2}  
!!! Input: $0.1000;0.1000;0.1000$ < paolo <-> mate >.  %1.0000;0.9000%   {1:  3}