def infer(self): # self.textBrowser.clear() self.textBrowser_2.clear() self.textBrowser_3.clear() rules = inference_engine.read_rules(self.rules_filepath) input_facts = self.textEdit.toPlainText() input_facts = input_facts.split(' ') results, infer_rules, visited_rules = inference_engine.inference(rules, input_facts) if results is None: results = '无结果' self.textBrowser_3.append(results) else: # 推理过程 # for infer_r in infer_rules: # self.textBrowser.append(infer_r) # 触发规则 for rule in visited_rules: self.textBrowser_2.append(str(rule)) # 推理结果 self.textBrowser_3.append(results[-1])
def showRules(self): self.showRules_window.show() self.showRules_window.textBrowser.clear() rules = inference_engine.read_rules(self.rules_filepath) for rule in rules: self.showRules_window.textBrowser.append(str(rule))