计算机科学 ›› 2015, Vol. 42 ›› Issue (Z6): 542-545.

• 软件工程与数据库技术 • 上一篇    下一篇

一种改进的处理不一致的回答集程序的方法

路芳芳,王洁   

  1. 北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室 北京100124,北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室 北京100124
  • 出版日期:2018-11-14 发布日期:2018-11-14

Improved Method to Process Inconsistent Answer Set Program

LU Fang-fang and WANG Jie   

  • Online:2018-11-14 Published:2018-11-14

摘要: 回答集程序设计是一种描述性的程序设计范例,目前成为逻辑程序设计领域中一个很重要、很活跃的研究课题。在实际应用中,由于知识的不一致性,使得程序没有回答集。为解决该问题,朱涛等人提出了基于最小原理的思想,它可以很好地处理不一致的回答集程序,但是该方法会删除对用户来说很重要的知识,并且无法根据用户自己的偏好找到最满意的解。针对该问题,以加权逻辑程序为基础,使用加权定量的方法来处理不一致的回答集程序。通过为每一个规则分配权值,权值表示废除该规则所需的代价,废除规则代价之和最小的作为最优解,方便而简洁地解决了在无解情况下求解最满意解的问题。最后,与相关工作进行比较。

Abstract: Answer Set Programming(ASP) is a kind of declarative programming.At present,ASP has become an important and active research in the field of logic programming.In practical applications,one of the possibles in answer set programming is the absence of any solutions in case of inconsistent information.To remedy this,Zhu Tao presented a minimal principle based method to process inconsistency in ASP.However,this method will delete the most important information for users and can’t find the most satisfactory solution according to their own preferences.In order to solve this problem,based on weight logic program and using a weight quantitative method that associates a weight with each rule in a program,these weights define the “cost” of deleting a rule,the solution is preferred if it minimizes the sum of the weights of its deleted rules and after that,we compared this method with related work.

Key words: ASP,Knowledge representation,Inconsistency,Minimal principle,Weight quantitative

[1] Eiter T,et al.Answer Set Programming:A Primer[J].Reaso-ning Web:Semantic Technologies for Information Systems,2009,5689:40-110
[2] Gelfond M,Leone N.Logic programming and Knowledge representation.The A-Prolog perspective[J].Artificial In telligence,2002,138:3-38
[3] Baral C.Knowledge representation,reasoning and declarativeproblem solving[M].Cambridge Univ Press,2003
[4] 赵岭忠,张超,钱俊彦.基于ASP的CSP并发系统验证研究[J].计算机科学,2012,9(12):133-136
[5] Deng Wen-jun,Liang Yin-wen.Reason on UML Diagrams with Answer Set Programming[C]∥Proc.of International Conf.on Computer Science and Software Engineering.2008(1):205-209
[6] efránek J.Updates of argumentation frameworks[C]∥Pro-ceedings of the 14th International Workshop on NonMonotonic Reasoning.2012:1-9
[7] luukkala V,Niemel I.Enhancing a smart space with answer set programming [M]∥Semantic Web Rules.Springer Berlin Heidelberg,2010:89-103
[8] Balduccini M,Gelfond M.Logic programs with consistency-re-storing rules[C]∥International Symposium on Logical Formalization of Commonsense Reasoning,AAAI 2003 Spring Symposium Series.The AAAI press, 2003:9-18
[9] Van Nieuwenborgh D,Vermeir D.Preferred answer sets for ordered logic programs[J].Theory and Practice of Logic Programming,2006,6:107-167
[10] Zhu Tao,Zhang Zhi-zheng.A Processing Method for Inconsistent Answer Set Programs Based on Minimal Principle[M].2012:270-274
[11] D Nieuwenborgh V,Heymans S,Vermeir D.Weighted-AnswerSets and Applications in Intelligence Analysis[C]∥MProc of the 11th Int.l Conf on Logic for Programming.ArtificialIntelligence,and Reasoning,2006:169-183

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!