人工智能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