知识图谱推理-斑马问题与逻辑问答系统

实验要求

• 使用RDF框架
• 需显示每一步推理对应的规则
• 可人工处理自然语言进行符号化输入
• 需支持推理规则的人工定义和修改，以支持斑马问题的各种变种
• 实现基于FOIL的归纳推理，并结合基于逻辑的演绎推理

使用方法

斑马问题无法使用FOIL算法求解，提供了两个知识图谱: familyProblem 和 clanProblem

在 src 文件夹下执行main.py，通过参数 --kngraph 指定知识图谱，如：

python main.py --kngraph clanProblem