首页 > 逻辑, 流水帐 > 概率域态逻辑的一个小例子

概率域态逻辑的一个小例子

An example of probabilistic context reasoning

看到TJ在线,推理出他不在中国。据我所知,他很少会在凌晨5点出没,所以这个点出来,十有八九(aka 概率大于0.8)是到美国来了。表示如下:

ist(online(x), 5pm EST)->ist(working(x), \neg China) [0.8,1]

注意,这里涉及两个不同类的域(context)

  • Time(5pm)
  • Space(China) – 如果我们假设空间域对一阶逻辑是封闭的,那\neg China也在空间域中。

P.S. 开始,这个rule写成

ist(online(x), 5pm)->ist(working(x), \neg China) [0.8,1]

有人指出我忘了时区。这是个典型的context问题:鱼在水中,故忘了水的存在。(And you see, I omitted a context since I’m in the context :))

Advertisements
分类:逻辑, 流水帐
  1. 还没有评论。
  1. No trackbacks yet.

发表评论

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