论文部分内容阅读
专家系统中的解释一般是在推理结束后把推理结果和过程显示给用户,而不能在推理的过程中同步给出解释,并让用户主动地参与到推理过程中进行共同推理.因此,提出了一种可以实现同步解释和驾驭推理的交互式推理机(IRM: Interactive Reasoning Machine)模型.在推理过程中,一方面IRM可以把推理的过程和中间结果同步地显示给用户;另一方面用户可以直接参与到推理过程中,根据当前的推理信息修改当前使用的规则和证据以完成驾驭推理.