限定理论
(计算机科学技术)
限定理论(circumscription),计算机科学技术名词,麦卡锡(McCarthy)提出的一种非单调推理系统。是择优型非单调系统的先驱,其核心在于对谓词或命题的解释附加极小化要求,即取其最小内涵,并且通过对象语言层的公式对极小化要求进行表示。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】