回答集编程

（计算机科学技术）

回答集编程（answer set programming），计算机科学技术名词，目前最重要的非单调逻辑程序模式之一。其理论基础是稳定模型语义。