说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 时态逻辑算子
1)  Temporal logic operators
时态逻辑算子
2)  multi-state logic operators
多态逻辑算子
1.
The topology of the Bayesian networks is constructed according to the structure of multi-state fault tree, the conditional probability distributions and prior distributions are obtained according to multi-state logic operators.
首先根据多态故障树的结构建立贝叶斯网络的拓扑结构,然后根据多态逻辑算子对其进行定量化,进而利用贝叶斯网络分析多态故障树顶事件概率、部件重要度及其它结果。
3)  temporal logic
时态逻辑
1.
Formal description of properties of concurrency system by temporal logic;
时态逻辑形式化描述并发系统性质
2.
Automated trust negotiation based on temporal logic;
基于时态逻辑的自动信任协商模型
3.
Research on knowledge representation based on temporal 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.
定义了逻辑算子集与模糊粗糙近似算子集之间的映射,并讨论其性质。
5)  logic operators
逻辑算子
1.
Fuzzy rough sets and fuzzy rough logic operators;
模糊粗糙集与模糊粗糙逻辑算子
6)  operator logic
算子逻辑
1.
Distributed operator logic based on evidence;
基于SPA证据的分布算子逻辑
2.
Abstract operator logic and its natural deduction system;
抽象算子逻辑及其自然演绎系统
补充资料:时态逻辑
时态逻辑
tense logic

   非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。早在古希腊时期,麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念,中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年,波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想,于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作,也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年,独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来,时态逻辑的成果逐渐增加,现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面,以及在人工智能、科学哲学等方面都有很大的作用或影响。
   构成时态逻辑的基本成分是时态语句。时态语句分为两种:时间上确定的语句;时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造:①把一组语句作为公理,这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造,这叫做语义地构造。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条