首页 > 流水帐 > 笔记:域态逻辑的语义(2)PLC 1994

笔记:域态逻辑的语义(2)PLC 1994

Buvač, Saša; Buvac, Vanja & Mason, Ian A.: The Semantics of Propositional Contexts. In Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems. LNCS Vol. 869 Springer-Verlag, London, UK (1994) , S. 468 – 477 .

这篇文章主要是他们AAAI 2003文章(见笔记:域态逻辑的语义(1)PLC 1993)中proof  system正确性soundness和完备性completeness的证明。

语法和语义与前文同,略过。

文章重点在讨论和Kripke semantics的比较,也即模态逻辑语义。

如果对每个命题在每个context (严格来说context sequence)上都要有赋值,也就是不是三值语义,而是二值语义,那PLC的语义就是一种特殊的模态逻辑语义。在语法上,这就等价于所有的词汇在所有的context上有意义。

ist (c, f) 等价于□c(f)

每个PLC model都可以转化为一个Kripke  structure。其中Kripke结构中世界的关系大体代表了context的嵌套(context sequence的延长)。这种等价性,在Comparing Formal Theories of Context in AI(Bouquet and  Serafini 2002)里也讲到了。

我不是很喜欢用模态逻辑语义(可能世界语义),既然等价于模型论语义,就先只考虑模型论语义。

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