回答集最优化逻辑程序研究

发布时间：2017-09-09 23:39

  本文关键词：回答集最优化逻辑程序研究

  更多相关文章： 逻辑程序 回答集最优化 等价性 不可比性

【摘要】： 一个回答集最优化(Answer Set Optimization,以下简称ASO)逻辑程序是一个二元组(Pgen,Ppref),生成程序Pgen生成描绘可能解决方案的回答集,偏好程序Ppref表达使用者的偏好。Ppref中的偏好规则构造出可能解决方案的一个偏好序列,用于比较Pgen生成的回答集。我们证明Brewka的ASO逻辑程序会出现不相关问题,找出不相关问题的成因。为了消除不相关问题,我们提出新概念ε 等价,以重新定义偏好关系对回答集的满足度。相应地,我们定义了回答集的四种偏好关系,并在此基础上构建出回答集的层级结构,提出获得最优解的新方法。结合事例,我们在新的定义和技术的帮助下消除了不相关问题。
【关键词】：逻辑程序 回答集最优化 等价性 不可比性
【学位授予单位】：中山大学
【学位级别】：硕士
【学位授予年份】：2010
【分类号】：B812
【目录】：

• 摘要3-4
• ABSTRACT4-6
• 引言6-8
• 第1章 ASO 逻辑程序8-16
• 1.1 扩充逻辑程序和回答集语义8-9
• 1.2 ASO 逻辑程序9-14
• 1.3 ASO 逻辑程序的特点和优点14-16
• 第2章 不相关问题16-20
• 2.1 不相关问题16-18
• 2.2 例子18-20
• 第3章 消除不相关问题20-29
• 3.1 出现不相关问题的原因20-21
• 3.2 ε 等价和不相关21-22
• 3.3 回答集的四种偏好关系22-24
• 3.4 回答集的层级结构和最优解选择24-26
• 3.5 例子26-29
• 结语29-30
• 参考文献30-33
• 中英文对照表33-34
• 后记34

【共引文献】

中国期刊全文数据库 前10条

1 王洁;安雪妹;刘椿年;;扩展的加权约束逻辑程序在产品配置中的应用[J];北京工业大学学报;2012年01期

2 王以松;;关于扩充的逻辑程序(英文)[J];贵州大学学报(自然科学版);2006年03期

3 王以松;魏昆鹏;;带函数的正规逻辑程序设计系统(英文)[J];贵州大学学报(自然科学版);2009年02期

4 王以松;杨卓群;许欢;;汉密尔顿回路逻辑程序的两个结果(英文)[J];贵州大学学报(自然科学版);2011年03期

5 栾尚敏;戴国忠;;命题规则知识库更新的一种代数方法[J];中国科学(E辑:信息科学);2008年02期

6 ;A characterization of answer sets for logic programs[J];Science in China(Series F:Information Sciences);2007年01期

7 ;An algebraic approach to revising propositional rule-based knowledge bases[J];Science in China(Series F:Information Sciences);2008年03期

8 刘琼波,施军,尤晋元;分布式环境下的访问控制[J];计算机研究与发展;2001年06期

9 薛云皎;钱乐秋;彭鑫;徐如志;;智能主体在构件检索中的知识处理研究[J];计算机工程与应用;2006年08期

10 陈荣;孙吉贵;;逻辑程序中的否定问题与非单调逻辑[J];计算机科学;1997年06期

中国重要会议论文全文数据库 前1条

1 ;分层的扩充修正程序(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年

中国博士学位论文全文数据库 前10条

1 杨倩;面向语义Web的本体理论和工程方法研究[D];天津大学;2012年

2 黄河;语义Web中知识服务的研究[D];中国科学院研究生院（计算技术研究所）;2006年

3 薛云皎;基于智能主体的分布式构件库相关技术研究[D];复旦大学;2006年

4 王以松;逻辑程序的相容性与环公式研究[D];贵州大学;2007年

5 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

6 伍淳华;智能旅游目的地信息服务中效用的产生和体现机制研究[D];北京邮电大学;2008年

7 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年

8 文坤梅;基于本体知识库推理的语义搜索研究[D];华中科技大学;2007年

9 李鑫;Answer Set编程及其应用研究[D];电子科技大学;2009年

10 石莲;面向语义Web的本体和规则结合方法研究[D];吉林大学;2009年

中国硕士学位论文全文数据库 前4条

1 谢红梅;有序逻辑程序的回答集语义研究[D];南京航空航天大学;2005年

2 王孝贵;仿真服务机器人任务规划研究[D];安徽大学;2013年

3 李虎阳;一种基于回答集程序的多方协商方法研究[D];西南大学;2013年

4 夏杰;扩展的动态逻辑程序及其在产品信息个性化推荐中的应用[D];北京工业大学;2013年

，

本文编号：823449