Computer Science ›› 2015, Vol. 42 ›› Issue (Z6): 542-545.

Previous Articles     Next Articles

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!