新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   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)/描述逻辑/本体 』 → 关于 answer set programming 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 30105 个阅读者浏览上一篇主题  刷新本主题   平板显示贴子 浏览下一篇主题
     * 贴子主题: 关于 answer set programming 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     yswang168 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:9
      积分:96
      门派:XML.ORG.CN
      注册:2006/7/9

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

    我也是学逻辑程序设计

    论文题目:逻辑程序相容性与环公式研究
    目录
    Table of Contents
    Table of Contents v
    Abstract i
    1 Introduction 1
    1.1 Motivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
    1.2 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
    1.3 Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
    2 An Overview of Normal Logic Programming 8
    2.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
    2.2 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
    2.2.1 Least model . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
    2.2.2 Stable model . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
    2.2.3 Well-founded model . . . . . . . . . . . . . . . . . . . . . . . . 15
    2.3 Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
    2.3.1 Complexity . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
    2.3.2 Smodels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
    2.3.3 ASSAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
    2.4 Syntactic extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
    2.4.1 Constraints and classical negation . . . . . . . . . . . . . . . . 31
    2.4.2 Disjunctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
    2.4.3 Nested expressions . . . . . . . . . . . . . . . . . . . . . . . . 36
    2.5 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
    2.5.1 Planning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
    2.5.2 CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
    2.5.3 Combinational graph problems . . . . . . . . . . . . . . . . . 41
    3 Weakly Auto-compatible Logic Programs 43
    3.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
    3.2 Weakly auto-compatibility . . . . . . . . . . . . . . . . . . . . . . . . 44
    3.2.1 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
    3.2.2 Algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
    v
    3.2.3 Reasoning complexities . . . . . . . . . . . . . . . . . . . . . . 56
    3.3 Comparison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
    3.3.1 FC-normality . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
    3.3.2 Call-consistency . . . . . . . . . . . . . . . . . . . . . . . . . . 66
    3.3.3 WF-irreducible . . . . . . . . . . . . . . . . . . . . . . . . . . 71
    3.4 Concluding remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
    4 First-order Loop formulas 74
    4.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
    4.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
    4.3 First-order loops and loop formulas . . . . . . . . . . . . . . . . . . . 80
    4.4 Some properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
    4.5 Concluding remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
    5 Conclusion and Future Work 100
    Acknowledgements 102
    Bibliography 104
    A The encodings of various problems 111
    A.1 Planning domain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
    A.1.1 The block world panning, Niemel¨a’s version . . . . . . . . . . 111
    A.1.2 The block world planning, Lifschitz’s version . . . . . . . . . . 112
    A.1.3 Hanoi tower planning . . . . . . . . . . . . . . . . . . . . . . . 113
    A.2 Combinatorial graph domain . . . . . . . . . . . . . . . . . . . . . . . 114
    A.2.1 Independent set . . . . . . . . . . . . . . . . . . . . . . . . . . 114
    A.2.2 Maximal matching . . . . . . . . . . . . . . . . . . . . . . . . 114
    A.2.3 Graph matching . . . . . . . . . . . . . . . . . . . . . . . . . . 114

    多交流

    ys_wang168@sina.com

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

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

     *树形目录 (最近20个回帖) 顶端 
    主题:  关于 answer set programming(237字) - jizheng,2007年1月13日
        回复:  关注,有没有这样群,请大家联系,我的邮箱:lsp.jlu@gmail.com..(59字) - lsp_jlu,2009年2月23日
            回复:  有人去今年的KR吗?搭个伴。(32字) - yswang168,2012年5月25日
        回复:  已经有人这样做了(128字) - poseidonli,2008年8月29日
            回复:  呵呵,谢谢啊。抽空看一下。(26字) - jizheng,2008年8月29日
        回复:  我现在也是要搞answer set programming的,不过是弄学校的排课系统,不知道有没哪..(110字) - o0001010,2007年11月24日
        回复:  今年有人去AAAI吗?(18字) - baojie,2007年6月14日
        回复:  个人觉得,将此两个统一难度较大(30字) - myl,2007年6月13日
        回复:  jizheng, smileidiot, yswang168 我们组织一个email list吧。..(57字) - baojie,2007年6月13日
            回复:  哇,原来还是有很多人关心这个课题的。我的email是,jizheng@mail dot ustc..(99字) - jizheng,2007年11月24日
        回复:  国内做DL与rule结合的应该很少很少。感觉国内做SW的,大部分都还是偏应用的。..(76字) - wolfel,2007年1月19日
        回复:  我的课题就是这个。。。请问如何联系。。。希望能进一步讨论。。。(64字) - smileidiot,2007年1月14日
        回复:  logic programming?(18字) - iamwym,2007年1月13日
            回复:  对,呵呵,本体上加规则,最直接的就是逻辑程序了。 虽然,DL和逻辑程序在一块一般是不可..(227字) - jizheng,2007年1月14日
                回复:  顶一下(3855字) - yswang168,2007年4月8日
                    回复:  Yisong, 没想到我在这里很多年前发的帖子都被你发现了。Jianmin..(63字) - jizheng,2008年8月29日
                    回复:  [quote][b]以下是引用[i]yswang168在2007-4-8 10:47:00[/i]..(4124字) - wolfel,2007年6月14日
        回复:  logic programming?(18字) - iamwym,2007年1月13日

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