以文本方式查看主题

-  中文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