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