查询词典 rule of inference

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

The auto design of pattern utilizes the inference technology in the field of A.I. To sum up the change rule from a large number of styles and set up the perfect knowledge base. Then express the relationship between the rule and dimension of the clothing structure design to the expert knowledge and inference mechanism.

其智能化纸样的自动设计是运用人工智能的推理技术，首先从大量的服装款式中总结出其结构变化的基本规律建立完善的知识库，再将服装结构设计规则及采寸之间的各种关联关系按照某种形式表示为专家知识和推理机制，从而设计出服装纸样。

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模糊语义网络的模糊搜索推理，如果在模糊搜索推理过程中不能确定当前诊断节点故障与否，则对当前诊断节点进行基于征兆-故障形式的验证式规则推理或者对包含该诊断节点的部件／子系统进行基于模糊神经网络的模式识别推理，如果在完成或者不再进行基于模糊语义网络的故障推理，仍然不能诊断出故障节点，则对基于模糊语义网络诊断过程中形成的故障诊断子图进行神经网络推理。

In the traditional reservoir operation system, in general, we use the rule curve as a method of operation, and the reservoir rule curve is the result of system simulation method. Due to the regular and simple rule curve operation unable to satisfy the actual demand effectively. In order to improve the defect, there are many system planning theories and optimum seeking methods to find the optimum operation strategies. The reservoir operators are uncomfortable with the complicated optimum operation strategies. In this article the fuzzy inference model is used to establish a simple and effective operation rule for the reservoir operator.

在传统的水库操作系统中，一般都使用操作规线为操作方式，水库操作规线是系统模拟法所获得的结果，由於规律、简单的规线操作方式往往无法有效满足实际需求，为了改善传统操作上的缺点，近多有利用系统规划之理论，应用各种优选方法求取最佳操作策略，系统最佳操作策略其模式复杂，水库操作人员不易接受，故本文即以模糊推论系统建立一简单有效之操作规则予水库操作人员，作为水库操作放水之依据。

Based on rough set theory, a rule inference approach of integrating the importance of attributes with the emergence frequency of attribute value is proposed.

提出一种基于粗集理论的，把属性的重要性和属性值的出现频率综合起来进行规则推理的方法。

The automatic generated technique of inference rule base is studied from conception base to realize standardization and automation of knowledge base.

研究了归纳学习和指导学习相结合的集成式机器学习算法，实现了基于维修记录库和对专家启发式提问相结合的知识自动获取，大大提高FMS故障诊断专家系统的智能化程度。

For a long time, Lacking the need and promotion of reality, jurists have not paid enough attention to legal reasoning and the research of legal reasoning of our county has not been on the essence and features of legal reasoning out of requirement of legal reasoning in judicial practice, but from the point of view of general rule and method of inference of logic.

长期以来，由于缺乏现实的需要和推动，法学家缺乏对法律推理予以充分的关注，我国关于法律推理的研究不是从司法实践对法律推理的要求出发研究法律推理的本质和特征，而更多的是从逻辑学关于推理的一般规律和方法的角度进行研究，不可避免的使法律推理理论逻辑色彩浓厚而法学色彩不足，不能真正把握法律推理的本质和特点。

The methods of fuzzy inference rule and attribute reduction based on AFS theory and closeness degrees mentioned in this paper depend on AFS theory so they are more objective and uniform. The methods are favorable to data mining and easily operated by computers. We can serve the society with them in some ways.

本文给出的基于AFS理论与贴近度的模糊推理规则提取及属性约简方法是以AFS理论为基础的，因而本文的方法客观性强，便于计算机分析数据及进行数据挖掘，从而更好的服务于社会和人类。

To avoid the collision accidents of ships at sea, with the universalizing and application of computer, and the development and maturity of the technology of Expert System and Artificial Intelligent, this paper developed an intelligent collision avoidance expert system for navigation. The main research work centers on several aspects, which will be represented as below:By the navigation rules" understanding and analyzing, and by the navigation experience and navigation samples" collecting and trimming, we put forth and build a multi-unit and layering KB systematic structure, and implement the KBM. According to features of different knowledge, we adopt multifarious KR, such as: frame KR, production rule KR, procedure KR. We also build a multi-inference system, which based on analog inference, forward illation inference, conversion inference and meta-rule inference. At the same time, we develop each reasoning algorithm. For some problems in collision avoidance region during the building of the expert system, we put forth and build a set of models to solve them using neural network technology.

为了避免船舶间碰撞事故的发生，结合计算机技术在各类船舶中的普及与应用、专家系统技术及人工智能技术的发展、成熟，本文研制、开发了一种具有一定智能的航海避碰专家系统，主要内容包括以下几个方面：通过对航海规则的理解与分析，对航海经验、航海实例的搜集、整理，提出并建立起了航海避碰专家系统的多元分层知识库体系结构，并实现了知识库的管理；根据不同知识的特点，分别采用了框架、产生式规则、过程等多种知识表示方法；提出了一种基于类比推理、正向演绎推理、换位推理及元级推理等的多种推理机制，并建立起了相应的推理算法；引入神经网络技术，针对在建立专家系统过程中所遇到的有关避碰领域内的一些难题，提出并建立了相应解决问题的模型，其中包括：船舶类型的识别，会遇态势的分类及避碰危险的评估。

Compared with the Rule Based Fuzzy Cognitive Map, the HFCM avoids the combinatorial rule explosion problem as the scale and complexity of its rule base arc reduced from the geometrical level to the arithmetical level, and improves the representation and inference performance of FCM.

与基于规则的FCM相比，HFCM规则库的规模及复杂度由几何级降至算术级，解决了组合激增问题，提高了FCM的表示与推理性能。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。