|
以文本方式查看主题 - 中文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=72651) |
|
-- 作者：jjwwjjww -- 发布时间：3/4/2009 6:57:00 PM -- 描述逻辑是一阶谓词逻辑的可判定的子集的说法不规范！ 目前，在国内的很多文章提到描述逻辑总会写下如下的话：描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。它与一阶谓词逻辑不同的是，描述逻辑系统能提供可判定的推理服务。 上面的这段话关于描述逻辑的提法是不规范的，容易产生两点歧义：1、描述逻辑是一阶谓词逻辑的子集。2、描述逻辑是可判定的。 首先说第一个问题，一个逻辑是另一个逻辑的子集，是没有明确的定义的，不能因为描述逻辑可以通过一个翻译到一阶谓词逻辑上，就说描述逻辑是一阶逻辑的子集。比如：二阶逻辑可以翻译到一阶逻辑之上，显然说二阶逻辑是一阶逻辑的子集是不合适的！正确的提法是：描述逻辑可以翻译到一阶逻辑的一个片断（fragment）。 2、描述逻辑与一阶逻辑不同，描述逻辑是一类逻辑，不是一个逻辑。有些描述逻辑是可判定的，有些是不可判定的！一阶逻辑是一个逻辑。 此外，描述逻辑是针对的概念的，而一阶逻辑是针对判断的。 所以，如果把描述逻辑看成是一阶逻辑的可判定子集是显然不恰当！ |
|
-- 作者：iamwym -- 发布时间：3/5/2009 9:20:00 PM -- 你果然是jjww，有心思研究fragment和subset的区别，还不如先去补习下英语，看看fragment是怎么定义的。 |
|
-- 作者：jjwwjjww -- 发布时间：3/6/2009 1:44:00 PM -- iamwym,你是国外i的硕士，英文一定很好，希望你给大家解释一下吧，fragment是怎样定义的？对应的中文应该如何翻译。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |