人工智能Artificial Intelligence双语翻译

【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《人工智能Artificial Intelligence双语翻译》，欢迎阅读！

人工智能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.wddqxz.cn/6537214be45c3b3567ec8b5f.html