中文XML论坛 - 专业的XML技术讨论区--显示贴子

以文本方式查看主题

-  中文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=28802)

--  作者：englefly
--  发布时间：3/17/2006 10:47:00 AM

--  关于单调推理的问题
OWL guide中有这样一段话：
对C1进行这样的假设的结果是单调的。新的信息不能否定之前的信息。新的信息可以是和旧的信息矛盾的，但是事实和推导只能被增加而不能被删减
英文原文如下：
The consequences of these additional propositions about C1 are monotonic. New information cannot retract previous information. New information can be contradictory, but facts and entailments can only be added, never deleted.

这里信息和事实有什么区别？为什么信息矛盾了，却得到一致的事实？

--  作者：iamwym
--  发布时间：3/17/2006 5:55:00 PM

--
信息是在更新之后出现了矛盾，但是系统不知道，因为先前的结果是信息内容一致的。

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

31.250ms