回答集程序设计_理论、方法、应用与研究.doc

 回答集程序设计:理论、方法、应用与研究# 翟仲毅，程渤** （北京邮电大学网络与交换技术国家重点实验室） 5 10 15 20 25 30 35 40 摘要：回答集程序设计(Answer set programming，ASP)是一种面向复杂搜索的声明型程序设 计方法。ASP 是综合非单调推理、演绎数据库和逻辑程序设计方法的一项研究成果，适合 于解决知识密集型问题。ASP 语法结构与 Prolog 类似，但其计算机制不同，主要借助于高 效的命题逻辑可满足求解器进行计算。本文对 ASP 的语法、语义、程序设计方法以及应用 分别进行了阐述。最后，对 ASP 的未来研究方向进行了讨论。 关键词：回答集程序设计；声明型程序设计方法；非单调推理 中图分类号：请查阅《中国图书馆分类法》 Answer Set Programming：Theories, Techniques, Applications and Researches Zhai Zhongyi, Cheng Bo (State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications) Abstract: Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on nonmonotonic reasoning, deductive database and logic programming, it is particularly useful in knowledge intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms of ASP are based on fast satisfiability solvers for propositional logic. In this paper, we introduce the syntax and semantic of ASP programs, the method for developing ASP programs and the application of ASP. Finally, we discuss the future direction of ASP. Key words: Answer set programming; Declarative Programming; Nonmonotonic Reasoning 0 引言 基于经典逻辑的程序设计语言对于实现智能化起到了基础性作用。但经典逻辑的推理方 式是单调的，当加入新的知识时只能增添新的结论，而不能否定以前的结论。为了用机器模 拟人类的智能化思维，非单调推理显得至关重要[1]。20 世纪 70 年代提出了缺省逻辑(Default Logic)[2]、自认知逻辑(Auto-epistemic Logic)[3]、划分理论(Circumscription)[4]等几种非单调推 理方法，由于缺少高效的开发工具和不具备模块化程序设计，这几种推理方法并没有得到广 泛应用。Gelfond 和 Lifschitz 于 1988 年提出了一种稳定模型语义(Stable Model Semantic)[5]， 其在非单调推理下成功地解释了失败即否定(Not as Failure)。以稳定模型为基础，90 年代末 形成了一种新的逻辑程序设计方法—回答集程序设计方法[6,7,8,9]。目前，回答集程序设计是 知识表示的有效方法，并成为非单调推理和逻辑程序设计研究领域的热点问题。 回答集程序设计的基本思想是：用一组逻辑程序来描述给定的问题，然后用 ASP 求解 器计算出回答集模型，得到的回答集即问题的解决途径。此过程类似于命题可满足性判定过 程，首先用命题理论把问题刻画出来，然后通过计算模块或推理模块把一组成真解释作为问 题的解决方法。回答集程序设计的语法结构与 Prolog 比较类似，但其计算机制与 Prolog 完 基金项目：教育部博士点基金（20100005120009） 作者简介：翟仲毅（1986-），男，博士生，主要研究方向：知识表示与推理、模型检测、Web 服务组合 通信联系人：程渤（1975-），男，副教