新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     >>计算机科学论坛<<     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。
    [返回] 计算机科学论坛 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 关于规则于公理 我的思考 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 2863 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 关于规则于公理 我的思考 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     lzcsu 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：100
      门派：XML.ORG.CN
      注册：2005/12/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lzcsu发送一个短消息 把lzcsu加入好友 查看lzcsu的个人资料 搜索lzcsu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lzcsu的博客楼主
    发贴心情 关于规则于公理 我的思考

    公理是本体结构的重要部分，公理指的是放之四海皆准的真理，规则不一样，规则只是一个领域适用的准则。
    Trigger rule是触发规则，特有的含义指的是对A→B规则，假如一个实例属于A那么它同样属于B，而对于非A的实例而言，规则则不起效，但对于离散数学里面的A→B对非A领域而言A→B同样成立，这是两者的根本区别，独特的性质是trigger的意义所在，是其与生俱来的特性。所以普通意义上的A→B它对应的是非A析取B，而对trigger rule中的A→B而言，其意义是A合取B。所以trigger rule中的A→B并不能推出非B→非A。因为非B→非A等于非A合取非B。
    上次看到的一个例子：
    “unmarried_student(X):-not(married(X)), student(X).
    student(joe).
    married(john).
    这个程序有一个rule和两个fact， rule可以看成是not(married(X)) and student(X)--->unmarried student(X).
    给出一个query
    ?- unmarried_student(joe).
    yes
    可以看出当给x赋值joe，可以退出unmarried_student(joe)是可以推理出来的， 同样
    ?- unmarried_student(john).
    no
    同样，赋值给xjohn也是可以进行推理的， 但当要查询
    ?- unmarried_student(X).
    no
    我们希望得到的答案应该是joe， 但是得到的答案是no（即failure），因为推理的假设不充分，因为至少已经有一个unmarried student， 所以这个推理规则不能用了，得到的结果是negation as failure。“
    因为在第二个查询的时候，由于规则不适用于这个fact，所以说明规则在所有的fact内并不适用，所以第三个查询要找出所有的没结婚的学生x，由于不能判断john，得出结果no。在普通命题中的A→B能推出非B→非A是因为它们两者适用正确的范围一样，但都加上了前提条件为非的范围，而trigger rule明确规定了不适用前提条件为非的情况，自然它们就不能等价了。

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/7 10:16:00
     
     wumingrock 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：50
      积分：286
      门派：W3CHINA.ORG
      注册：2006/4/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wumingrock发送一个短消息 把wumingrock加入好友 查看wumingrock的个人资料 搜索wumingrock在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wumingrock的博客第2楼
    发贴心情 
    本体定义里，哪些是公理，哪些是规则呢？

    本体中概念之间的关系是算公理还是规则呢？？

    ----------------------------------------------
    努力学习语义和本体~~

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/7 10:41:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第3楼
    发贴心情 
    看了一下，不太明白你想说什么，

    想说 trigger rule 与 Description logic axiom 的区别？

    还是想说negation as failure 和普通negation 的区别?

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/7 20:51:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第4楼
    发贴心情 
    第三个为什么是NO, 你这个例子是从哪里看到的?

    是PROLOG的一个例子吗?

    如果你的not 是nagation as failure的意思(也应该是,根据前两个例子的结果), 那么,第三个例子从 logic programming 的角度讲 结果i不应该是 no. 不是很明白你的解释, 比如 "所以说明规则在所有的fact内并不适用".

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/7 21:04:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第5楼
    发贴心情 
    axiom和中国教育中的公理不完全一样，axiom在本体中并不是放置四海皆准的道理，无非是某领域内的一种比较被广泛认可的知识。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/8 23:33:00
     
     lzcsu 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：100
      门派：XML.ORG.CN
      注册：2005/12/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lzcsu发送一个短消息 把lzcsu加入好友 查看lzcsu的个人资料 搜索lzcsu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lzcsu的博客第6楼
    发贴心情 
    iamwym说的极是
    其实我说的就是Trigger rule中A→B等于A合取B
    普通意义上的A→B对应的是非A析取B
    所以Trigger rule中不能由A→B推出非B→非A
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/9 15:41:00
     
     lzcsu 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：100
      门派：XML.ORG.CN
      注册：2005/12/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lzcsu发送一个短消息 把lzcsu加入好友 查看lzcsu的个人资料 搜索lzcsu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lzcsu的博客第7楼
    发贴心情 
    至于我所举的例子所表达的意思：
    在第二个推理中 规则并不适用，这说明了规则并不在所有的fact中适用
    第三个推理?- unmarried_student(X).是要找出所有的unmarried_student，由于在fact john中规则是不适用的，所以对于john是不是unmarried_student无法判断。
    所以推理实际上是无法完成的。
    不知表达的意思够不够清楚
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/9 15:48:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第8楼
    发贴心情 
    还是不明白你说什么。
    但是如果就axiom 和 trigger rule 来讲， DL 中的 axiom 其实是 hierarchy， 比如    Man subsumed Human, 所以如果不是 Man 当然就不是 Human，而Trigger rule 的根本含义 不是 hierarchy，一个例子是 professor --> Doctor,   但是不代表 非Doctor 就 不是 professor, 也就是说这类知识是不可逆的。

    对于negation as failure(用not代表)是 用来表达非单调逻辑的一种方式， 它和普通的negation(用NOT代表) 不同，  NOT Man(Tom) 表示Tom不是Man， 但是 not Man(Tom)表示 Tom是 Man 不能被证明, 这也就是negation as failure 的意思, 失败即否定(也就是说 证明不了就否定).
    所以第二个query中, 我们知道 married(john),所以married(John)是可以证明的, 因为 那个 rule 不会被猝发, 所以答案当然是 no.

    但是第三个query就不明白了, 如果是no, 那明显和你第一个query矛盾,具体请网友lzcsu给出更具体的环境. 个人认为第三个query X可以是Joe.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/13 4:36:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第9楼
    发贴心情 
    trigger rule没有模型论语义，而是过程性语义，你把它理解为A合取B根本就是错得。

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/7/21 17:51:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/10/2 19:02:10

    本主题贴数9，分页： [1]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 93.750ms