首页 > 笔记, 逻辑, 语义网 > 重读RIF-PRD:语义之条件部分

重读RIF-PRD:语义之条件部分

重读RIF-PRD:语法。原文档是http://www.w3.org/2005/rules/wiki/PRD

条件(if部分-condition)

条件部分的语义,相对简单,有操作语义模型论语义两个版本,相互等价。

首先一个概念是state of facts(事实状态,以下简称状态),有点类似于模型论语义里的模型。可以理解为一些简单事实的集合。比如一个状态是{a,b,c},那a就是被满足(satisfied)的。组合公式由原子公式的被满足性决定,比如And(a,b)就被上面的状态满足,因为a和b都被满足。基本的组合过程,如与或非,存在量词,都和一般的逻辑差不多,略。

稍微提一下几个基本概念

状态库(state of the face base):里面是一些fact,每个fact是一个不含变量的原子公式(ground atomic formula)[如t1=t2, t#s, t##s,等]。

  • 状态库要满足两个语义约束条件,就是类成员关系(membership)和子类关系(subclass)

替换(substitution): 从变量(var)到项(term)的一个映射

  • 基替换(ground substitution):注意项是可能含变量,如果一个替换里的项都是没有变量的,就是一个基替换。
匹配(matching):令σ是一个基替换,Ψ是一个条件公式,Φ是一组无变量原子公式(也就是一个状态),σ将Ψ匹配到Φ,要满足如下条件云云(很常规的语义定义,略,去看文档2.2.1)。
为理解,可比较到FOL的语义, Φ是一个模型model,σ是一个变量到实例的赋值assignment, Φ在σ赋值下满足Ψ,记为Φ|=σΨ
满足(satisfaction ):状态w库 满足 条件公式Ψ,iff有一个基替换将Ψ匹配到w。(也就是有一个变量替换 可以 将这个含变量的条件 匹配到那不含变量的状态库w上)

动作(then部分-action)部分见下篇

【待续】

Advertisements
分类:笔记, 逻辑, 语义网

发表评论

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s

%d 博主赞过: