Mobile
Log In Sign Up
Home > english-chinese > "逻辑的语义" in Chinese

Chinese translation for "逻辑的语义"

semantics of logic

Related Translations:
变换语义:  transformational calculustransformational semantics
语义消解:  semantic resolution
语义编码:  semantic coding
合成语义:  compositional semantic
语义前提:  semantic presupposition
语义错误:  semantic error
语义关系:  semantic relation
语义信息:  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