推理机 编辑
推理机是实施问题求解的核心执行机构，常见于专家系统。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。
2
相关
Pellet是一种基于Tableau算法的描述逻辑推理机，由美国马里兰大学的MindSwap实验室开发。