限定推理的英文翻译

中文:限定推理

英文翻译:【计】 circumscription reasoning