人工智能.doc

word
(ɡài shù)
知识(zhī shi)、信息、数据
数据：一组符号及其组合表示的信息(xìnxī)称为数据。
信息：对数据的解释(jiěshì)，是数据在特定场合下的具体含义。
信息(xìnxīA上放着积木块BOX，桌子B上是空的。ROBOT将把积木块BOX从桌子A转移到桌子B上。
TABLE(x)：x是桌子
EMPTYHANDED(x)：x双手是空的
BESIDE(x,y):x在y旁边
HOLD(x,y)：x拿着y
ON(u,v)：u在v上面
EMPTYTABLE(x)：桌子(zhuō zi)x上是空的
word
问题(wèntí)的初试状态：
BESIDE(ROBOT,ALCOVE)∧EMPTYHANDED(ROBOT)∧TABLE〔A〕∧TABLE〔B〕∧ON〔BOX,A〕∧EMPTYTABLE(B)
问题的目标(mùbiāo)状态：
BESIDE(ROBOT,ALCOVE)∧EMPTYHANDED(ROBOT)∧TABLE〔A〕∧TABLE〔B〕∧ON〔BOX,B〕∧EMPTYTABLE(A)
为了解决这个问题还要定义(dìngyì)表示动作的谓词：
GOTO(x,y)：从x处走到y处，动作(dòngzuò)谓词公式为：
BESIDE(ROBOT，x)∧GOTO(x,y)→BESIDE(ROBOT，y)
PICK-UP〔x〕：在x处拿起盒子，动作谓词公式为：
ON(BOX,x)∧TABLE(x)∧BESIDE(ROBOT，x)∧EMPTYHANDED(ROBOT)→HOLDS〔ROBOT，BOX〕
SET-DOWN〔x〕：在x处放下盒子，动作谓词公式为：
TABLE(x)∧BESIDE(ROBOT，x)∧HOLDS〔ROBOT，BOX〕→ON(BOX,x)∧EMPTYHANDED(ROBOT)
一阶谓词逻辑表示法的特点
自然性。接近(jiējìn)于自然语言
word
适宜(shìyí)于准确(zhǔnquè)知识(zhī shi)的表示〔谓词(wèi cí)公式的值只有真和假〕
易实现，容易转换成计算机的内部形式〔可以用Visual Prolog语言〕
有与之相应的推理方法〔归结原理〕
产生式表示方法
产生式〔production〕是美国数学家POST提出的一种称为POST机的计算模型，模型中的每一条规如此称为一个产生式，所以产生式表示法又称为产生式规如此表示法。
产生式可表示的知识种类及其根本形式
可表示的知识种类：事实性、规如此性知识以及它们的不确定度量
根本形式：P→Q或IF P THEN Q
产生式与蕴涵式的区别：蕴涵式表示的是准确知识，产生式表示的可以是准确知识也可以不是准确知识。在使用产生式的智能系统中，进展推理时不要求准确匹配，而蕴涵式前提条件的匹配总是要求准确匹配。蕴涵式有逻辑真值，而产生式没有。
用产生式进展知识的表示方法
word
确定性规如此(rúcǐ)知识的产生(chǎnshēng)式表示：P→Q或IF P THEN Q
不确定性规如此(rúcǐ)知识(zhī shi)的产生式表示：P→Q 〔可信度〕或IF P THEN Q 〔可信度〕。
确定性事实知识(zhī shi)的产生式表示〔三元组〕
〔对象，属性，值〕或〔关系，对象1，对象2〕例如：
〔雪，颜色，白色〕，〔Li，AGE，40〕,(FRIENDS,Li,Zhang)
不确定性事实知识的产生式表示：
四元组：
〔对象，属性，值，可信度〕或〔关系，对象1，对象2，可信度〕
例如：“老李年龄很可能是40岁〔〕〞，“老李和老张是朋友的可能性不大〔〕〞表示为
〔Li，AGE，40，〕 ，(FRIENDS,Li,Zhang，)
产生式系统的组成
产生式系统，由规如此库、综合数据库、推理机三局部组成〔规如此库和综合数据库合在一起称为知识库〕。
word
规如此库描述某领域知识的产生式集合，包含着将问题从初始状态转换解状态的那些变换规如此，规如此库是专家系统的核心，也是product system赖以进展问题求解的根底。规如此库可表成与或树形式。
综合数据库又称为事实库，当中(dāngzhōng)存放着初始事实、外部数据库输入的事实、中间结果事实和最后结果事实。当规如此(rúcǐ)集中(jízhōng)的规如此(rúcǐ)前件与事实(shìshí)库中的事实匹配时，该产生式被激活，并将推出的结论再放入事实库中，作为后面推理的事实。综合数据库的内容是变化的，动态的。
推理机是一个或一组程序，控制协调规如此库与综合数据库的