From a8b267a7d009694215a88702f447e13d4e184fd6 Mon Sep 17 00:00:00 2001 From: Maxim Tarasov Date: Thu, 28 Mar 2024 15:45:49 -0700 Subject: [PATCH] revert change to get_belief() in Concept; add parameter to Reasoner to specify which inference engine to use --- pynars/NARS/Control/Reasoner.py | 3 ++- pynars/NARS/DataStructures/_py/Concept.py | 8 ++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/pynars/NARS/Control/Reasoner.py b/pynars/NARS/Control/Reasoner.py index 14c0d3d..af1eef3 100644 --- a/pynars/NARS/Control/Reasoner.py +++ b/pynars/NARS/Control/Reasoner.py @@ -40,7 +40,8 @@ def __init__(self, theorem, budget: Budget) -> None: super().__init__(hash(theorem), budget) self._theorem = theorem - def __init__(self, n_memory, capacity, config='./config.json', nal_rules={1, 2, 3, 4, 5, 6, 7, 8, 9}, inference: str = 'kanren') -> None: + def __init__(self, n_memory, capacity, config='./config.json', + nal_rules={1, 2, 3, 4, 5, 6, 7, 8, 9}, inference: str = 'kanren') -> None: # print('''Init...''') Config.load(config) diff --git a/pynars/NARS/DataStructures/_py/Concept.py b/pynars/NARS/DataStructures/_py/Concept.py index 97479e3..e87feeb 100644 --- a/pynars/NARS/DataStructures/_py/Concept.py +++ b/pynars/NARS/DataStructures/_py/Concept.py @@ -78,10 +78,10 @@ def get_belief(self) -> Belief: # return projectedBelief; // return the first satisfying belief raise - if self.belief_table.empty: - for term_link in self.term_links: - if not term_link.target.belief_table.empty: - return term_link.target.belief_table.first() + # if self.belief_table.empty: + # for term_link in self.term_links: + # if not term_link.target.belief_table.empty: + # return term_link.target.belief_table.first() return self.belief_table.first() # def match_candidate(self, sentence: Sentence) -> Task | Belief: