新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
随时掌握技术动态,请订阅:
《Web技术日报》
《机器学习日报》
   中国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讨论区 - 语义网·描述逻辑·本体·RDF·OWLW3CHINA.ORG讨论区 - Web新技术讨论『 Semantic Web(语义Web)/描述逻辑/本体 』 →  逻辑讲坛之一《数理逻辑的重要性与学习方法》作者: 王丛(yezhunan3h),Wright State University  查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 20596 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题:  逻辑讲坛之一《数理逻辑的重要性与学习方法》作者: 王丛(yezhunan3h),Wright State University  举报  打印  推荐  IE收藏夹 
       本主题类别: Ontology Engineering | Description Logics    
     admin 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:W3China站长
      等级:计算机硕士学位(管理员)
      文章:5255
      积分:18395
      门派:W3CHINA.ORG
      注册:2003-10-5

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给admin发送一个短消息 把admin加入好友 查看admin的个人资料 搜索admin在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给admin  访问admin的主页 引用回复这个贴子 回复这个贴子 查看admin的博客楼主
    发贴心情  逻辑讲坛之一《数理逻辑的重要性与学习方法》作者: 王丛(yezhunan3h),Wright State University 

    数理逻辑是计算机科学中基础的基础,而国内数理逻辑教学往往只是作为离散数学的一部分,浅尝辄止。大家都能体会到,在进入硕士、博士阶段后,仅靠离散数学课堂中的一点数理逻辑常识,恐怕连论文都难以看懂,更别提在这个领域展开研究并发表自己的成果。在国内数理逻辑教学严重落后的现状下,大家要掌握逻辑多半是靠自学。但逻辑自学起来并不容易,如果不得法的话。因此,也是作为对黄智生老师《强烈呼吁在中国学界普及逻辑学》(http://bbs.w3china.org/dispbbs.asp?boardID=2&ID=90608)的响应,W3China将陆续邀请到一些在逻辑上“跑在前面”的研究者,请谈一谈他们学习逻辑的经验和对逻辑的看法。

    第一篇我们邀请到的是美国 Wright State University 的王丛(yezhunan3h),他要谈的题目是:

    《数理逻辑的重要性与学习方法》


    应徐涵之邀,在此唠叨一下数理逻辑的重要性与学习方法。

    不说大话,从最实用的角度说,如果你不熟悉model-theoretic semantics这套形式化语言,大多数语义网的文章你是看不懂的,而这套形式化方法恰恰是数理逻辑的基础。举例来说,所有关于DL语言的paper在第二段背景知识中都会如下表述(比如这篇文章Ian Horrocks, Oliver Kutz, Ulrike Sattler. The even more irresistible SROIQ),先写interpretation的定义,之后写concept,role,individual的interpretation各是什么;接着写这些concepts怎么就satisfiable;ABox,TBox怎么就consistent,所有这些定义都是用model-theoretic semantics这种语言描述的。再往后看,无论你提出什么算法,证明它是否sound和complete也同样如此。除了研究DL本身之外,你会看到这种方法在ontology matching,justification,learning等等领域频繁出现。
    可能你并不搞语义网,觉得它只出现在与逻辑相关的领域中。但是如果你在国外读研究生的话,计算机理论基础和数据库通常会是你的两门必修课,前者在讲到图灵机,P vs NP等问题上又开始用model-theoretic证明了,后者则出现在范式,最小闭包等地方。可能你说,你甚至不搞理论,也不读研究生,只搞工程,做IT。的确,你这辈子可能都不会碰model-theoretic semantics,但逻辑不好的话,恐怕ifttt.com你是玩不转了。
    重要性我就说这么多,而且model-theoretic semantics这种方法,2节课就能讲明白,剩下的就是去熟悉语言,多看paper,仔细看个5,6篇也就差不多了,之后你会觉得如果有人不这么写文章反而很碍眼。
    除了model-theoretic semantics外,学习数理逻辑还要把如下几个概念搞透彻:
    1.命题逻辑 ,谓词逻辑,一阶逻辑,高阶逻辑,horn逻辑;它们的区别是什么?
    2.Soundness和completeness,随便应用在哪种问题上,你都能明白它的Soundness和completeness到底是什么。
    3.可判定,不可判定,半可判定,知道它们的定义,并且知道命题逻辑 ,谓词逻辑等等的满足性问题,是可判定的,还是不可判定的。
    4.学会结构式递归证明,很有用,写paper证明那块就靠它了。
    5.学会tableau算法和resolution算法,明白最基本的就好。
    这样也就差不多了,一个学期的课便可很充裕的搞定。
    国内的教材很少有讲model-theoretic semantics的,我只读过这本是这么讲的(http://book.douban.com/subject/1237544/)。英文的我推荐《Logic for Computer Scientists》,德国人写的,很适合中国教法。(http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/0817647627/ref=sr_1_1?ie=UTF8&qid=1314998535&sr=8-1#reader_0817647627)。不推荐读中文,以后读的paper都是英文,尽早熟悉术语吧。还有一本小册子Logic,(http://book.douban.com/subject/1781938),可以随便翻翻现代逻辑都有啥。


    [此贴子已经被作者于2011-9-20 17:37:32编辑过]

       收藏   分享  
    顶(0)
      




    ----------------------------------------------

    -----------------------------------------------

    第十二章第一节《用ROR创建面向资源的服务》
    第十二章第二节《用Restlet创建面向资源的服务》
    第三章《REST式服务有什么不同》
    InfoQ SOA首席编辑胡键评《RESTful Web Services中文版》
    [InfoQ文章]解答有关REST的十点疑惑

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2011-9-8 5:31:00
     
     Huang 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:大四寒假(收到Microsoft的Offer啦)(贵宾)
      文章:185
      积分:1717
      门派:XML.ORG.CN
      注册:2004-7-27

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Huang发送一个短消息 把Huang加入好友 查看Huang的个人资料 搜索Huang在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看Huang的博客2
    发贴心情 
    谢谢王丛, 去美国一年,理论水平大提高。好样的!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2011-9-8 7:07:00
     
     admin 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:W3China站长
      等级:计算机硕士学位(管理员)
      文章:5255
      积分:18395
      门派:W3CHINA.ORG
      注册:2003-10-5

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给admin发送一个短消息 把admin加入好友 查看admin的个人资料 搜索admin在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给admin  访问admin的主页 引用回复这个贴子 回复这个贴子 查看admin的博客3
    发贴心情 
    欢迎大家踊跃提问

    ----------------------------------------------

    -----------------------------------------------

    第十二章第一节《用ROR创建面向资源的服务》
    第十二章第二节《用Restlet创建面向资源的服务》
    第三章《REST式服务有什么不同》
    InfoQ SOA首席编辑胡键评《RESTful Web Services中文版》
    [InfoQ文章]解答有关REST的十点疑惑

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2011-10-12 1:24:00
     
     Humphrey 帅哥哟,离线,有人找我吗?狮子座1981-7-23
      
      
      威望:1
      等级:研二(搞定了DL,再搞定F-Logic!)
      文章:937
      积分:5743
      门派:W3CHINA.ORG
      注册:2008-3-12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Humphrey发送一个短消息 把Humphrey加入好友 查看Humphrey的个人资料 搜索Humphrey在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看Humphrey的博客4
    发贴心情 
    我们这边能找到的书只有
    《应用逻辑》(美)尼罗德,(美)肖尔 著,丁德成 译 机械工业出版
    《面向计算机科学的数理逻辑系统建模与推理》(德)哈斯 瑞安
    好像远了点儿?

    ----------------------------------------------
    鸿丰

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2012-4-9 16:42:00
     
     海豚_128 美女呀,离线,快来找我吧!
      
      
      等级:大一新生
      文章:11
      积分:116
      门派:XML.ORG.CN
      注册:2012-12-15

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给海豚_128发送一个短消息 把海豚_128加入好友 查看海豚_128的个人资料 搜索海豚_128在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看海豚_128的博客5
    发贴心情 
    “面向计算机科学的数理逻辑”这本书不错,我们正在上这门课,不过没有老师指导自己很难学,我觉得逻辑很难学。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2012-12-15 21:24:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2019-3-20 20:08:51

    本主题贴数5,分页: [1]

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