Terms for subject Artificial intelligence containing specification

English	Chinese
behavioral specification of program	行为规范编程
component specification	组件规范说明
example specification	示例规范说明
feature specification default	特征描述默认值
formal specification	形式规约
formal top-level specification	形式化高级规约
inference specification	推理规范说明
information exchange specification	信息交换规范说明
Information Specification	ISPEC 结构用于存储对病人的会诊信息的知识结构
knowledge specification	知识规范说明
natural language specification	自然语言规范
predicate task specification	谓词任务说明
process specification	过程规范说明
refinement of program specification	编程规范求精
requirement specification	需求规范说明
task specification	任务说明
Z specification language	Z 定义语言