稳定模型语义-一流百科

稳定模型语义

稳定模型语义稳定模型的概念，或者说答案集，被用来定义以否定为失败的逻辑程序的声明性语义。这是逻辑编程中否定意义的几种标准方法之一，另外还有程序完成...