首页 > 笔记, 逻辑, > 笔记:LP几种常见语义的小结

笔记:LP几种常见语义的小结

Perfect Model Semantics 完美模型语义

Teodor C. Przymusinski: On the Declarative and Procedural Semantics of Logic Programs. J. Autom. Reasoning 5(2): 167-205 (1989)

对谓词(命题)指定优先级。令M和N是两个Herbrand model。 N<=M(N is preferable),如果对N-M中的每个元素,M-N中都有一个比它大。M是完美的(perfect)如果没有其他模型比它更preferable(<=)

Stable Model Semantics 稳定模型语义

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080

令M是一个模型(一组atom的集合),P是一个program。PM是一个新的program

  • 如果B在M中,那所有含有¬B在if部分的规则都删掉(不成立的)
  • 在剩下的规则中,把所有的negative literals都删掉(不再必要了)

这个称为G-L变换。如果M是PM的一个least Herband model(注意,PM里现在不含¬),那M是P的一个稳定模型语义。

这是一个陈述性的语义(declarative semantics)

Well-Founded Semantics 良基语义

Allen Van Gelder, Kenneth A. RossJohn S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230

WFS是构造性的(constructive),它的定义就一步步给出了良基的构造方法。

【待看到更多资料后更新】

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