以文本方式查看主题 - 中文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=28408) |
-- 作者:小堂 -- 发布时间:3/10/2006 2:52:00 PM -- 描述逻辑有很强的表达能力和很强的推理能力? 描述逻辑有很强的表达能力和很强的推理能力,那么到底体现在哪儿啊,有相关的例子来说明它吗?请高手指点。 另外想找那本描述逻辑手册,可没找到,如有,能否发给我,yaq@ntu.edu.cn,多谢了 |
-- 作者:iamwym -- 发布时间:3/10/2006 5:07:00 PM -- 相对普通的一阶逻辑,它的表达绝对是不够强的,但是一阶逻辑的自动推理没有办法实现,所以在能够实现的自动推理过程中,dl就是表达比较强的了。 |
-- 作者:小堂 -- 发布时间:3/10/2006 8:44:00 PM -- 谢谢啊, |
-- 作者:kolapig -- 发布时间:3/10/2006 9:11:00 PM -- 同意, 其实强不强 其实 也可以说是 够不够, DL可以用于表示很多东西,也一直在发展,比如随后增加的nominal, datatype 经来肯定还有更多扩展 |
-- 作者:jpz6311whu -- 发布时间:3/10/2006 10:01:00 PM -- 请问版版,“nominal”是什么?谢谢! |
-- 作者:iamwym -- 发布时间:3/11/2006 1:29:00 AM -- 查下字典吧 这东西其实中文也没有公认的翻译,搞的人太少了 |
-- 作者:wason21cn -- 发布时间:3/11/2006 2:14:00 AM -- 这可是以后一个很有前途的方向,DL with concrete domain |
-- 作者:iamwym -- 发布时间:3/13/2006 2:22:00 AM -- 我倒觉得如果是一个concrete domain,这东西应用就有限了…… |
-- 作者:hgx -- 发布时间:3/23/2006 9:46:00 PM -- 字典上的含义用在这不太确切。我觉得nominas是指通过枚举建立类时,用的这些individuals。比如:week={Sunday,Monday,...}, 这样week表示一个类,而Sunday等就是nominals. |
-- 作者:wason21cn -- 发布时间:3/23/2006 10:14:00 PM -- from DL point of view, nominals is a Singleton Set which means a set has only one element. For instance, when talking about the interpretation of an individual, it is a nominal. |
-- 作者:superc_7 -- 发布时间:3/24/2006 2:46:00 PM -- 表示能力和推理性能是相互制约的 不可能同时让两方面都很强 而且所谓最强是没有意义的 只有最合适的才是我们所需要的 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
140.625ms |