稳定模型语义

来自术语
跳转至: 导航搜索

    用来定义带“失败即否定”规则的逻辑程序的一种声明语义。

英文名 stable model semantics



链接

Wikipedia https://en.wikipedia.org/wiki/stable_model_semantics