Under this fuzzy logic frame,the general probability Aumann semantics is generalized to general fuzzy probability Aumann semantics,and thus multi-agent fuzzy probability belief logic is built.
在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。
After briefly introducing the methods of using types for the verification of security protocols, this paper analyzes the main idea of using types for the verification of the authentication property by dint of the belief logic.
Gordon建立的、用于对协议的认证性进行验证的类型系统,借助其与信念逻辑方法在证明过程中的某些相似性,对其中的主要思想进行了分析讨论。
In this paper, a multi agent belief logic named MBL (multi\|agent belief logic) is presented firstly.
首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 。
Secondly, a multi agent probabilistic belief logic named MPBL (multi agent probabilistic belief logic) is .
其次 ,建立了一种多 Agent概率信念逻辑 MPBL(multi- agent probabilisticbelief logic) ,通过在广义 Aumann语义基础上引入概率空间 ,给出了 MPBL的概率 Aumann语义 ,证明了它的可靠性 ,并给出 MPBL的一些推论 。
In this paper, probability is introduced based on belief logic, and a probabilistic belief logic—PBL is given, which can improve the expressive power and deductive power of belief logic.
在信念逻辑基础上 ,引入概率 ,给出了一种概率信念逻辑 PBL ,增强了信念逻辑的表述能力和推理能力 。
There exists the problem of serious ambiguity in logic concept definitions.
逻辑概念的定义中存在着严重的定义不清的问题。
A System of Belief Logic Based on Ordinal Conditional Function
一个基于顺序条件函数的信念逻辑系统
Belief that does not rest on logical proof or material evidence.
信仰非基于逻辑或物质证明的坚定信念
Logic be not the science of belief, but the science of proof or evidence .
逻辑不是信念的科学，而是证明或证据的科学。
Differentiation Theory of Legal Logic:Faith Differences and Methodology Differentiation;
法律逻辑分型论:信念区别与方法论的划分
Faith Supported by Logic: the Particularity of Yin Haiguang s Theory of Liberalism;
以逻辑支撑信念——论殷海光自由主义的理论特质
To them the mind was supreme over faith or dogma and logic and science were superior to superstition.
对他们来说,精神是凌驾于信念和教义之上的.逻辑和科学高于迷信.
The Historical and Logical Function of Moral Beliefs in College Students Moral Education;
大学生理想信念教育中道德信仰的历史逻辑功能
Several Issues on Study of the History of China Logic;
用逻辑的观念审视中国逻辑研究——兼论逻辑史研究中的几个问题
For the View of Macro-Logic,Against Narrow Micro-Logic --Assessment of Concept of Logic by Wan?lu;
要提倡大逻辑观 反对狭隘的小逻辑观——评王路先生的《逻辑的观念》
New Logic of Capital and Corporation System;
新资本逻辑与企业制度──新资本的概念与逻辑
Regularity and Logic--New thoughts of Strengthening Ideal and Belief Education;
合规律性与合逻辑性:加强大学生理想信念教育的新思路
On the Impact of Logical Study upon the Belief Disparity in Deductive Reasoning
逻辑课程学习对演绎推理中信念偏差效应的影响
logical record control block
逻辑记录控制信息组
point-to-point logical communication path
点到点逻辑通信路径
The concept of pure literature does not work in logic.
纯文学的概念在逻辑上是不成立的。
a crude notion veneered with facile logic
以灵巧的逻辑为掩饰的粗糙观念
The logic analysis of some classical Administration notions;
若干经典行政管理学概念的逻辑分析
On Literary Logic--A Research of May 4th New Literary Idea;
文学的逻辑——五四新文学观念研究
