limiting conditional_compositional rules to variable introduction

opennars · Apr 28, 2024 · fc07343 · fc07343
1 parent 0b390fc
commit fc07343
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pynars/NARS/Control/Reasoner.py b/pynars/NARS/Control/Reasoner.py
@@ -37,7 +37,7 @@ class Reasoner:
 
     structural_enabled = True
     immediate_enabled = True
-    compositional_enabled = False
+    compositional_enabled = True
 
     class TheoremItem(Item):
         def __init__(self, theorem, budget: Budget) -> None:

diff --git a/pynars/NARS/InferenceEngine/KanrenEngine/KanrenEngine.py b/pynars/NARS/InferenceEngine/KanrenEngine/KanrenEngine.py
@@ -301,7 +301,7 @@ def inference_compositional(self, t1: Sentence, t2: Sentence):
 
                 conclusion = self.determine_order(t1, t2, res[0])
 
-                results.append(((conclusion, r), truth))
+                # results.append(((conclusion, r), truth))
 
                 # variable introduction
                 # TODO: handle nested statements