说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 逻辑学推理论
1)  inferential theory of logic
逻辑学推理论
2)  logical deduction
逻辑推论;逻辑推理
3)  theoretical logic
理论逻辑学
4)  logical deduction
逻辑推论
1.
In addition, a method for producing logical deduction was introduced.
此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法。
5)  inferential logic
推论逻辑
6)  mathematical logic inference
数学逻辑推理
补充资料:逻辑推理机

  
  逻辑推理机
  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年)等。(郑守淇)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条