1) greatest fixpoint (gfp) semantics
最大不动点语义
2) Fixpoint semantics
不动点语义
1.
The semantics (fixpoint semantics and descriptive semantics) of εLN are given.
针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义)。
2.
The syntax and semantics(including fixpoint semantics and descriptive semantics)of hybrid knowledge bases in εL are given.
给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义)。
5) minimal and maximal fixed points
最小与最大不动点
1.
The existence of the minimal and maximal fixed points for order preserving set-valued operators on semi-ordered sets and semi-ordered topological spaces was analyzed.
讨论了半序集和半序拓扑空间中保序集值算子的最小与最大不动点的存在性。
6) Maximal fixed point and minimal fixed point
最大与最小不动点
补充资料：Borel不动点定理
Borel不动点定理
Borel fixed - point theorem
B吮l不动点定理{B.限l五xe小州nt价e僻m二匆卿，T侧邓吧，f.01”聊叉B“狱班滋n卜.王j 设F为代数闭域kl二非空完全代数簇，正则地作用于犷上的连通可解代数群G(见变换的代数群扭1罗-braic goup of transformat一ons))在卜中有不动点.由这个定理可以推出代数群的B.耽l子群(Borel sub-grouP)是共扼的(Bore卜MOI洲)叉)B定理(Borel一Moro-zov theorem))，不动点定理是A.Borel([lj)证明的.Borel定理可以推广到任意域k(不一定代数封闭卜设F为在域k上定义的完全簇若连通可解k分裂群(人一sPlit grouP)G正则地作用在F上，则有理人点集V(k)或者为空集，或者它包含G的一个不动点.因此推广的Bore]子群共扼性定理是:若域k是完满的，则一个连通人定义的代数群H的极大连通可解北可裂子群，在H的k点构成的群中元素作用下互相共辘(f21)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条