1) basic logic for default reasoning
常识推理的基础逻辑
2) the rationality of logical foundation
逻辑基础的合理性
3) agent-based realization of logical reasoning
基于agent的逻辑推理实现
4) Fundations of Mathematical Logic
数理逻辑基础
5) logic foundation
逻辑基础
1.
Yet the academic logic should act as the logic foundation by the two principles of academic ontology and social response.
我国研究型大学基层学术组织的现实逻辑基础可以概括为学科目录逻辑、问题逻辑和单位逻辑,但最为本原的逻辑基础是政治逻辑。
6) Logical foundation
逻辑基础
1.
Based on the logical foundation of theory, the paper makes a particular analyze on the interaction between them by demonstratin.
本文对公司治理和会计信息的内涵作了简单的界定,运用委托代理理论、契约理论、产权理论对公司治理和会计信息进行了经济学分析,公司治理与会计信息在现代企业理论上互动影响的逻辑基础。
2.
Analysed from the mechanism of creativity, it includes the discovery of “logical foundation” of the object of study, the development process of the categories related to each other, and the establishment of the “logical model” of the object s system.
从创造性机制分析 ,它涵盖研究对象的“逻辑基础”的发现、“逻辑基础”内含众规定“胚芽”经由诸范畴关联交合的推进展示、以及对象系统整体的“逻辑模式”创建的全程。
补充资料：逻辑推理机
逻辑推理机
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年)等。(郑守淇)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条