English translation for "正规模态逻辑"
|
- normal modal logic
Related Translations:
正规传粉: legitimate pollination 正规形式: hessenberg-form hessenberg form hessenberg 正规文法: normal grammarregular grammar 正规数据结构: rdo regular data organization 正规变换: normal transformation
- Example Sentences:
| 1. | This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model , including bel , asm , des , goal and int , in order to describe the dynamic restrictions and interactive triggering relations between belief , desire and intention of agent . a new intentional model was built in complementation of the kd45 regular modal logic axiom , which is the base of agent self - control interaction with the outer environment 在传统的理性agent的bdi形式化逻辑模型中作者引入新的逻辑算子bel 、 asm 、 des 、 goal和int等,表达了信念、愿望和意图三者间的动态约束与相互激发关系,补充了正规模态逻辑的kd45公理,建立agent从信念到动作选择的的意图模型,为研究agent与环境交互的自主行为模式提供了理性化模型。 | | 2. | 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:
- "正规密度曲线" English translation, "正规名称" English translation, "正规命令" English translation, "正规模" English translation, "正规模式" English translation, "正规模型" English translation, "正规耐龙" English translation, "正规耐纶" English translation, "正规内插法" English translation, "正规捻" English translation
|
|
|