应答集程序设计（answer set programmingASP）），理学-计算机科学技术-人工智能-机器学习-知识表示，为了解决经典的逻辑程序设计只能单调推理的缺陷，以稳定模型为基础，形成的一种新的逻辑程序设计方法。又称回答集编程。经典逻辑推理是单调的，当加入新知识只能添加新结论，而不能否定以前的结论，为了用机器模拟人类的智能化思维，所以非单调推理至关重要。迈克尔·格丰德（Michael Gelfond）和弗拉基米尔·里夫斯基兹（Vladimir Lifschitz）提出了一种稳定模型语义(Stable Model Semantic),在其得非单调推理成功解释了失败即否定，应答集程序设计应运而生。应答集模型计算，主要分两层，程序的实例化和计算回答集。第一层是指将一个非实例化的Answer Set Programming（ASP）输入求解器，对扩展的语法机构进行翻译；第二层输入是一个实例化程序，即命题逻辑程序，首先搜索一组命题原子，对其进行真假赋值，判断是否可满足，迭代，直至计算出所有应答集。ASP是一种无符号的数据库演绎接系统，支持析取和经典否定等扩展形式。