逻辑的语义 meaning in English
semantics of logic
Examples
- 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描述的弱点。