以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  关于 answer set programming  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=42267)

--  作者：jizheng
--  发布时间：1/13/2007 6:03:00 PM

--  关于 answer set programming
国内有人作关于 answer set programming 的研究吗？现在DL上扩展非单调表达能力的 工作，很多是通过它的（MBNF 与其类似，更强大，都是Lifishitz的工作）。

很想交流一下，不管是具体的应用，还是纯粹理论研究。最好有了讨论平台，类似于semantic web。

--  作者：iamwym
--  发布时间：1/13/2007 10:13:00 PM

--  
logic programming?
--  作者：iamwym
--  发布时间：1/13/2007 10:16:00 PM

--  
logic programming?
--  作者：jizheng
--  发布时间：1/14/2007 11:21:00 AM

--  

   对，呵呵，本体上加规则，最直接的就是逻辑程序了。
  虽然，DL和逻辑程序在一块一般是不可判定的，而且还没有统一（很郁闷），但应该是理论上的核心问题。

  不过不知道，那里有逻辑程序的专门论坛，最好关于answer set programming。

--  作者：smileidiot
--  发布时间：1/14/2007 1:55:00 PM

--  
我的课题就是这个。。。
请问如何联系。。。希望能进一步讨论。。。
--  作者：wolfel
--  发布时间：1/19/2007 9:03:00 PM

--  
国内做DL与rule结合的应该很少很少。

感觉国内做SW的，大部分都还是偏应用的。

--  作者：yswang168
--  发布时间：4/8/2007 10:47:00 AM

--  顶一下
我也是学逻辑程序设计

论文题目：逻辑程序相容性与环公式研究
目录
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

--  作者：baojie
--  发布时间：6/13/2007 1:15:00 PM

--  
jizheng, smileidiot, yswang168 我们组织一个email list吧。
--  作者：myl
--  发布时间：6/13/2007 10:46:00 PM

--  
个人觉得，将此两个统一难度较大
--  作者：wolfel
--  发布时间：6/14/2007 1:24:00 AM

--  
以下是引用yswang168在2007-4-8 10:47:00的发言：
我也是学逻辑程序设计

论文题目：逻辑程序相容性与环公式研究
目录
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


好强啊！！这篇文章已经完成了？？一阶上的loop formulae,已经有结果出来了？？MS再IJCAI07上才刚刚看到一阶stable model的定义啊。。。

--  作者：baojie
--  发布时间：6/14/2007 12:05:00 PM

--  
今年有人去AAAI吗？
--  作者：o0001010
--  发布时间：11/24/2007 2:07:00 PM

--  
我现在也是要搞answer set programming的，不过是弄学校的排课系统，不知道有没哪位兄台可以助我一把，一起讨论讨论？
--  作者：jizheng
--  发布时间：11/24/2007 2:18:00 PM

--  
哇，原来还是有很多人关心这个课题的。
我的email是，jizheng@mail dot ustc dot edu dot cn

常联系。

--  作者：poseidonli
--  发布时间：8/29/2008 11:06:00 AM

--  已经有人这样做了
推荐《Combining answer set programming with description logics for the
Semantic Web》
Artificial Intelligence 2008年的一篇文章
--  作者：jizheng
--  发布时间：8/29/2008 7:17:00 PM

--  
呵呵，谢谢啊。抽空看一下。
--  作者：jizheng
--  发布时间：8/29/2008 7:19:00 PM

--  
Yisong, 没想到我在这里很多年前发的帖子都被你发现了。

Jianmin

--  作者：lsp_jlu
--  发布时间：2/23/2009 4:06:00 PM

--  
关注，有没有这样群，请大家联系，我的邮箱：lsp.jlu@gmail.com
--  作者：yswang168
--  发布时间：5/25/2012 8:33:00 PM

--  
有人去今年的KR吗？

搭个伴。

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