推理

This isn't conclusive proof of anything, of course, but it's a nice bit of deduction and just might turn out to be true!

这并不能确切地证明任何事，当然，这依然是一个很好的推理，而且很可能成为事实！

K2 algorithm using Bayesian network built from the a priori probability to achieve reasoning, structure learning, parameter learning.

详细说明：用k2算法从先验概率构建贝叶斯网络，实现推理，结构学习，参数学习用贝叶斯方法。

It is based on abduction and utilizes defaults to compute the future problem.

它以假设推理为基础，并利用缺省值对未来的问题进行计算。

A fine-grain ed inference control model was proposed and its implementation mechanism of XML document was given.

提出了一种细粒度的XML推理控制模型及实现机制，解决了强制访问控制所不能解决的敏感信息推理问题；改进了算法，可快速获得解决敏感信息泄露的最佳方案；引入剪枝策略，实现了安全信息最大化发布。

The corresponding color weighted diagraph was setup in dependence on the inference relation of the security holes in the intruded machine. With the vulnerability-log relation matrix, we searched different forensic information source and got the corresponding support value which could help to prune the false relation between the nodes and get the remote suspicious host. Then analyzing the suspicious host in the same way.

以漏洞间推理关系为前提，从受害主机入手，构造有色加权有向图，在多日志中查找漏洞被利用的解释信息，并由查找结果对漏洞链动态剪枝，得到主机漏洞攻击链和攻击该受害主机的嫌疑主机，对嫌疑主机迭代分析，推理出网络漏洞攻击链。

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

Probabilistic logic was proposed by Boole~[42] and rediscovered by Nilsson~[12]There exist some severe problems in Nilssons probabilistic logic, for example, high computational complexity and inferential vacuousness-inferences typically lead to large probability intervals.

Nilsson的概率逻辑存在着一些严峻的问题，例如高计算复杂度，推理的盲目性，比较典型的是，推理导致巨大的概率区间。

Based on Carnap's inductive logic and Cohen's inductive probability, we present independently a knowledge evaluation technique.

为此，我们应该把归纳推理过程看成是一个检验所获得知识的过程，归纳推理应能够根据检验结果对所获取的知识进行评价。

Actually,the consideration of Peirce' s approaches in research provided a good...

实际上 ，考察他的研究道路为我们从事推理工作的科学家和从事推理研究的逻辑学家都提出了有意义的启示。

Because thanks to these schools our early mechanics, especially in the New England and Middle Atlantic states, were generally literate and at home in arithmetic and in some aspects of geometry and trigonometry.

推理题与暗指题虽然有许多相似之处，但是其思路与方法更侧重于推理，主要测试考生的思维判断能力，即由已知的事实为依据去获得未知的信息。

Shop assistant: Please check at the door.

店员：请您到门口柜台交费。

In the end, transportation of PAHs in the environmental matrix was preliminarily investigated and discussed according to PAHs data of soils and sediments from a certain region in Shanghai. The result indicated that there are two or more pathways on PAHs transportation in the environmental matrix.

最后，对上海特定地区内PAHs在环境介质中的迁移径途进行了分析讨论，结果表明上海市土壤和沉积物等环境介质中PAHs的迁移存在多种途径。