补充资料：逻辑推理机

　　
　　逻辑推理机
　　logic inference machine

　　lu0JI tull一Ji逻辑推理机(一嘟e inrerence maehine)可自动进行推理的计算机。它的输人是所要求证明的推理目标、有关的变量以及前提和假设;输出是关于推理目标的证明结论、有关的解释以及上述变量的值。程序员为逻辑推理机编写逻辑程序，其中包括推理过程中需要的已知事实，表示推理规则的逻辑语句和其它形式的语句等。通常，逻辑程序是用PR()-L‘X弓程序设计语言编写的。逻辑推理机根据上述信息，按照其本身所具有的推理机制，选择适当的决策步骤进行逻辑推理演算并输出结果。 逻辑推理机必须是完善的，即不可能给出错误的推理结果，又必须是完备的，即能够给出全部正确推理结果。 逻辑推理机的体系结构可以用知比en抽象机(W八八项)语义模型表示。WAM模型的指令集包含以下5类基本指令: (l)索引类指令在一个子句的推理过程中，用于控制各部分执行次序，例如，选择当前子句、回溯、重试等; (2)过程类指令用于管理推理过程中的子句链的选择和环境设置，以及子句链之间的转移等; (3)取检类指令包括取出参数，检验子句的形式参数与实在参数是否合一，记录相应的变量代人关系等; (4)设置类指令在子句体中，为谓词设置实在参数等; (5)合一类指令用于处理表或函数结构中各分量的设置和合一操作等。 应用这些指令，可以编写相应的程序来描述逻辑推理机的体系结构;又可以通过它们，采用编译、解释以及硬件组成等方法去实现实际的逻辑推理机。 关于逻辑推理机的研究成果有美国的PLM机(l 985年)、日本第五代计算机计划中的PSI机(1985年)和PSI一11机(1987年)以及具有并行化体系结构的Multi一PSI机(1987年)和PIM机(1986年)等。(郑守淇)
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。