Chinese translation for "逻辑的语义"
|
- semantics of logic
Related Translations:
变换语义: transformational calculustransformational semantics 语义消解: semantic resolution 合成语义: compositional semantic 语义前提: semantic presupposition 语义信息: semantic information 语义区别: semantic differential 形式语义: formal definitionformal semantics of programming languages
- Example Sentences:
| 1. | Ross ' paradox and the semantic theory of denotic logic 罗斯悖论与标准道义逻辑的语义理论 | | 2. | The semantics and generalized tautology of fuzzy temporal logic 模糊时序逻辑的语义及其广义重言式 | | 3. | 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系统模型给出的,并且与认知逻辑的解释系统密切相关。 | | 4. | 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系统模型给出的,并且与模态逻辑的解释系统密切相关。 | | 5. | 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描述的弱点。 |
- Similar Words:
- "逻辑的同一" Chinese translation, "逻辑的先在性" Chinese translation, "逻辑的相互依赖" Chinese translation, "逻辑的行为主义" Chinese translation, "逻辑的严密性" Chinese translation, "逻辑等价" Chinese translation, "逻辑等式" Chinese translation, "逻辑等效" Chinese translation, "逻辑等效的" Chinese translation, "逻辑等值, 逻辑等价" Chinese translation
|
|
|