人工智能翻译

人工智能翻译

-

2023年3月20日发(作者：森林生态系统)名词解释1章人工智能Artificial Intelligence 感知perception 推理 reasoning 自适应 acting in complex environmen 自动定理证明ATP Automatic Theorem Proving2章推理规则Inference rules 命题演算propositional calculus 谓词演算 predicate calculus命题proposition 命题联结词connective 析取disjunction合取conjunction非negation 蕴涵implication等值equivalence合式公式well-formed formulas, wff 公式的析取范式DNF- disjunctive normal form 公式的合取范式CNF-conjunctive normal form谓词predicate 量词quantifier 全称量词universal quantifier 存在量词existential quantifier 辖域scope 谓词公式predicate formula 符号symbol 项term 前束范式prenex form 文字literal 子句clause 子句集set of clause 3章替换substitution 合一unification 最一般合一Most General Unifier－MGU 合一算法unification algorithm4章Lisp函数型语言Prolog Programming in Logic逻辑型语言 Smalltalk面向对象语言POPLOG混合型语言matching unification匹配合一constants常量段domains领域段database数据库段 predicates谓词段 clauses子句段goal目标段内部谓词internal predicate字符串处理string processing 动态数据库dynamic database递归recursion回溯backtracking5章知识表示knowledge representation框架表示语言FRL FrameRepresentation Language语义网络semantic networks产生式规则production rule6章节点node弧线arc有向图directed graph状态图state-space graph算符operator盲目搜索uninformed search又穷举式搜索 启发式搜索heuristically search宽度优先搜索breadth-first search深度优先搜索depth-first search深度界限depth bound估价函数evaluation functionreadchar(X). ：从键盘读取一个字符，约束给变量X。readln(X). ：从键盘读取一个字符串，约束给变量X。readint(X). ：从键盘读取一个整数，约束给变量X。readreal(X). ：从键盘读取一个实数，约束给变量X。（1）concat(string1, string2, string3).将字符串1和2连接后赋予字符串3（2）frontchar(string1, char, string2).字符串1首字符赋予字符char，其余部分赋予字符串2（3）fronttoken(string1, string2, string3).将字符串1中第一个空格以前的字符赋予字符串2，其余部分赋予字符串3。（4）frontstr(n, string, newstring1, newstring2).将字符串的前n个字符赋予新字符串1，其余部分赋予新字符串2。（1）asserta( fact ). 在数据库的同名谓词的事实前添加事实，如果内存中没有这样的事实，则添加在数据库开头。（2）assertz( fact ).在数据库的同名谓词的事实尾添加事实，如果内存中没有这样的事实，则添加在数据库尾部。3）retract( fact ). （4）save(filename).将当前数据库存到磁盘上。consult(filename).