Kripke 语义(也叫做关系语义或框架语义,并经常混淆于可能世界语义)是模态逻辑系统的形式语义,于 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它后来为另一个非经典逻辑,最重要的直觉逻辑所接受。Kripke 语义的发现是非经典逻辑开发中重大突破,因为这种逻辑的模型论在 Kripke 之前实际上是不存在的。
关系语义学 [计] relational semantics
语义关系 semantic relationship ; semantic relation ; sense relations ; Probabilistic-Lexical Relations
逻辑语义关系 logico-semantic relation
语义关系数据模型 [计] semantic relation data model
语义关系歧义 semantic relation ambiguity
致使语义关系 The cause relation
多层语义关系网络 MLRN
词义及其语义关系 Word meaning and sense relations
本文涉及有关建立网状关系语义的一些重要问题。
The paper also covers some important issues on the building of relational semantic net.
个别空间关系语义范畴分为静态空间关系语义范畴、动态空间关系语义范畴。
Spatial relationships of individual semantic category is divided into a static spatial relationship semantic category, the dynamic semantics of spatial relations category.
其次,我们引入关系语义,给出描述KA的特征公理的框架条件,证明KA相对这个框架条件是框架可靠的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
应用推荐