限定理论

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

    McCarthy提出的一种非单调推理系统,是择优型非单调系统的先驱,其核心在于对谓词或命题的解释附加极小化要求,即取其最小内涵,并且通过对象语言层的公式对极小化要求进行表示。

英文名 circumscription



链接

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