The first model of inference which handled fuzzy rules used the compositional rule of inference due to L. A.
第一个处理模糊规则的推理模型是L.A。
A new knowledge acquirement way is presented based on the reliability data of product, then the fuzzy semantic net which consists of FEPM and fuzzy fault tree is regard as fault knowledge representation. The formalization of the fuzzy semantic net is described, and the relative concepts and relations are summarized. A stereo-knowledge representation which consisted of FFTF, rule and fuzzy neural network which make up of the shallow knowledge of the product is presented. The integrated fault diagnosis method based on the stereo-knowledge representation is suggested. The method is as follows. The fuzzy search inference is carried out on FFTF firstly. If the node being diagnosing can be decided if it failed or not in the fuzzy search inference, the rule inference to the node is carried out with the rules which being in symptom-fault way. An equivalent method, pattern recognization inference using fuzzy neural network, can fulfill the same work.
提出了以FFTF模糊语义网络为主、基于浅知识的产生式规则、模糊神经网络为辅的产品故障知识的立体知识表示方式，并提出了基于该多种知识表示的综合性故障诊断方法，即：首先对故障产品进行基于FFTF模糊语义网络的模糊搜索推理，如果在模糊搜索推理过程中不能确定当前诊断节点故障与否，则对当前诊断节点进行基于征兆-故障形式的验证式规则推理或者对包含该诊断节点的部件／子系统进行基于模糊神经网络的模式识别推理，如果在完成或者不再进行基于模糊语义网络的故障推理，仍然不能诊断出故障节点，则对基于模糊语义网络诊断过程中形成的故障诊断子图进行神经网络推理。
The first part of this thesis presents the study on the acoustic attenuation in a duct by using the combination of fuzzy neural network with error back propagation algorithm to control secondary source. The most important advantage of fuzzy inference system is that the structured knowledge is represented in the form of fuzzy IF-THEN rules. But it lacks the ability to accommodate the change of external environments.
论文包含了以下二个部份：论文第一部份运用了模糊类神经网路搭配误差倒传递演算，控制第二声源，以达到管道噪音消除的目的，模糊推理系统重要的优点在於结构化的知识，被表示为IF-THEN的条列式规则，但是此一模糊推理系统对应於外在的环境时，却缺乏了自我调整的能力。
The PID controller based on T-S model has the merits of both fuzzy controller and PID controller. Its premise introduces fuzzy inference, which may change the experience expressed in linguistic form into fuzzy rules and its consequence part is the form of PID.
PID control ；基于T-S模型的PID控制器将模糊控制器和PID控制器的优点有效地结合起来，它的前件采用模糊排理的方法将基于语言变量的专家经验转化为T-S模型的模糊规则，它的后件采用PID的形式输出。
Near the top of the Semantic Web stack one finds inference - reasoning over data through rules. W3C work on rules, primarily through RIF and OWL, is focused on translating between rule languages and exchanging rules among different systems.
在语义网络的接近顶层，人们可以发现推理-通过规则的对数据的推理。W3C致力于规则，主要通过RIF 和 OWL，重点在于规则语言之间的转换，在不同系统之间转换规则。
Scheme design in linear constraint relations had a very few results which could be unable to indemnify the correctness. The author introduced the idea of scheme design in relational database and researched the data dependencies in constraint database. The multi-region existence dependency was given, and some of its inference rules were proposed and proved. It has been demonstrated that for linear order constraint relations, a lossless join decomposition of constraint scheme preserves if and only if variable set satisfies variable independence and multi-region existence dependency.
笔者借鉴关系数据库模式设计的一些思想，通过对线性序约束数据库中数据依赖的研究，提出了多区域存在依赖、分组多区域存在依赖和单区域存在依赖等几种依赖型，把这些数据依赖与变量独立相结合，分析和比较了结合后的结果与关系数据库中相应数据依赖以及其他研究者提出概念间的联系和差异。
To solve the problem of logical implication, paper presents a sound and complete set of inference rules; this is also a basis for further study.
随着xml应用范围的拓广，为提高数据质量，一个设计良好的DTD是必须的。
The definition of XML multivalued dependency and a sound and complete set of inference rules of that are given.
给出XML多值依赖的定义，提出XML多值依赖推理规则，并证明了其有效性和完备性。
In the design of interpretive program, employ preset text and path tagging method to get inference result and explanation of process in detail when users demand. In the neural network, analyzing the hydraulic pressure system to build a basic structure of BP neural network and extract rules of expert system knowledge base as the set of sample and test.
在神经网络部分，通过对液体加注系统的分析，建立了BP神经网络的基本结构，并提取专家系统知识库中的规则作为样本集和测试集，经过MALTAB的仿真训练和测试，得到最终的正确率较高的权值和阈值系数集合作为神经网络的知识库，在进行故障诊断时可由已建好的神经网络结构进行正向计算，推理出最终结果。
The fuzzy control system of the inverted pendulum is established, based on the database of fuzzy rules, product inference engine, fuzzifier and center average defuzzifier.
本文重点研究了模糊控制理论中有关模糊规则库、乘积推理机、单值模糊器以及中心平均解模糊器的相关知识及基于以上知识的模糊系统。
In the course of learning from environment, it can carry out fuzzy inference and support structure of fuzzy rules by regulating parameters and structure by itself.
该模型具有良好的自适应性能，在不断向环境学习的过程中，自动调节自身参数及结构，实现了模糊推理和模糊规则的构建。
That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.
也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。
In Chapter 6, based on the analysis to rules of human-problem-solving, a general model of inference engine is proposed.
在第六章，我们分析了人类问题求解的一般规律，提出了一个专家系统推理机通用模型。
D Lin, P Pantel. DIRT-Discovery of Inference Rules from Text - ACM SIGKDD Conferenceon Knowledge Discovery and Data Mining, 2001
然而，限于计算量，网络带宽以及自然语言处理工具性能等各种因素的权衡考虑
The definition of key constraints for XML and a sound and complete set of inference rules of absolute and relative key are given. An algorithm of solving candidate key for XML is presented, and validity, terminability and time complexity of that are proved.
给出XML键约束的完整定义以及绝对键和相对键的推理规则，提出多项式时间求解XML候选键的算法，并对算法的正确性、可终止性和时间复杂性进行了分析和证明。
The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable age.
智能代理技术是实现自动谈判的有效途径，本文提供灵活有效的谈判代理开发方法，使用状态图和可废止逻辑规则说明谈判策略，动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理nt
A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent.
使用状态图和可废止逻辑规则说明谈判策略，将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理。
This paper introduces the rules and layouts of Abalone, studies several inference strategies, and implements a computer game platform by C++ language.
本文介绍 Abalone 棋游戏的棋盘布局与规则，研究其各项推策，并且实作一套 Abalone 电脑赛局竞赛的游戏平台。
As long as the axioms were true statements and as long as the rules of inference were truth preserving, mathematics could not be derailed; falsehoods simply could never creep in.
只要公理的命题为真，推理法则保持这种真实性，数学就不会误入歧途，谬误也就无隙可乘。
This paper presents a proof framework about the verification of parallel programs, including the definition of our abstract machine, the formal specification for object code, logic inference rules and the proof of soundness theory.
本文提出了一个完整的基于多核并行程序的验证框架MCAP，该验证框架包括了抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及证明。