예제 #1
0
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()
예제 #2
0
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() # 開始進行前向推論