命题模态逻辑,propositional modal logic英语短句,例句大全

命题模态逻辑,propositional modal logic
1)propositional modal logic命题模态逻辑
1.The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。
2."" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。
3.Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
2)fuzzy modal propositional logic模糊模态命题逻辑
1.Then the concept of Fuzzy Modal Propositional Logic is put forward, the operation of Fuzzy Modal Propositional Logic is defined.然后给出了模糊模态命题逻辑的概念,定义了模糊模态命题运算,在赋值格中定义了(?),∧,∨,→,□,◇的运算,给出了一种模糊化的克里普克语义,α—重言式和α—蕴涵的定义,在此基础上讨论了模糊模态命题逻辑的语义理论,根据模糊关系R的不同情况分别讨论了相应的模糊模态命题逻辑公式的归约。
3)propositional dynamic logic命题动态逻辑
4)propositional fuzzy logic命题模糊逻辑
1.Short consistency degrees of finite theories in propositional fuzzy logic system命题模糊逻辑系统中有限理论的弱相容度
2.In schematic extension systems Luk,Gd,∏ and L* and propositional fuzzy logic systems MTLS,a new method to estimate theories whether or not infer B based on standard MTL-algebra L= is given.在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路。

英文短句/例句

1.Provable degree of formula on theories in the propositional fuzzy logic system Gd;命题模糊逻辑系统Gd中公式的理论可证度
2.Short consistency degrees of finite theories in propositional fuzzy logic system命题模糊逻辑系统中有限理论的弱相容度
3.The Comparation of Truth Degrees of Formulas in FourFuzzy Propositional Logic Systems;四个命题模糊逻辑系统中公式真度的大小之比较
4.Probability Truth Degree of Two Fuzzy Propositional Logic Systems;两种模糊命题逻辑的公式的概率真度
5.Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;区间值模糊命题逻辑及其广义重言式
6.Probability Truth Degree of Multi-valued Propositional Logic and Intuitionistic Fuzzy Propositional Logic System;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
7.Generalizded Quasi-Tautology of Interval-valued Fuzzy Propositional Logic System and Its Thuth Degree;区间值模糊命题逻辑的广义拟重言式及其真度
8.Σ-generalized contradiction in the limited value disturbing fuzzy propositional logic;有限扰动模糊命题逻辑系统的Σ-广义矛盾式
9.Resolution Method of Intuitionistic Operator Fuzzy Logic;直觉算子模糊命题逻辑系统中的归结方法
10.Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System;区间值模糊命题逻辑系统的广义恒真式
11.Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology;扰动模糊命题逻辑的代数结构及其广义重言式性质
12.An iff Condition for the Completeness of the Fuzzy Logic System;G-R型模糊命题逻辑系统完备的一个充分必要条件
13.A Survey of Ten Years Studies on Fuzzy Logic and Fuzzy Reasoning;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述
14.Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics模糊BIK~+-逻辑与非可换模糊逻辑(英文)
15.Comparison between the Classical Propositional and the Propositional Modal Systems古典命题逻辑与模态命题逻辑的形式系统之比较
16.Fuzzy Thinking; The New Science of Fuzzy Logic模糊思维：模逻辑新科学
17.validity of formula in fuzzy logic模糊逻辑公式的有效性
18.Fuzzy Classification Research Based on AFS Fuzzy Logic and Feature Selection基于AFS模糊逻辑和属性选择的分类问题研究

相关短句/例句

fuzzy modal propositional logic模糊模态命题逻辑
1.Then the concept of Fuzzy Modal Propositional Logic is put forward, the operation of Fuzzy Modal Propositional Logic is defined.然后给出了模糊模态命题逻辑的概念,定义了模糊模态命题运算,在赋值格中定义了(?),∧,∨,→,□,◇的运算,给出了一种模糊化的克里普克语义,α—重言式和α—蕴涵的定义,在此基础上讨论了模糊模态命题逻辑的语义理论,根据模糊关系R的不同情况分别讨论了相应的模糊模态命题逻辑公式的归约。
3)propositional dynamic logic命题动态逻辑
4)propositional fuzzy logic命题模糊逻辑
1.Short consistency degrees of finite theories in propositional fuzzy logic system命题模糊逻辑系统中有限理论的弱相容度
2.In schematic extension systems Luk,Gd,∏ and L* and propositional fuzzy logic systems MTLS,a new method to estimate theories whether or not infer B based on standard MTL-algebra L= is given.在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路。
5)fuzzy propositional logic模糊命题逻辑
1.Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology;扰动模糊命题逻辑的代数结构及其广义重言式性质
2.Disturbing Fuzzy Propositional Logic and Its Generalized Tautology;扰动模糊命题逻辑及其广义重言式
3.Content: In this paper, the truth degree of fuzzy propositional logicformulas was measured by probability measure and consequently theirproperties were systematically studied.本文利用概率测度来度量模糊命题逻辑公式的真度，定义了公式的α-真度，并研究了其相关性质。
6)proposition logic命题逻辑
1.The definition of truth degree in the classic two-valued proposition logic formula is populared to the uneven probability space whose power is 2,and two-valued logic(p,q) measure and its proposition probability truth degree are defined.将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式。
2.Aiming at the problem that there exists very complicated and a large amount of component constraints,an algorithm of component constraint detection based on proposition logic was proposed,in which the proposition in daily diction was transformed into the formal proposition of mathematical logic via the process of proposition symbolization,i.针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法。
3.In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念。