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))