1)Kripke structureKripke结构
1.Methods of processing ambiguity based on Kripke structures in a multi agent system is presented.提出基于Kripke结构的多agent系统中含糊性的处理方法 ,多agent系统的信息状态用Kripke结构表示 ,并用tell函数来实现系统间的通信 ,而tell的应用受到Grice原理的约束。
2.Firstey the Kripke structure which is used to describe the behavior of a system and the CTL logic which is used to describe the property of a system were introduced.文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
2)partial Kripke structure不完全的Kripke结构
3)Kripke semanticsKripke语义
1.Then the Kripke semantics and generalized Aumann semantics of MBL are given, the equivalence of the two semantics, the soundness and completeness of MBL about the two semantics are proved.首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 。
4)Kripke's special semantic狭义Kripke语义
5)Kripke's relational semanticsKripke的关系语义
6)configuration[英][k?n,f?ɡ?'re??n][美][k?n'f?gj?'re??n]结构
1.Characteristics and configuration of hepatocyte growth-promoting factor freeze-dried powder injection;促肝细胞生长素冻干粉针剂的性状与结构
2.Procession and configuration design of multi-procedure complex compound die;多工序复杂复合模的工艺及结构设计
3.Investigation of piston configuration of reciprocating pump operated in the mine;矿场往复泵活塞结构研究
英文短句/例句
1.SS7 Structure, ContinuedSS7 结构（续）
2.structural junction结构结点结构节点结构节理
3.a structural formula【化】结构式, 构造式
4.Reinforces Structure and Monsary Structure钢砼结构与砌体结构
5.A structure composed of piles.桩结构由桩组成的结构
6.programmed theory of aging老化结构论 老化结构论
7.Such a structure is said to be statically determinate.这种结构叫静定结构。
8.Energy structure and industrial mix能源结构和产业结构
9.ii.The Ownership Structure and Governance Structure(二)股权结构和治理结构
10.The δ-structure and τ-structure on quantalesQuantale上的δ结构和τ结构
11.Financing structure includes capital structure, equity structure and debt structure.融资结构包括资本结构、权结构和负债结构。
12.This Structure is not That Structure--An Analysis of the Differences between Structuralism and Structural Realism;此结构非彼结构——结构主义与结构现实主义辨析
13.An Event Structure Analysis of the Resultative/Lexical Causative and the Double Object Constructions;结果/使役结构和双宾语结构的事体结构分析
14.Man and configuration Subjective man s end in configurationism;人与结构——结构主义对主体之人的终结
15.The inner parts, as of a machine.内部结构内部机构，如机器的内部结构
16.Establishing Personnel Structure in the Procedure of Adjusting the Industrial Structure;产业结构调整过程中人才结构的构建
17.Research on the Relations between Educational Structure, Industrial Structure and Employment Structure;教育结构、产业结构和就业结构的关系研究
18.A Study to Capital Structure Property Structure and Corporate Governance;资本结构、股权结构与公司治理结构关系研究
相关短句/例句
partial Kripke structure不完全的Kripke结构
3)Kripke semanticsKripke语义
1.Then the Kripke semantics and generalized Aumann semantics of MBL are given, the equivalence of the two semantics, the soundness and completeness of MBL about the two semantics are proved.首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 。
4)Kripke's special semantic狭义Kripke语义
5)Kripke's relational semanticsKripke的关系语义
6)configuration[英][k?n,f?ɡ?'re??n][美][k?n'f?gj?'re??n]结构
1.Characteristics and configuration of hepatocyte growth-promoting factor freeze-dried powder injection;促肝细胞生长素冻干粉针剂的性状与结构
2.Procession and configuration design of multi-procedure complex compound die;多工序复杂复合模的工艺及结构设计
3.Investigation of piston configuration of reciprocating pump operated in the mine;矿场往复泵活塞结构研究
延伸阅读
Kripke模型Kripke模型Kripke modds 肠川沈模型【Kri口妞n犯山北;KP。，MO朋二] 由普通的古典逻辑的模型组成的一个集合;该集合被某一个关系定义了一个序.它的作用主要是为各种非经典逻辑(直觉主义逻辑，模态逻辑，等等)提供一个解释.准确地说:一个语言L的一个众pke模型是一个结构 K=(S，R，D，W)，这里S是一个非空集合，其中的元素称为“世界”，。局势”;R是S上的一个二元关系(例如，对直觉主义逻辑(访t山tio血tic fogic)系统J而言，R是一个偏序;对模态逻辑系统54(见模态逻辑(m冈alfo-gic))而言，R是一拟序，而对系统55，R是一等价关系);D是一个映射，对任一S的元素“，赋予一个域D二，使得若“R刀，则D。生D户评是一个赋值:对L的任一常项符号a，赋予门。。:D。中的一个元素W(a);对L的每一个个体变元符号x，赋予日二。D二中的一个元素W(x);同时，对S中的每一个元素“(被认为是“世界”，“局势”)，W对L的每一个命题变元符号尸，赋予一真假值w:(P)‘{T，F}(对系统J，还应要求:若:RP而且W二(p)=T，则w，(p)二T);对每一个n元谓词符号P，赋予一个子集合附二(P)任(D二)”(对系统J，若:R刀，则w二p)三砰，(p));对每一个n元函数符号f，赋予一个由(D。)”到D。的函数w。(f)(对系统J而言，若:R刀，则W。(f)是万，(f)在D。上的限制). 对任一“‘S，任一L的公式A，若A中的每一自由变元符号x都满足w(x)6D。的话，则w。(A)钊T，F}的真假值可归纳地定义出来.对系统J而言，W二(A)的定义如下: a)若A是一原子公式，碎。(A)在该模型中早 已定义; b)评二(B凌C)二T#(评。(B)=T且碎:(C)=T); e)W。(BVC)二T#(W。(B)=T或万。(C)=T); d)评，(BOC)=T#(对任一刀〔S，若:R方且w沐(B)=T，则评，(C)=T); e)W二(一B)=T#(对任一刀任S，若。R刀，则W，(B)=F); f)W。(丫xB)=T#(对任意即‘=:评一巨刀“S，若:R刀且w‘(x)eD，，则W，(B)二T); g)评二(日xB)一T#(存在一个w‘一，评使W’(x)任D二且W二(B)=T). (这里W‘=二w是指除了变元符号x可能不一样以外，W‘与评的赋值处处相同).W。(A)=T有时也可写作仪卜A. 对于模态逻辑，W。(A)的定义仅在情形d，e，g有所不同二 d‘)W。(A)(B OC)=T#(砰，(B)“F或w:(C)=T); e‘)评二(二B)=T#(W。(B)=F); g‘)才。(丫xB)=T#(对任一评‘二:w，若w‘(x)。D。，则评;(B)=T);另外，再加上另一条归纳规则: h)附。
