首页 > 笔记, 逻辑 > 笔记:带弱否定的产生式系统

笔记:带弱否定的产生式系统

这是关于产生式系统的陈述语义的另一篇文章。

P.M. Dung, P. Mancarella, “Production Systems with Negation as Failure,” IEEE Transactions on Knowledge and Data Engineering, vol. 14, no. 2, pp. 336-352, Mar./Apr. 2002

先说翻译,negation as failure(NAF)翻译为“否定为失败”——我认为这个翻译本身就很失败。这个词很难解释,可以用意译“弱否定” ——其实我更喜欢音译,可以说“非礼非”——夫子不是说“非礼勿视,非礼勿听”,非礼不是很失败麽?

==目的==

提供RIF-PRD一个陈述性语义。困难在于如何处理逻辑非。RIF-PRD中的非不是强否定(逻辑非),而是NAF,也即,如果一个事情,不能证明为真,那就是假的。

为什么要陈述性语义?见层化产生式系统(1)

凡是前面RIF-PRD笔记和Raschid文章笔记提到的概念,下面都略了。

==语法==

【跳过1,2章,都是常识】

【我今天接着看,发现章章都是常识,基本没有参考价值——尤其后来把PS翻译成带优先级的LP,简直是添乱。略过不提】

【BTW,妞非要夺过去看,给她头两页,她还在那危襟正坐,双手高举,念念有词(哦,噢,啊),读到若干不解处还用目光向我求助。真是爱学习的好孩子。】

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