Terms for subject Artificial intelligence containing logic

English	Chinese
auto-epistemic logic	自动认识逻辑
automatic deduction in nonstandard logics	非标准逻辑中的自动演绎
axiom of modal logic	模态逻辑公理
binary logic	二元逻辑
default logic	默认逻辑
description logic	描述逻辑
four-value logic	四值逻辑
fuzzy vague logic	模糊逻辑
inductive logic programming	归纳逻辑规划
inexact logic	不精确逻辑
learning logic	学习逻辑
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 专家系统一种早期计算机学习程序
logics of belief	信任逻辑
modal logic	情态逻辑
modal temporal logic	模态时序逻辑
Modular logic grammar	模组化逻辑语法
monotone logic	单调逻辑
natural language logic	自然语言逻辑
non-monotone logic	非单调逻辑
proposition logic	命题逻辑
restricted logic grammar	受限逻辑语法
semantics of normal modal logic	正规模态逻辑的语义
system of logic	逻辑系统
temporal logic	时间逻辑
timing decision logic	时制决策逻辑
variable-free logic	无变量逻辑