Terms for subject Artificial intelligence containing logic

English	Chinese
inductive logic programming	归纳逻辑规划
limited-logic system	受限逻辑系统
logic-based argumentation	基于逻辑的辩论
logic based expert system	基于逻辑的专家系统
logic-based language	基于逻辑的语言
logic-based method	基于逻辑的方法
logic database	逻辑数据库
logic machine architecture	逻辑机器构架
logic problem	逻辑问题
logic representation	逻辑表示
Logic Theorist	Logic Theorist 专家系统一种早期计算机学习程序
Modular logic grammar	模组化逻辑语法
restricted logic grammar	受限逻辑语法