但是，基于风险管理的逻辑，我们必须和他们达成协议，使分摊正规化而不受主观情绪的影响。
But, because of the logic of risk management we have to make a deal with them; so, it becomes more formal and impersonal.
首先简单介绍了经典的BDI模型，以及基于正规模态逻辑存在的一些问题。
At first the classical BDI model is introduced simply, and points out some problem based on normal logical model.
其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
它复杂化博览会是'正规'的“形式逻辑”是常用的一种模棱两可的态度。
It complicates exposition that 'formal' in "formal logic" is commonly used in an ambiguous manner.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
缄默知识是通过行动表现的而不能通过语言、文字或符号进行逻辑的说明、不能以正规的形式加以传递、不能加以批判性反思的知识。
Tacit knowledge can't be logically explained by linguistic word and other kind of symbol, also, it can't be translated by formal way and criticized by reflection.
缄默知识是通过行动表现的而不能通过语言、文字或符号进行逻辑的说明、不能以正规的形式加以传递、不能加以批判性反思的知识。
Tacit knowledge can't be logically explained by linguistic word and other kind of symbol, also, it can't be translated by formal way and criticized by reflection.
应用推荐