propositional inference

propositional inference的基本解释

-

命题推演

与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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

与propositional inference相关的网络解释 [注：此内容来源于网络，仅供参考]

propositional inference：命题推演

propositional calculus 命题演算 | propositional inference 命题推演 | protractor 量角器

propositional inference：命题推演,命题推断

propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断 | propositional intermediate logic 命题中间 辑

propositional inference：命题推演Btu中国学习动力网

propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网 | protractor 量角器Btu中国学习动力网