计算机科学论坛--弱弱地问：语义和知识怎么区别？

贴子主题：弱弱地问：语义和知识怎么区别？

本主题类别:

13楼问得好。我是这么理解的。

语义学是研究怎样理解言语的，或者说是研究怎样由言语来获得其意思（即语意）的。象9楼说的一样，语义学主要从三个层次上研究语意的获取，即语法语义学、语境语义学和语用语义学。

那些都是对自然语言而言的。而形式语言（formal language）的语义学是计算机科学的一个基本的极端重要的问题，目的是要为各种计算机语言定义严密的语意。而形式语义学集中在语法语义学上。我想这是因为我们还没有办法很好地处理非“语境无关语言”（context free language），更不要说语用语义学这样的事。

对形式语言而言，不妨用“语义”一词来代替“语意”，来表达“形式语意”这样一个东西，以区别于非形式的“语意”。这样做好像很合理，而且，似乎大家都在这么做。所以当在讨论形式语言的语意时，看到“语义”这个词，就把它看成“语意”并无碍。这样，“语义的”这个词就有着落了。

这样一来，有必要再讨论一下知识和（形式）语义的关系。

我有这样一个理解，不管是自然语言也好，形式语言也好，语义学都只顾及“非原子语意”。什么意思呢？就是语义学只管这样一个问题，即怎样由最基本的语意语素（即，词）来解析合成（语言）成分（例如，短语，带修饰成分的名次，语句）的语意，而把“原子语意”，即最基本语素的语意当成已知。为什么会这样呢？我的理解是，语义学探讨的是语言的问题，而原子语意恰恰不是语言的问题。每个词都对应着一个概念，虽然往往不是严密的科学概念，而这个概念不是语言定义的，只是用语言（自然的或者形式的）来表示。所以语义学不能研究词的意义，即不能研究概念本身，否则语义学就涵盖了一切科学。

而现在我们希望计算机能懂概念，这怎么办呢？所以就要发展象ontology这样的学问，把概念形式化地表达出来，让计算机可以“理解”。从这个意义上讲，我觉得，ontology正是试图填补语义学留下的巨大空白。这大概也就是为什么把那个东西（我是说，semantic web）叫做semantic web的原因吧。把它叫做“懂概念web”未免太难听了一点。

[此贴子已经被作者于2005-12-14 22:19:16编辑过]


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	62.500ms