人工智能36.doc

word
填空(tiánkòng)：
人工智能(rén ɡōnɡ zhì nénɡ)的研究途径有心理(xīnlǐ)模拟、生理(shēnglǐ)模拟和行为(xíngwéi)模拟。
任意列举人工智能的四个应用性领域智能控制、智能管理、智能决策、智能仿真。
人工智能的根本技术包括表示、运算、搜索归纳技术、联想技术。
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是〔10〕。
谓词逻辑中，重言式〔tautlogy〕的值是〔11〕 。
设P是谓词公式，对于P的任何论域，存在P为真的情况，如此称P为〔12〕。
在著名的医疗专家系统MYCIN中规定，假如证据A的可信度CF〔A〕=0，如此意味着 13 ，CF〔A〕=-1，如此意味着〔14〕，CF〔A〕=1，如此意味着〔15〕。
谓词公式G是不可满足的，当且仅当对所有的解释〔16〕。
谓词公式与其子句集的关系是 〔17〕。
利用归结原理证明定理时，假如得到的归结式为〔18〕，如此结论成立。
假如C1=┐P∨Q，C2=P∨┐Q，如此C1和C2的归结式R〔C1，C2〕= 〔19〕。
假如C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，如此C1和C2的归结式R〔C1，C2〕= 〔20〕 。
有谓词公式G，置换δ，如此G·ε= 〔21〕 ，δ·ε= 〔22〕 。
有子句集S=｛P(x),P(y)｝，其MGU= 〔23〕 。
在归结原理中，几种常见的归结策略并且具有完备性的是 〔24〕， 〔25〕 ， 〔26〕。
状态图启发式搜索算法的特点是 〔27〕。
广度优先搜索算法中，OPEN表的数据结构实际是一个 〔28〕，深度优先搜索算法中，OPEN表的数据结构实际是一个 〔29〕 。
产生式系统有三局部组成 〔30〕， 〔31〕 和推理机。其中推理可分为 〔32〕 和 〔33〕。
专家系统的结构包含人机界面、 〔34〕 ， 〔35〕 ， 〔36〕 ， 〔37〕 和解释模块。
在MYCIN推理中，对证据的可信度CF〔A〕、CF〔A1〕、CF〔A2〕之间，规定如下关系：CF〔~A〕= 〔38〕 ，CF〔A1∧A2 〕= 〔39〕 ，CF〔A1∨A2 〕= 〔40〕 。
开发专家系统所要解决的根本问题有三个，那就是知识的获取、知识的表示和〔41〕，知识表示的方法主要有 〔42〕 ， 〔43〕 ， 〔44〕 和语义网络等，在语义网络表示知识时，所使用的推理方法有 〔45〕 和 〔46〕 。
MYCIN系统中使用不确定推理，规如此A→B由专家指定其可信度CF〔B，A〕，假如A真支持B真，如此指定CF〔B，A〕〔与零比拟〕应 〔47〕 ；假如A真不支持B真，如此指定CF〔B，A〕应 〔48〕 。
机器学习的含义是 〔49〕 。
自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确答复输入信息中的有关问题，而且还包括 〔50〕 、 〔51〕 、 〔52〕 。
设U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=，m(U)=，U的其它子集的根本概率分配函数m值均为0，如此Bel(A)= 〔53〕 ，Bel(B)= 〔54〕 。
证据理论中集合A的信任区间为[1，1]，如此其语意解释为 〔55〕 。
。
：。
，通过规如此库求得结论的产生式系统的推理方式是

31..在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词的辖域中与该量词的指导变元一样的变元称为，其他变元称为
word
32、假言推理〔A®B〕ÙAÞ，假言三段论〔A®B〕Ù〔B®C〕Þ
33、几种常用(chánɡ yònɡ)的归结策略：、支持集策略、线形(xiàn xínɡ)归结策略、输入归结策略、单元归结策略.
34、在诸如走迷宫、下棋、八数码游戏(yóuxì)等游戏中，常用到的一种人工智能的核心技术称为技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势(xíngshì)用图来表，这种图称为
(dāngzhōng)，通常用来表示启发性信息。
，最常用的一种分析技术是，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了
：A〔x〕®B〔x〕，如此前件是 ，后件是
，适合于表示结构性强的知识，而如此适合表示一些复杂的关系和联系的知识。不仅仅是一种知识表示方法，也是一种