首页 > 笔记, 逻辑 > 笔记:加注(Annotated) RDF (5) APT Logic

笔记:加注(Annotated) RDF (5) APT Logic

Paulo ShakarianAustin ParkerGerardo I. Simari, V. S. Subrahmanian: Annotated probabilistic temporal logicACM Trans. Comput. Log. 12(2): 14 (2011)

从概率时态逻辑到概率域态逻辑(Probabilistic Context Logic)。今天重读此文。另参前篇笔记:加注(Annotated) RDF (3) Dekhtyar 2001

和前述各篇不同的是,APT Logic中的概率不简单视为标注(annotation),而是有possible world semantics。一个线程是一个状态变化的流(时间到模型model的映射),所有可能的线程构成概率空间,概率分布定义在线程上。 文章的核心贡献是频率函数frequency function,在线程内部可以做概率推理。

频率函数用来建模说:F为真正好t时间单位后,G为真的频率。在一个线程T里,F会出现很多次,G也出现很多次。这个频率,记为fr(T,F,G,t)。所谓点(pointed)频率函数定义为

Existential Frequency Function说,F为真后t时间单位,G为真的频率。公式略。

APT Rule: 其中I(Th)是线程Th的概率,fr(Th, F,G,Δt)是线程内频率。两者相乘,是G在F后Δt时间为真的频率的数学期望。

【评价】我认为频率函数没有定义的必要。如果系统的“状态”(model)是遍历的,那在任一个时刻x做采样,看F为真的概率,然后过t时刻做第二次采样,看G为真的概率,就可以得到P(Gx+t|Fx)。这个文章引入频率函数,我并不认为增加了表达力,反而搞得很复杂。

Advertisements
分类:笔记, 逻辑
  1. 还没有评论。
  1. 2011/05/18 @ 19:12

发表评论

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 博主赞过: