1) Multi-state logic
多态逻辑
2) quantified multi-modal logic
量化多模态逻辑
3) 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.
首先根据多态故障树的结构建立贝叶斯网络的拓扑结构,然后根据多态逻辑算子对其进行定量化,进而利用贝叶斯网络分析多态故障树顶事件概率、部件重要度及其它结果。
4) dynamic domino logic
动态多米诺逻辑
5) multi-modal epistemic logic
多模态认知逻辑
1.
The foreign systems of multi-modal epistemic logic present some pitfalls on epistemological base and the uses of axioms.
国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。
6) Multi-Modal Logic
多样模态逻辑
1.
Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world s.
因此 ,给出关于范畴位置移动的结构公设 ,构成特定的范畴类型逻辑系统 ,即多样模态逻辑 ,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条