import sys from kb import KB kb1 = KB() with open(sys.argv[1], encoding='utf-8') as file: code = file.read().replace(r'\n', '') kb1.load(code) kb1.forwardChaining()
from kb import KB # 在主程式中直接寫知識庫 code = "A<=B. B<=C&D. C<=E. D<=F. E. F. Z<=C&D&G." kb1 = KB() kb1.load(code) # 載入知識庫 kb1.forwardChaining() # 開始進行前向推論