逻辑的语义的英文

• semantics of logic

• "逻辑"英文翻译    logic
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "语义"英文翻译    semanteme; semantics
• "逻辑的" 英文翻译 :    logical; logistical
• "语言的语义" 英文翻译 :    language semantics
• "不合逻辑的" 英文翻译 :    illegitimate; illogical; inconsequential; nonlogical; spurious
• "布尔逻辑的" 英文翻译 :    boolean-logical
• "多逻辑的" 英文翻译 :    multilogic
• "非逻辑的" 英文翻译 :    alogical; illogical
• "符合逻辑的" 英文翻译 :    logical
• "合乎逻辑的" 英文翻译 :    consequently; hold water; logical
• "合逻辑的" 英文翻译 :    logical
• "合于逻辑的" 英文翻译 :    sequacious
• "逻辑的；对数的" 英文翻译 :    logistic
• "逻辑的包含" 英文翻译 :    logical inclusion
• "逻辑的繁衍" 英文翻译 :    logical multiplication
• "逻辑的根据" 英文翻译 :    logical ground
• "逻辑的命令" 英文翻译 :    orders of logic
• "逻辑的同一" 英文翻译 :    logical identity
• "逆逻辑的" 英文翻译 :    heterological
• "双逻辑的" 英文翻译 :    bilogical
• "操作语义 运算的语义" 英文翻译 :    operationalsemantics
• "管理中的语义" 英文翻译 :    management semantics
• "数据的语义学" 英文翻译 :    semantics of data
• "合逻辑的论据" 英文翻译 :    a logical argument conclusion

• Ross ' paradox and the semantic theory of denotic logic
  罗斯悖论与标准道义逻辑的语义理论
• The semantics and generalized tautology of fuzzy temporal logic
  模糊时序逻辑的语义及其广义重言式
• The semantics of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of epistemic logic
  该逻辑的语义是以一般的多agent系统模型给出的，并且与认知逻辑的解释系统密切相关。
• The syntax rules and semantic constrains are described in detail ; the semantic of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of modal logic
  文中详细描述了语法规定和语义约束，该逻辑的语义是以一般的多agent系统模型给出的，并且与模态逻辑的解释系统密切相关。
• In this paper , through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view , we explain the agent theoretically . on the base of analyzing the organ structure of agent , we put forward the kernel agent concept . the kernel concept abstracted from common properties of agent , contribute to construct agent and multi - agent system . we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent , and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents . at last , we construct a multi - agent system , which exchange kqml message by a mobile agent , by the development tools of agelt and jkqml
  当前，对agent和多agent系统的研究正在掀起热潮，是当今计算机科学技术领域、信息工程领域和网络与通信领域十分活跃的前沿研究方向之一。本文通过对agent心智模型的研究，从逻辑学的角度分析并总结了几种agent “信念?愿望?意图” （ bdi ）模型，在理论上对agent进行了解释。总结了现有逻辑模型存在的问题,提出去掉规则n形成的一种非正规模态逻辑的语义上的新的解释，解决了“逻辑全知”问题和由此带来的问题，避免了一般非正规模态逻辑系统语义解释对agent的bdi描述的弱点。

• 逻辑的语义的日语：形式意味論