Pyke 简介 (5) ：使用 Pyke 的基本步调

1、假定已有知识推理引擎：

● 一组象征绝对真理的事实（陈述句），它们永远正确。

● 想让 Pyke 向最终用户提出、由其回答的全部问题。

● 分组形成的许多推理规则。推理方式分为正向的和反向的。

2、可重复使用的具体案例

① 对案例做出说明的 Pyke 语句。

② 选定应用于案例的推理规则集。

③ Pyke 会自动运行选定的正向推理规则，演绎出新事实（陈述句）。

● 正向推理规则，可以向最终用户提问交谈，也可以运行程序，辅助决策。

④ 用户可以向 Pyke 提问，要求它证明某个目标问题（即另一个事实（陈述句））。这个目标问题可以内含模式变量，允许用户提问："问题的正确答案是什么？"

● Pyke 会运行选定的反向推理规则，求出问题答案。

● 反向推理规则，也可以向最终用户提问，并运行程序。

● 可以为反向推理规则编写程序代码，由 Pyke 编译成叫做"方案"的 Python 函数。函数与规则合为一体。

● 对你的提问，Pyke 找到答案后，会汇集全部"方案"函数，形成完整的"函数调用顺序图"。这个图代表的是寻找问题答案的路径。由此，你可以写出高级编译器，汇集 Python 函数，设置参数、变量，解决具体问题。

● 处于"函数调用顺序图"顶端的函数，是标准的 Python 函数，它会返回目标问题的答案。你可以随时任意调用这个函数，也可以让别的程序调用它，或者把它存在硬盘上。你只需写个小小的 Pyke 模块，装进内存运行它。

⑤ 重新设置 Pyke，清除相关案例的全部事实（陈述句），准备解决下一个案例。