1) logic defect
逻辑缺陷
1.
Based on reading the original works of demand theory of neo-classical economics,it has significant contributions to economic analysis history and there are inherent logic defects,while settling these arduous theory problems by neo-classical economics demand theory.
本文在研读相关原著的基础上认为,新古典经济学需求理论在解决这些理论难题时,必须具体分析该理论的历史功绩和内在逻辑缺陷。
2) logical reasoning deficiencies
逻辑推理缺陷
1.
The present study examines the logical reasoning deficiencies of because structure in Chinese non-English majors English argumentative writing.
本研究考察和分析了中国非英语专业大学生英语议论文中带有because的语言结构中的逻辑推理缺陷。
3) logical trap
逻辑陷阱
1.
As we know,the logical trap is a kind of trap that is set up in the process of judgment or reasoning in order to place the opposite to a disadvantage condition.
所谓逻辑陷阱 ,是指为了置对方于不利境地而在判断或推理方面所设置的圈套。
4) default logic
缺省逻辑
1.
A Default Logic Approach to Scalar Implicature;
级差含义推导的缺省逻辑方案
2.
Relier s default logic has limitations:it can t represent the priorities among defaults,can t deal with disjunctions in defaults,and it is not cumulative.
Ｒｅｌｉｅｒ的缺省逻辑存在着局限性。
3.
The various four-valued models are defined for default theories such that the default logic has the ability of nonmonotonic paraconsiste.
为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系。
6) Statistical Default Logic
统计缺省逻辑
补充资料：逻辑推理机
逻辑推理机
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年)等。(郑守淇)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条