人工智能Artificial Intelligence 感知perception 推理reasoning 学习learning 交流communicating 自适应acting in complex environments 符号主义Symbolism 连接主义Connectionism 行为主义actionism 具有智能的实体agent 自动定理证明ATP(Automatic Theorem Proving) 智能管理信息系统IMIS-Intelligent Management Information System 一种语言A language 推理规则Inference rules 命题演算propositional calculus 谓词演算predicate calculus 命题联结词connective 析取disjunction 合取conjunction 非negation 蕴涵implication 等值equivalence 合式公式well-formed formulas, wff 原子atom 永真蕴涵式valid implication 公式的析取范式DNF- disjunctive normal form 公式的合取范式CNF-conjunctive normal form 个体individual 谓词predicate 全称量词universal quantifier 存在量词existential quantifier 辖域scope 谓词公式predicate formula 符号symbol 项term 原子atom 前束范式prenex form 文字literal 子句clause 子句集set of clause 基例ground instangce 语义树sematic tree 替换substitution 合一unification 合一算法unification algorithm 最一般合一most general unifer-MGU 函数型语言Lisp 逻辑型语言Prolog—Programming in Logic 面向对象语言Smalltalk 混合型语言POPLOG 匹配合一matching unification 回溯backtracking 常量说明语句constants 域说明语句domains 数据库说明语句database 谓词说明语句predicates 目标语句goal 子句集clauses 内部谓词internal predicate 字符串处理string processing 动态数据库dynamic database 递归recursion 知识表示knowledge representation 框架frames 语义网络semantic networks 产生式规则production rule 专用的框架表示语言FRL Frame Representation Language 节点node 弧线arc 有向图directed graph 状态图state-space graph 状态state 算符operator 盲目搜索uninformed search 宽度优先搜索breadth-first search 深度优先搜索depth-first search 启发式搜索heuristically search 估价函数evaluation function 启发函数heuristic function 本文来源：https://www.wddqw.com/doc/6537214be45c3b3567ec8b5f.html