1) Boolean operator
布尔算子，逻辑算子
2) Boolean operator fuzzy logic
布尔算子模糊逻辑
1.
In Boolean operator fuzzy logic, the generalized lock resolution is generalized complete if the same predicate symbols Rave the same index.
在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 。
2.
In Boolean operator fuzzy logic, applying deletion strategy in level saturation method can avoid many useless clauses without loss of generalized completeness of the resolution.
在布尔算子模糊逻辑中施行归结时，使用删除策略能够在水平浸透的过程中减少无用子句的产生，并且不牺牲归结的广义完备性，从而更快地求得子句集的恒假水平。
3.
The aim we establish the logic frame BOFL (Boolean Operator Fuzzy Logic) is to solve the innate limitation of the first-order logic.
布尔算子模糊逻辑(简称BOFL)就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。
3) Boolean operator proposional logic
布尔算子命题逻辑
4) logical operator
逻辑算子
1.
After that all of the stabilizers and it s logical operator are also given.
运用群的理论及稳定子码的基本原理构造了该码的稳定子生成元,计算出了其全部的稳定子并构造出其逻辑算子。
2.
In this paper,we define the mapping from a logical operator set to its corresponding fuzzy rough approximation operator set,and discuss its properties.
定义了逻辑算子集与模糊粗糙近似算子集之间的映射,并讨论其性质。
6) operator logic
算子逻辑
1.
Distributed operator logic based on evidence;
基于SPA证据的分布算子逻辑
2.
Abstract operator logic and its natural deduction system;
抽象算子逻辑及其自然演绎系统
补充资料：模糊逻辑
| 模糊逻辑 fuzzy logic 逻辑公式的真值是模糊值的各种逻辑的总称。在模糊逻辑中除逻辑真值具有模糊性外，相应地在其中定义的各种逻辑运算和推理规则也具有模糊性。模糊逻辑自提出以后，特别是在人工智能和控制等领域得到较好的应用之后，已经引起研究人员的浓厚兴趣。进入20世纪90年代，模糊逻辑无论在理论上还是在应用方面都得到了较快地发展。 模糊逻辑真值 模糊逻辑公式所具有的一种值，用以描述逻辑公式真的程度(或称真度)。它可在各种不同的真值范围中取值。在最简单的狭义模糊逻辑中，模糊逻辑公式的真度用[0，1]间的实数描述。0表示假，1表示真，大于0小于1的实数表示假与真之间的某种真度。 值越大，真度越高。在模糊语言值逻辑中 ， 模糊逻辑公式的真度用诸如 “极真 、很真、较真、不太真……”中的语言值描述。自然语言的本来语义刻画了这些语言值所表示的真度。此外，模糊逻辑还可取其他集合中的元素为真值，例如可取[0 ，1]中的模糊区间数和模糊中心数等为真值。 模糊逻辑运算 在模糊逻辑中可施行于其逻辑公式之上的各种运算。不同的模糊逻辑定义有不同的运算。例如在狭义模糊逻辑中，一般包括：①模糊逻辑与(或称模糊逻辑乘)∧。两个模糊逻辑公式A和B作模糊逻辑与的结果表示为A∧B，其真值可定义为两个模糊逻辑公式真值的极小者或乘积等 。②模糊逻辑或(或称模糊逻辑加)∨。A和B作模糊逻辑或的结果表示为A∨B，其真值可定义为A和B的真值的极大者或概率和（概率和由两真值之和减去两真值之积求得) 。③ 模糊逻辑非～。A的模糊逻辑非表示为～A，其真值可定义为1减去A的真值。此外，还可定义模糊蕴含和模糊等价等运算。 模糊逻辑公式 最通常的模糊逻辑系统是模糊命题演算和模糊谓词演算。其中的逻辑公式分别是模糊命题公式和模糊谓词公式。 ①模糊命题。指一个只能模糊地判别真假的陈述句。例如陈述“张三身高超过一米八”是一个一般的命题。它可以被严格地判断真假。但是如果把上述陈述改成“张三身材很高”，对它就不能说严格的真或假了。这就是一个模糊命题。它的真值只能用一个模糊数或语言值等来陈述。模糊命题是模糊命题演算中的原子逻辑公式。 ②模糊谓词。指带变量的模糊命题，或称模糊命题函数。当其中的变量被确定为常量时，它就变成模糊命题，从而具有一个模糊的真值。例如，陈述“X身材很高”，当取X为张三时，就变成“张三身材很高”，其真值不能简单地用真或假来回答，因其真的程度介于真与假之间，故其真值只能用某种模糊值来表示。模糊谓词是模糊谓词演算中的原子逻辑公式。 多值逻辑和狭义模糊逻辑 具有两种以上真值的谓词逻辑的总称。一般指具有有限种真值的逻辑，它是模糊逻辑的前身。由于其中所有合式逻辑公式只有有限种真值，其中的各种逻辑运算(包括或、与、非、蕴含、等价等)都可用真值表来定义。研究得最彻底的多值逻辑是三值逻辑，其中除了“真”(T)与“假”(F)两种真值之外，还有第三种真值。根据赋予第三真值的含义的不同又可得到各种不同的三值逻辑。当多值逻辑的真值可取值于区间 [0，1] 中的任意实数时 ，一般就把它称为狭义模糊逻辑。广义的模糊逻辑的概念是由美籍伊朗数学家、模糊数学的创始人L.A.扎德提出的，称为扎德模糊逻辑。 模糊推理 基于各种模糊逻辑的推理。根据前提的置信度如何转变为结论置信度，模糊推理被分为主观地完全置信推理和主观地不完全置信推理两大类。前者统称为模糊演绎推理，其中结论的置信度等于前提的置信度。后者统称为模糊归纳推理，其中结论的置信度小于前提的置信度。各种模糊逻辑中定义的“三段论”其实就是从一个蕴含式及其前提的真值计算其结论的真值的规则。由于各种模糊逻辑中定义的这种计算规则的不同就相应地产生了不同的模糊推理方法。从一个公理的集合出发，经过有限步模糊推理所能推出的全部模糊结论的集合称为由公理集推出的模糊定理集。为了证明一个模糊定理，既可采用从公理出发，逐步推出欲证定理的向前推理方法，称为前向模糊推理；也可采用从欲证定理出发，逐步归结为公理集的反向验证的方法，称为反向模糊推理。在反向模糊推理中，如果最终归结为需要验证的合式公式都是公理，则该模糊定理得证。与精确推理时不同，每个得证的模糊定理都有一个模糊真度，而不是完全真。在模糊推理中往往要约定(或由用户指定)两个阈限，即真阈限和假阈限 。 当结论的真度大于真阈限时，就认为该结论为真；当结论的真度小于假阈限时，就认为该结论为假，即推不出该结论。 由于一种模糊推理可认为是根据模糊规则的置信度和前提的真度以某种方式推断结论的真度的过程。因此，广义而言，诸如根据结合律、分配律和等值替换等来解一个代数方程的过程也是一种推理。因为它仅涉及数量关系，故称定量代数推理或简称代数计算。“定性代数推理”处理一些不能精确地用数量表示的所谓“定性对象”和 “定性关系”(即互相间只能作定性描述的关系)等。 例如对国民经济发展的预测，有时虽不能精确地说出一个精确的数字，但可作出经济将“上升”、“下滑”、“缓慢发展”和“飞跃”等推断。这些都是一些模糊的定性描述词。定性代数就是对这种定性概念建立起来的一个符号代数系统，由于其中对各种定性对象定义了各种代数运算，从而把其中的推理化成了一串定性代数计算。由于表示定性概念或知识等可采用模糊逻辑的办法，因此定性代数也可列入模糊逻辑范畴。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条