查询词典 propositional inference

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.

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

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

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 course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

As for reasoning strategy, an inference engine with compound structure of multiple series-parallel sub-inference-engines is constructed. The inference engine, as a whole, employs forward reasoning.

在推理策略方面，本文构造了一个多并串子推理机组合结构的推理机制，推理方式在总体上是正向推理。

Reasoning by analogy contain broad sense and narrow sense. The broad sense analogy indicates generally the inference based on genus, which equal to what we now say inference (contain deduce, induce, analogy). The narrow sense analogy only points several typical inference form based on same genus that the ancients discussed in Mohist Argument: pi, mou, yuan, tui, which mostly equal to what we now say analogy.

推类有广义和狭义之分：广义推类泛指在类的基础上进行的推理，相当于我们现在所说的推理；狭义推类仅指《墨辩》中论及的譬、侔、援、推等几种典型的、以类同为依据的推理类型，大致相当于当今所说的类比推理。

In all, the results show that the information inference in discourse comprehension is inevitable, and it can happen on-line not only in working memory, but also in long-term memory.Key words:information accurate inference, on-ling inference, trace back to, working memory, long-term memory.

本研究的结果表明，信息精确化推理在文本阅读中是必然发生的，而且不管进行需要精确化推理的句子与包含推理所需信息的句子是处于同一工作记忆范围内，还是处于长时记忆中，推理都是即时发生的。

Afterwards,the author analyses the characters,definition and connection between fact inference and presumption of law.points that reasoning is the essence of the fact inference.The presumption of law is higher than the fact inference.but the legal reasoning is totally based on the real fact.

然后集中分析事实推定与法律推定的概念特征及其相互关系，指出事实推定的实质是推理或推论；法律推定源于事实推定又高于事实推定。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。