|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 哪位高人可以讲解一下概念统一和匹配阿 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=28501) |
|
-- 作者：chris -- 发布时间：3/12/2006 8:45:00 PM -- 哪位高人可以讲解一下概念统一和匹配阿 看了手册中第一章有关内容，不是很懂，望指教阿！ 以下是我这部份的翻译： 构建和维护非标准推理的DL知识库的另一种工具是概念统一。概念统一是一种操作，它能弱化两个概念表达式的等价性。更准确地说，两个概念表达式可以合并如果能够替代表达式中的概念变量，这样替代后两个概念就是相等的。直观地说就是，为了找到两个概念定义间可能的重叠，可以把某个概念名看作变量，这样通过统一就会发现两个概念（可能被不同的知识设计者独立地定义） 实际上是相等的。因此通过把一些统一的概念用一个定义，知识库可以简化。 通常，匹配是统一的特殊情况，即变量只出现在一个或两个概念表达式中。在描述逻辑框架中，匹配和统一可以定义在包含关系的基础上而不是在等价的关系上。 和其他的非标准推理类似，匹配和统一的算法也是基于概念表达式的特殊表达方式，对一些简单的描述逻辑具有可判定性。 |
|
-- 作者：iamwym -- 发布时间：3/13/2006 2:07:00 AM -- 真的不要尝试翻译dl handbook，真的…… |
|
-- 作者：chris -- 发布时间：3/13/2006 12:02:00 PM -- 这是我毕设的一部分阿 斑斑 |
|
-- 作者：iamwym -- 发布时间：3/13/2006 7:57:00 PM -- 这个……概念统一……真的不知道什么东西啊 |
|
-- 作者：wason21cn -- 发布时间：3/13/2006 8:34:00 PM -- 首先简单的说一下同一（unification），在logic中，给出两个不同的term， s和t， 假设s＝p（f（x ））， t＝p（f（y））， 一个替换（substitution）{x/a,y/a} 叫做s，t的一个unifier， 即在s中用a代替x，在t中用a代替y，s和t是一样的。 在DL中，同样的一个道理，mattching 通常情况下是给出一个概念c（concept）和一个叫做pattern的东西， 在pattern中引入一个变量， 这也是楼主翻译的 “通常，匹配是统一的特殊情况，即变量只出现在一个或两个概念表达式中。“ 这个意思，即对于concept C和一个pattern D， 只有D中回出现变量。 解决mattching problem的问题通常是通过subsumption的方法来解决，即如果concept C和pattern D 是mattching的， 那么C subsume D and D subsume C。 这就是楼主这句话的体现”在描述逻辑框架中，匹配和统一可以定义在包含关系的基础上而不是在等价的关系上。“ 个人给楼主一点学习DL的建议， 看DL handbook确实是一条学习DL的途径，但是当你接触到前面几张介绍性的章节的时候，不是很多概念马上能够看懂的，比如说mattching problem的问题， 这个问题都可以成一个博士论文的题目。楼主一定要弄清楚DL的学习方向，然后找相关的paper多看看, 不要奢望一口气吃成胖子。 |
|
-- 作者：admin -- 发布时间：3/13/2006 11:28:00 PM --
同意！ 觉得出一个集注版，比翻译要更有用得多。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
54.688ms |