人工智能2数学基础课件

第二章 人工智能的数学基础2.1命题逻辑与谓词逻辑2.2多值逻辑2.3概率论2.4模糊理论第二章 人工智能的数学基础2.1命题逻辑与谓词逻辑1AI中的逻辑可划分为两大类：经典逻辑 命题逻辑和一阶谓词逻辑。 特点：二值非经典逻辑 三值逻辑、多值逻辑、模糊逻辑、模态逻辑、时态逻辑等等。AI中的逻辑可划分为两大类：2非经典逻辑与经典逻辑平行的逻辑：多值、模糊逻辑 一些定理不成立，有新概念、新定理。对经典逻辑的扩充：模态、时态逻辑 一般承认经典逻辑的定理。一是扩充语言；二是扩充定理。 例如：模态逻辑增加了L(是必然的)算子和M(是可能的)算子。非经典逻辑与经典逻辑平行的逻辑：多值、模糊逻辑32.1命题逻辑与谓词逻辑2.1.1命题 定义2.1：命题是具有真假意义的语句。在命题逻辑中命题通常用大写英文字母表示。命题逻辑无法把客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。 例如：P＝”老李是小李的父亲”。 看不出老李和小李的关系。P＝”李白是诗人”，Q＝”杜甫也是诗人”。 无法形式地表示出二者的共同特点（都是诗人）。P=“每个人都是要死的”。

Q=“孔子是人”。

R=“孔子是要死的”。 写成命题形式:P∧Q→R(R是P,Q的逻辑结论?)2.1命题逻辑与谓词逻辑2.1.1命题42.1.2谓词（1）1.一个谓词分为谓词名与个体两个部分。谓词名刻画个体的性质、状态或个体间的关系。个体表示独立存在的事物或者概念。例如：Teacher(zhang)，Greater(5,3)谓词的一般形式P(x1,x2,…,xn)

其中，P是谓词名，x1,x2,…,xn是个体。谓词名通常用大写的英文字母表示，个体通常用小写的英文字母表示。2.1.2谓词（1）1.一个谓词分为谓词名与个体两个部分52.1.2谓词（2）2.个体可以是常量、变元或者函数。例如：

Less(x,5),x是一个变元。

Teacher(father(wang)),其中father(wang)是一个函数。3.谓词的语义由人指定。例如：

S(x)，可以表示x是一个人；也可以表示x是一朵花。2.1.2谓词（2）2.个体可以是常量、变元或者函数。62.1.2谓词（3）4.当谓词中的所有变元都用特定个体取代时，谓词就具有一个确定的真值：T或者F。谓词中包含的个体数目称为谓词的元数。例如：P(x)是一元谓词,P(x,y)是二元谓词,P(x1,x2,…,xn)是n元谓词。在谓词P(x1,x2,…,xn)中，若xi(i=1,…,n)都是个体常量、变元或者函数，则称为1阶谓词。若xi本身是一阶谓词，则P称为2阶谓词。余者类推，…5.个体变元的取值范围称为个体域。6.谓词与函数不同。 谓词是从个体到真值的映射。 函数是从个体到个体的映射。7.个体常量、变元、函数统称为“项”。2.1.2谓词（3）4.当谓词中的所有变元都用特定个体取71.连接词 非：¬；析取：∨；合取：∧；蕴含：→； 等价：； 谓词逻辑真值表2.1.3谓词公式（1）1.连接词2.1.3谓词公式（1）82.1.3谓词公式（2）2.量词 全称量词；存在量词例如：

P(x)表示x是正数；F(x,y)表示x与y是朋友。 表示个体域中任何x都是正数。 表示对于个体域中任何x，都存在y，x与y是朋友。 表示在个体域中存在x，与个体域中任何个体y都是朋友。2.1.3谓词公式（2）2.量词92.1.3谓词公式（3）3.谓词公式定义2.2按下述规则得到的合式公式：(1) 单个谓词是合式公式，称为原子公式；(2) 若A是合式公式，则也是合式公式；(3) 若A，B是合式公式，则 都是合式公式；(4) 若A是合式公式，x是任一个体变元，则 都是合式公式；(5) 运用有限步上述规则得到的公式是合式公式。 2.1.3谓词公式（3）3.谓词公式102.1.3谓词公式（4）辖域：位于量词后面的单个谓词或者用括弧括起来的合式公式称为量词的辖域。辖域内与量词中同名的变元称为约束变元，不受约束的变元称为自由变元。 例如：

更名：变元名称无关紧要。注意：对量词辖域内的变元更名时，必须把同名的约束变元都统一改成相同名字，且不能与辖域内自由变元同名。辖域内自由变元也不能改为与约束变元同名。 例如：

2.1.3谓词公式（4）辖域：位于量词后面的单个谓词或者用112.1.4谓词公式的解释（1）在命题逻辑中对各命题变元的一次真值指派称为命题公式的一个解释。对于谓词逻辑： 首先考虑个体常量和函数在个体域中的取值，然后为谓词分别指派真值。由于存在多种组合情况，所以一个谓词公式的解释可能有多个。对每一个解释，谓词公式都可求出一个真值。2.1.4谓词公式的解释（1）在命题逻辑中对各命题变元的一122.1.4谓词公式的解释（2）定义2.3设D为谓词公式P的个体域，对P中个体常量、函数和谓词按如下规定赋值：为每个个体常量指派D中一个元素；为每个n元函数指派一个Dn→D的映射，Dn={(x1,…,xn)|x1,…,xn∈D}为每个n元谓词指派一个Dn→{F,T}的映射。则称这些指派为公式P在D上的一个解释。2.1.4谓词公式的解释（2）定义2.3设D为谓词公式P132.1.4谓词公式的解释（3）例2.1设D＝{1,2}，求公式 在D上的一个解释及在该解释下的真值。解：在A中没有个体常量和函数，所以直接为谓词指派真值。设为解释1：P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=F

当x＝1时，y＝1为T； 当x＝2时，y＝1为T；解释2：P(1,1)=T,P(1,2)=T,P(2,1)=F,P(2,2)=F

当x＝1时，y＝1,2为T； 当x＝2时，y＝1,2为F；因此不存在y，则A＝F2.1.4谓词公式的解释（3）例2.1设D＝{1,2}，142.1.4谓词公式的解释（4）例2.2D={1,2},解：解释：

b=1,f(1)=2,f(2)=1,P(1)=F,P(2)=T,Q(1,1)=T,Q(2,1)=F,Q(*,2)不可能。当x=1时，P(x)=F，公式真值为T；当x=2时，P(x)=T,Q(f(x),b)=T，公式真值为T；所以在此解释下，B＝T。真值是针对某一个解释而言的。2.1.4谓词公式的解释（4）例2.2D={1,2},152.1.5谓词公式的永真性、可满足性、不可满足性定义2.4如果谓词公式P对个体域D上的任何一个解释都得真值T，则称P在D上是永真的；如果P在每个非空个体域上均永真，则称P永真。定义2.5对谓词公式P，如果至少存在一个解释使P在此解释下的真值为T则称公式P是可满足的。谓词公式的可满足性又称为相容性。定义2.6如果谓词公式P对于个体域D上任何一个解释都取得真值F，则称P在D上是永假的；如果P在每个非空个体域上均永假，则称P永假。谓词公式的永假性又称为不可满足性或不相容性。2.1.5谓词公式的永真性、可满足性、不可满足性定义2.4162.1.6谓词公式的等价性与永真蕴含定义2.7设P、Q都是D上的谓词公式，若对D上任何一个解释，P与Q都有相同的真值，则称P和Q在D上等价。如果D是任意个体域，则称P和Q是等价的，记为。定义2.8对于谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提，记为 。2.1.6谓词公式的等价性与永真蕴含定义2.7设P、Q都17一些重要的等价式一些重要的等价式18一些重要的永真蕴含式一些重要的永真蕴含式19推理规则 上述等价式和永真蕴含式可以作为推理规则。除此之外，谓词逻辑中如下一些推理规则：P规则：在推理的任何步骤都可以引入前提。T规则：推理时，如果前面步骤中有一个或者多个公式永真蕴含公式S，则可把S引入推理过程中。CP规则：如果能从R和前提集合中推理S来，则可从前提集合推理R→S。反证法： ，当且仅当 。即Q为P的逻辑结论，当且仅当 是不可满足的。定理2.1:Q为P1,P2,…,Pn的逻辑结论，当且仅当 是不可满足的。推理规则 上述等价式和永真蕴含式可以作为推理规则。除此之外，202.2多值逻辑（1）用T(A)表示命题A为真的程度。0≤T(A)≤1多值逻辑也定义了用连接词表示的逻辑运算。T(¬A)=1-T(A)T(A∧B)=min{T(A),T(B)}T(A∨B)=max{T(A),T(B)}T(A→B)=min{1,1-T(A)+T(B)}T(AB)=1-|T(A)-T(B)|2.2多值逻辑（1）用T(A)表示命题A为真的程度。212.2多值逻辑（2）其它的T(A→B)定义：Rb:T(A→B)=min{1-T(A),T(B)}Rc:T(A→B)=min{T(A),T(B)}Rp:T(A→B)=T(A)×T(B)R*:T(A→B)=1-T(A)+T(A)×T(B)Rst:T(A→B)=max{1-T(A),T(B)}……见教材P252.2多值逻辑（2）其它的T(A→B)定义：22三值逻辑关于第三个真值：Kleene：强三值逻辑认为是“不能判定”。条件成熟则非真即假。Luckasiewicz：认为是“不确定”，即不真也不假，也许不具有真值。Bochvar：“无意义”，非真非假。为了解决语义悖论。三值逻辑真值表见教材P26。多值逻辑只是用穷举中介的方法表示真值的过渡性，把中介看作彼此独立、界限分明的对象，没有反映出中介之间的相互渗透，因而不能完全解决不确定性知识的表示问题。三值逻辑关于第三个真值：232.3概率论2.3.1随机现象2.3.2样本空间与随机事件样本空间： 一个可能的实验结果为一个样本点，样本点的全体构成的集合称为样本空间。随机事件： 要考察的由一些样本点构成的集合称为随机事件。事件发生了：出现了样本点集合中的一个元素。必然事件：样本点全体构成的集合(即样本空间)所表示的事件。不可能事件：Φ基本事件：单点集合事件的关系包含、并、交、差、逆2.3概率论2.3.1随机现象242.3.3事件的概率（1）古典概型定义2.9设E为古典概型，样本空间共有n个基本事件，事件A中含有m个基本事件，则称P(A)=m/n为事件A的概率。例如：D＝{1,2,3,4,5,6,7}，A={取数字3的倍数}，B={取偶数}。解：基本事件有7个，n＝7。 对于事件A，m=2，所以P(A)=m/n=2/7

对于事件B，m=3，所以P(B)=m/n=3/72.3.3事件的概率（1）古典概型252.3.3事件的概率（2）2.统计概率 当试验次数足够多时，一个事件(A)发生的次数m与试验的总次数n之比：fn(A)=m/n

在一个常数p(0≤p≤1)附近摆动，并稳定于p。定义2.10在同一组条件下所作的大量重复试验中，事件A出现的频率fn(A)总是在[0,1]上的一个确定常数p附近摆动，并且稳定于p，则称p为事件A的概率。即P(A)=p2.3.3事件的概率（2）2.统计概率262.3.3事件的概率（3）3.概率的性质0≤P(A)≤1P(D)=1,P(Φ)=0设事件A1,A2,…,Ak(k≤n)是两两互不相容的事件，即有Ai∩Aj=Φ(i≠j)，则P(¬A)=1-P(A)P(A∪B)=P(A)+P(B)-P(AB)如果 ，则P(A-B)=P(A)-P(B)2.3.3事件的概率（3）3.概率的性质272.3.4条件概率（1）如果在事件B发生的条件下考虑事件A发生的概率，就称它为事件A的条件概率，记为P(A|B)。定义2.11设A，B是两个事件，P(B)>0,则称 为在事件B已发生的条件下事件A的条件概率。条件概率中的条件缩小了样本空间，即条件概率是在条件所确定的新空间中求A∩B的概率。2.3.4条件概率（1）如果在事件B发生的条件下考虑事件A282.3.4条件概率（2）例2.6对于例2.5，求解在事件B发生的条件下，事件A发生的条件概率。解：事件B是已经发生的事件，即取到2；取到4；取到6

中必有一个出现。由于事件A是“取3的倍数”，而在上述三个事件中只有一种可能使A发生。所以在B发生的条件下事件A的概率是1/3。2.3.4条件概率（2）例2.6对于例2.5，求解在事件292.3.5全概率公式与Bayes公式（1）全概率公式定理2.2设事件A1,A2,…,An，满足：(1)两两互不相容，即当i≠j时，有Ai∩Aj=Φ；(2)P(Ai)>0(1≤i≤n)(3)则对任何事件B有下式成立：2.3.5全概率公式与Bayes公式（1）全概率公式302.3.5全概率公式与Bayes公式（2）2.Bayes公式定理2.3条件同定理2.2。则对任何事件B有下式成立：2.3.5全概率公式与Bayes公式（2）2.Bayes312.4模糊理论1965年由L.A.Zadeh等人提出。2.4.1模糊性随机性：事物本身含义明确，但条件不明而不可预知。模糊性：事物本身是模糊的。例如：青年、老年；高低；2.4.2集合与特征函数定义2.12设A是论域U上的一个集合，对于任意u∈U，令 则称CA(u)为集合A的特征函数。特征函数CA(u)在u=u0处的取值CA(u0)称为u0对A的隶属度。集合A与其特征函数可以认为是等价的。A={u|CA(u)=1}2.4模糊理论1965年由L.A.Zadeh等人提出。322.4.3模糊集与隶属函数（1）确定性概念可用普通集合表示。例如“奇数”在论域U={1,2,3,4,5}上。那么如何表示模糊性概念？例如“大”，“小”。模糊集的思路：把特征函数的取值范围从{0,1}推广到[0,1]上。定义2.13设U是论域，μA是把任意u∈U映射为[0,1]上某个值的函数，即μA:U→[0,1]或者u→μA(u)

则称μA为定义在U上的一个隶属函数，由μA(u)(u∈U)所构成的集合A称为U上的一个模糊集，μA(u)称为μ对A的隶属度。2.4.3模糊集与隶属函数（1）确定性概念可用普通集合表示332.4.3模糊集与隶属函数（2）模糊集的例子。例2.7论域U={1,2,3,4,5}，用模糊集表示“大”和“小”。解：设A、B分别表示“大”与“小”的模糊集，μA

，μB分别为相应的隶属函数。A={0,0,0.1,0.6,1}B={1,0.5,0.01,0,0}其中：μA(1)=0,μA(2)=0,μA(3)=0.1,μA(4)=0.6,μA(5)=1 μB(1)=1,μB(2)=0.5,μB(3)=0.01,μB(4)=0,μB(5)=02.4.3模糊集与隶属函数（2）模糊集的例子。342.4.3模糊集与隶属函数（3）例2.8论域U={高山，刘水，秦声}，用模糊集A表示“学习好”这个概念。解：先给出三人的平均成绩：高山：98分，刘水：90分，秦声：86分上述成绩除以100后，就分别得到了各自对“学习好”的隶属度：μA(高山)=0.98,μA(刘水)=0.90,μA(秦声)=0.86则模糊集A为：A={0.98,0.90,0.86}2.4.3模糊集与隶属函数（3）例2.8论域U={高山，352.4.4模糊集的表示方法（1）若论域离散且有限，则模糊集A可表示为：A={μA(u1),μA(u2),…,μA(un)}也可写为：A=μA(u1)/u1+μA(u2)/u2+…+μA(un)/un或者：A={μA(u1)/u1,μA(u2)/u2,…,μA(un)/un}A={(μA(u1),u1),(μA(u2),u2),…,(μA(un),un)}隶属度为0的元素可以不写。例如：A=1/u1+0.7/u2+0/u3+0.4/u4 =1/u1+0.7/u2+0.4/u42.4.4模糊集的表示方法（1）若论域离散且有限，则模糊集362.4.4模糊集的表示方法（2）若论域是连续的，则模糊集可用实函数表示。例如： 以年龄为论域U=[0,100]，“年轻”和“年老”这两个概念可表示为：2.4.4模糊集的表示方法（2）若论域是连续的，则模糊集可372.4.4模糊集的表示方法（3）无论论域U有限还是无限，离散还是连续，扎德用如下记号作为模糊集A的一般表示形式:U上的全体模糊集，记为：F(U)={A|μA:U→[0,1]}2.4.4模糊集的表示方法（3）无论论域U有限还是无限，离382.4.5模糊集的运算（1）模糊集上的运算主要有：包含、交、并、补等等。1.包含运算定义2.14设A，B∈F(U)，若对任意u∈U，都有μB(u)≤μA(u)成立，则称A包含B，记为 。2.交、并、补运算定义2.15设A，B∈F(U)，以下为扎德算子2.4.5模糊集的运算（1）模糊集上的运算主要有：包含、交392.4.5模糊集的运算（2）例2.9设U={u1,u2,u3}，A=0.3/u1+0.8/u2+0.6/u3B=0.6/u1+0.4/u2+0.7/u3则：A∩B=(0.3∧0.6)/u1+(0.8∧0.4)/u2+(0.6∧0.7)/u3 =0.3/u1+0.4/u2+0.6/u3A∪B=(0.3∨0.6)/u1+(0.8∨0.4)/u2+(0.6∨0.7)/u3 =0.6/u1+0.8/u2+0.7/u3¬A=(1-0.3)/u1+(1-0.8)/u2+(1-0.6)/u3 =0.7/u1+0.2/u2+0.4/u32.4.5模糊集的运算（2）例2.9设U={u1,u2,402.4.5模糊集的运算（3）例2.10A表示“年老”的模糊集，B表示“年轻”的模糊集。则：2.4.5模糊集的运算（3）例2.10A表示“年老”的模412.4.5模糊集的运算（4）其它的模糊集运算：有界和算子和有界积算子概率和算子与实数积算子·爱因斯坦和算子与爱因斯坦积算子2.4.5模糊集的运算（4）其它的模糊集运算：422.4.6模糊集的λ水平截集（1）λ水平截集是把模糊集合转化成普通集合的一个重要概念。定义2.16设A∈F(U),λ∈[0,1]，则称普通集合Aλ={u|u∈U,μA(u)≥λ}为A的一个λ水平截集，λ称为阈值或置信水平。λ水平截集有如下性质：(1)设A，B∈F(U)，则：

(A∪B)λ=Aλ∪Bλ (A∩B)λ=Aλ∩Bλ(2)若λ1,λ2∈[0,1]，且λ1<λ2

，则：阈值λ越大，其水平截集Aλ越小，当λ＝1时，Aλ最小，称它为模糊集的核。2.4.6模糊集的λ水平截集（1）λ水平截集是把模糊集合转432.4.6模糊集的λ水平截集（2）定义2.17设A∈F(U)

，则称KerA={u|u∈U,μA(u)=1}SuppA={u|u∈U,μA(u)>0}

分别为模糊集A的核及支集。当KerA≠Φ时，称A为正规模糊集。2.4.6模糊集的λ水平截集（2）定义2.17设A∈F(442.4.6模糊集的λ水平截集（3）例2.11设模糊集A=0.3/u1+0.7/u2+1/u3+0.6/u4+0.5/u5

若λ分别为1,0.6,0.5,0.3，则相应的λ水平截集为：

A1={u3} A0.6={u2,u3,u4} A0.5={u2,u3,u4,u5} A0.3={u1,u2,u3,u4,u5}A的核及支集分别是：

KerA={u3} SuppA={u1,u2,u3,u4,u5}2.4.6模糊集的λ水平截集（3）例2.11设模糊集452.4.7模糊度（1）模糊度时模糊集的模糊程度的一种度量。定义2.18设A∈F(U)，d是定义在F(U)上的一个实函数，如果它满足以下条件：(1)对任意A∈F(U)，有d(A)∈[0,1];(2)当且仅当A是一个普通集合时，d(A)=0；(3)若A的隶属函数μA(u)≡0.5，则d(A)=1;(4)若A,B∈F(U),且对任意u∈U,满足μB(u)≤μA(u)≤0.5或者μB(u)≥μA(u)≥0.5则有d(B)≤d(A)(5)对任意A∈F(U)

，有d(A)=d(¬A)则称d为定义在F(U)上的一个模糊度，d(A)称为A的模糊度。2.4.7模糊度（1）模糊度时模糊集的模糊程度的一种度量。462.4.7模糊度（2）2.模糊度的直观含义是[0,1]上一个数；普通集合的模糊度是0，表示所刻画的概念不模糊；越靠近0.5就越模糊，当μA(u)＝0.5时最模糊；模糊集A与其补集¬A有相同的模糊度。2.4.7模糊度（2）2.模糊度的直观含义472.4.7模糊度（3）3.计算模糊度的方法海明(Haming)模糊度

其中，μA0.5(ui)是A的λ＝0.5截集的隶属函数。由于A0.5是一个普通集合，所以μA0.5(ui)实际上是特征函数。欧几里德(Euclid)模糊度2.4.7模糊度（3）3.计算模糊度的方法482.4.7模糊度（4）明可夫斯基(Minkowski)模糊度香农模糊度其中S(x)是定义在[0,1]上的香农函数，即2.4.7模糊度（4）明可夫斯基(Minkowski)模糊492.4.7模糊度（5）例2.12设U={u1,u2,u3,u4}A=0.8/u1+0.9/u2+0.1/u3+0.6/u4则2.4.7模糊度（5）例2.12设U={u1,u2,u3502.4.8模糊数（1）模糊的数量，例如：500人左右，大约0.6定义2.19如果实数域R上的模糊集A的隶属函数μA(u)在R上连续且具有如下性质：(1)A是凸模糊集，即对任意λ∈[0,1],Aλ是闭区间；(2)A是正规模糊集，即存在u∈R，使μA(u)＝1。则称A为一个模糊数。直观上模糊数的隶属函数图形是单峰的，且在峰顶使隶属度达到1。2.4.8模糊数（1）模糊的数量，例如：500人左右，大约512.4.8模糊数（2）一个模糊数的例子。“6左右”2.4.8模糊数（2）一个模糊数的例子。522.4.8模糊数（3）2.模糊数的运算定义2.20设θ是实数域R上的一种二元运算，A和B为任意的模糊数，则模糊数间的运算定义为两个模糊数之间的运算，实际上是对应元素的隶属度先取极小，再取极大。2.4.8模糊数（3）2.模糊数的运算532.4.8模糊数（4）例2.13设有3左右=0.5/2+1/3+0.6/42左右=0.4/1+1/2+0.7/32.4.8模糊数（4）例2.13设有542.4.8模糊数（5）续上例模糊数乘或者除的结果可能不是一个模糊数。2.4.8模糊数（5）续上例552.4.9模糊关系及其合成（1）模糊关系定义2.21Ai是Ui(i=1,2,…,n)上的模糊集，则称 为A1,A2,…,An的笛卡儿乘积，它是U1×U2×…×Un上的一个模糊集。定义2.22在U1×U2×…×Un上一个n元模糊关系R是指以U1×U2×…×Un为论域的一个模糊集，记为2.4.9模糊关系及其合成（1）模糊关系562.4.9模糊关系及其合成（2）例2.15U={张三，李四，王五}V={篮球，排球，足球，乒乓球}U×V上的一个模糊关系R2.4.9模糊关系及其合成（2）例2.15U={张三，李572.4.9模糊关系及其合成（3）一般地说，当U和V都是有限论域时，其模糊关系R可用一个模糊矩阵表示。U={u1,u2,…,um}V={v1,v2,…,vn}则U×V上的模糊关系为2.4.9模糊关系及其合成（3）一般地说，当U和V都是有限582.4.9模糊关系及其合成（4）例2.16设U=V={u1,u2,u3},R是“信任关系”，可有2.4.9模糊关系及其合成（4）例2.16设U=V={u592.4.9模糊关系及其合成（5）2.模糊关系的合成定义2.23设R1与R2分别是U×V与V×W上的两个模糊关系，则R1与R2的合成是指从U到W的一个模糊关系，记为R1°R2其隶属函数为2.4.9模糊关系及其合成（5）2.模糊关系的合成602.4.9模糊关系及其合成（6）例2.17设有两个模糊关系则R1与R2的合成是合成法则类似与矩阵乘法。2.4.9模糊关系及其合成（6）例2.17设有两个模糊关612.4.10模糊变换（1）定义2.24设A={μA(u1),μA(u2),…,μA(un)}是论域U上的模糊集，R是U×V上的模糊关系，则A°R=B

称为模糊变换。例2.18设A={0.2,0.5,0.3}2.4.10模糊变换（1）定义2.24设A={μA(u1622.4.10模糊变换（2）用模糊变换可进行模糊推理例2.19(满汉全席，食神)，U={u1(色),u2(香),u3(味),}，V={v1(优),v2(良),v3(中),v4(差)}对某道菜可得出其模糊关系矩阵R评判因素模糊向量A={0.3(色),0.3(香),0.4(味)}，则，最终结果为：2.4.10模糊变换（2）用模糊变换可进行模糊推理632.4.11实数域上几种常用的隶属函数（1）正态分布升正态分布降正态分布2.4.11实数域上几种常用的隶属函数（1）正态分布642.4.11实数域上几种常用的隶属函数（2）哥西分布升哥西分布降哥西分布2.4.11实数域上几种常用的隶属函数（2）哥西分布652.4.12建立隶属函数的方法（1）模糊统计法对比排序法专家评判法基本概念扩充法神经网络自适应寻找聚类法2.4.12建立隶属函数的方法（1）模糊统计法662.4.12建立隶属函数的方法（2）例2.20设U={1,2,…,10}，已知： 大=0.2/4+0.4/5+0.6/6+0.8/7+1/8+1/9+1/10

小=1/1+0.8/2+0.6/3+0.4/4+0.2/5则，不大也不小=不大∩不小=0.2/2+0.4/3+0.6/4+0.6/5+0.4/6+0.2/7很大=μ大2(u)=0.22/4+0.42/5+0.62/6+0.82/7+12/8+12/9+12/10=0.04/4+0.16/5+0.36/6+0.64/7+1/8+1/9+1/10有点大=μ大0.5(u)=0.20.5/4+0.40.5/5+0.60.5/6+0.80.5/7+10.5/8+10.5/9+10.5/10=0.45/4+0.63/5+0.77/6+0.89/7+1/8+1/9+1/102.4.12建立隶属函数的方法（2）例2.20设U={167精品课件！精品课件！68精品课件！精品课件！69完谢谢完70第二章 人工智能的数学基础2.1命题逻辑与谓词逻辑2.2多值逻辑2.3概率论2.4模糊理论第二章 人工智能的数学基础2.1命题逻辑与谓词逻辑71AI中的逻辑可划分为两大类：经典逻辑 命题逻辑和一阶谓词逻辑。 特点：二值非经典逻辑 三值逻辑、多值逻辑、模糊逻辑、模态逻辑、时态逻辑等等。AI中的逻辑可划分为两大类：72非经典逻辑与经典逻辑平行的逻辑：多值、模糊逻辑 一些定理不成立，有新概念、新定理。对经典逻辑的扩充：模态、时态逻辑 一般承认经典逻辑的定理。一是扩充语言；二是扩充定理。 例如：模态逻辑增加了L(是必然的)算子和M(是可能的)算子。非经典逻辑与经典逻辑平行的逻辑：多值、模糊逻辑732.1命题逻辑与谓词逻辑2.1.1命题 定义2.1：命题是具有真假意义的语句。在命题逻辑中命题通常用大写英文字母表示。命题逻辑无法把客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。 例如：P＝”老李是小李的父亲”。 看不出老李和小李的关系。P＝”李白是诗人”，Q＝”杜甫也是诗人”。 无法形式地表示出二者的共同特点（都是诗人）。P=“每个人都是要死的”。

Q=“孔子是人”。

R=“孔子是要死的”。 写成命题形式:P∧Q→R(R是P,Q的逻辑结论?)2.1命题逻辑与谓词逻辑2.1.1命题742.1.2谓词（1）1.一个谓词分为谓词名与个体两个部分。谓词名刻画个体的性质、状态或个体间的关系。个体表示独立存在的事物或者概念。例如：Teacher(zhang)，Greater(5,3)谓词的一般形式P(x1,x2,…,xn)

其中，P是谓词名，x1,x2,…,xn是个体。谓词名通常用大写的英文字母表示，个体通常用小写的英文字母表示。2.1.2谓词（1）1.一个谓词分为谓词名与个体两个部分752.1.2谓词（2）2.个体可以是常量、变元或者函数。例如：

Less(x,5),x是一个变元。

Teacher(father(wang)),其中father(wang)是一个函数。3.谓词的语义由人指定。例如：

S(x)，可以表示x是一个人；也可以表示x是一朵花。2.1.2谓词（2）2.个体可以是常量、变元或者函数。762.1.2谓词（3）4.当谓词中的所有变元都用特定个体取代时，谓词就具有一个确定的真值：T或者F。谓词中包含的个体数目称为谓词的元数。例如：P(x)是一元谓词,P(x,y)是二元谓词,P(x1,x2,…,xn)是n元谓词。在谓词P(x1,x2,…,xn)中，若xi(i=1,…,n)都是个体常量、变元或者函数，则称为1阶谓词。若xi本身是一阶谓词，则P称为2阶谓词。余者类推，…5.个体变元的取值范围称为个体域。6.谓词与函数不同。 谓词是从个体到真值的映射。 函数是从个体到个体的映射。7.个体常量、变元、函数统称为“项”。2.1.2谓词（3）4.当谓词中的所有变元都用特定个体取771.连接词 非：¬；析取：∨；合取：∧；蕴含：→； 等价：； 谓词逻辑真值表2.1.3谓词公式（1）1.连接词2.1.3谓词公式（1）782.1.3谓词公式（2）2.量词 全称量词；存在量词例如：

P(x)表示x是正数；F(x,y)表示x与y是朋友。 表示个体域中任何x都是正数。 表示对于个体域中任何x，都存在y，x与y是朋友。 表示在个体域中存在x，与个体域中任何个体y都是朋友。2.1.3谓词公式（2）2.量词792.1.3谓词公式（3）3.谓词公式定义2.2按下述规则得到的合式公式：(1) 单个谓词是合式公式，称为原子公式；(2) 若A是合式公式，则也是合式公式；(3) 若A，B是合式公式，则 都是合式公式；(4) 若A是合式公式，x是任一个体变元，则 都是合式公式；(5) 运用有限步上述规则得到的公式是合式公式。 2.1.3谓词公式（3）3.谓词公式802.1.3谓词公式（4）辖域：位于量词后面的单个谓词或者用括弧括起来的合式公式称为量词的辖域。辖域内与量词中同名的变元称为约束变元，不受约束的变元称为自由变元。 例如：

更名：变元名称无关紧要。注意：对量词辖域内的变元更名时，必须把同名的约束变元都统一改成相同名字，且不能与辖域内自由变元同名。辖域内自由变元也不能改为与约束变元同名。 例如：

2.1.3谓词公式（4）辖域：位于量词后面的单个谓词或者用812.1.4谓词公式的解释（1）在命题逻辑中对各命题变元的一次真值指派称为命题公式的一个解释。对于谓词逻辑： 首先考虑个体常量和函数在个体域中的取值，然后为谓词分别指派真值。由于存在多种组合情况，所以一个谓词公式的解释可能有多个。对每一个解释，谓词公式都可求出一个真值。2.1.4谓词公式的解释（1）在命题逻辑中对各命题变元的一822.1.4谓词公式的解释（2）定义2.3设D为谓词公式P的个体域，对P中个体常量、函数和谓词按如下规定赋值：为每个个体常量指派D中一个元素；为每个n元函数指派一个Dn→D的映射，Dn={(x1,…,xn)|x1,…,xn∈D}为每个n元谓词指派一个Dn→{F,T}的映射。则称这些指派为公式P在D上的一个解释。2.1.4谓词公式的解释（2）定义2.3设D为谓词公式P832.1.4谓词公式的解释（3）例2.1设D＝{1,2}，求公式 在D上的一个解释及在该解释下的真值。解：在A中没有个体常量和函数，所以直接为谓词指派真值。设为解释1：P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=F

当x＝1时，y＝1为T； 当x＝2时，y＝1为T；解释2：P(1,1)=T,P(1,2)=T,P(2,1)=F,P(2,2)=F

当x＝1时，y＝1,2为T； 当x＝2时，y＝1,2为F；因此不存在y，则A＝F2.1.4谓词公式的解释（3）例2.1设D＝{1,2}，842.1.4谓词公式的解释（4）例2.2D={1,2},解：解释：

b=1,f(1)=2,f(2)=1,P(1)=F,P(2)=T,Q(1,1)=T,Q(2,1)=F,Q(*,2)不可能。当x=1时，P(x)=F，公式真值为T；当x=2时，P(x)=T,Q(f(x),b)=T，公式真值为T；所以在此解释下，B＝T。真值是针对某一个解释而言的。2.1.4谓词公式的解释（4）例2.2D={1,2},852.1.5谓词公式的永真性、可满足性、不可满足性定义2.4如果谓词公式P对个体域D上的任何一个解释都得真值T，则称P在D上是永真的；如果P在每个非空个体域上均永真，则称P永真。定义2.5对谓词公式P，如果至少存在一个解释使P在此解释下的真值为T则称公式P是可满足的。谓词公式的可满足性又称为相容性。定义2.6如果谓词公式P对于个体域D上任何一个解释都取得真值F，则称P在D上是永假的；如果P在每个非空个体域上均永假，则称P永假。谓词公式的永假性又称为不可满足性或不相容性。2.1.5谓词公式的永真性、可满足性、不可满足性定义2.4862.1.6谓词公式的等价性与永真蕴含定义2.7设P、Q都是D上的谓词公式，若对D上任何一个解释，P与Q都有相同的真值，则称P和Q在D上等价。如果D是任意个体域，则称P和Q是等价的，记为。定义2.8对于谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提，记为 。2.1.6谓词公式的等价性与永真蕴含定义2.7设P、Q都87一些重要的等价式一些重要的等价式88一些重要的永真蕴含式一些重要的永真蕴含式89推理规则 上述等价式和永真蕴含式可以作为推理规则。除此之外，谓词逻辑中如下一些推理规则：P规则：在推理的任何步骤都可以引入前提。T规则：推理时，如果前面步骤中有一个或者多个公式永真蕴含公式S，则可把S引入推理过程中。CP规则：如果能从R和前提集合中推理S来，则可从前提集合推理R→S。反证法： ，当且仅当 。即Q为P的逻辑结论，当且仅当 是不可满足的。定理2.1:Q为P1,P2,…,Pn的逻辑结论，当且仅当 是不可满足的。推理规则 上述等价式和永真蕴含式可以作为推理规则。除此之外，902.2多值逻辑（1）用T(A)表示命题A为真的程度。0≤T(A)≤1多值逻辑也定义了用连接词表示的逻辑运算。T(¬A)=1-T(A)T(A∧B)=min{T(A),T(B)}T(A∨B)=max{T(A),T(B)}T(A→B)=min{1,1-T(A)+T(B)}T(AB)=1-|T(A)-T(B)|2.2多值逻辑（1）用T(A)表示命题A为真的程度。912.2多值逻辑（2）其它的T(A→B)定义：Rb:T(A→B)=min{1-T(A),T(B)}Rc:T(A→B)=min{T(A),T(B)}Rp:T(A→B)=T(A)×T(B)R*:T(A→B)=1-T(A)+T(A)×T(B)Rst:T(A→B)=max{1-T(A),T(B)}……见教材P252.2多值逻辑（2）其它的T(A→B)定义：92三值逻辑关于第三个真值：Kleene：强三值逻辑认为是“不能判定”。条件成熟则非真即假。Luckasiewicz：认为是“不确定”，即不真也不假，也许不具有真值。Bochvar：“无意义”，非真非假。为了解决语义悖论。三值逻辑真值表见教材P26。多值逻辑只是用穷举中介的方法表示真值的过渡性，把中介看作彼此独立、界限分明的对象，没有反映出中介之间的相互渗透，因而不能完全解决不确定性知识的表示问题。三值逻辑关于第三个真值：932.3概率论2.3.1随机现象2.3.2样本空间与随机事件样本空间： 一个可能的实验结果为一个样本点，样本点的全体构成的集合称为样本空间。随机事件： 要考察的由一些样本点构成的集合称为随机事件。事件发生了：出现了样本点集合中的一个元素。必然事件：样本点全体构成的集合(即样本空间)所表示的事件。不可能事件：Φ基本事件：单点集合事件的关系包含、并、交、差、逆2.3概率论2.3.1随机现象942.3.3事件的概率（1）古典概型定义2.9设E为古典概型，样本空间共有n个基本事件，事件A中含有m个基本事件，则称P(A)=m/n为事件A的概率。例如：D＝{1,2,3,4,5,6,7}，A={取数字3的倍数}，B={取偶数}。解：基本事件有7个，n＝7。 对于事件A，m=2，所以P(A)=m/n=2/7

对于事件B，m=3，所以P(B)=m/n=3/72.3.3事件的概率（1）古典概型952.3.3事件的概率（2）2.统计概率 当试验次数足够多时，一个事件(A)发生的次数m与试验的总次数n之比：fn(A)=m/n

在一个常数p(0≤p≤1)附近摆动，并稳定于p。定义2.10在同一组条件下所作的大量重复试验中，事件A出现的频率fn(A)总是在[0,1]上的一个确定常数p附近摆动，并且稳定于p，则称p为事件A的概率。即P(A)=p2.3.3事件的概率（2）2.统计概率962.3.3事件的概率（3）3.概率的性质0≤P(A)≤1P(D)=1,P(Φ)=0设事件A1,A2,…,Ak(k≤n)是两两互不相容的事件，即有Ai∩Aj=Φ(i≠j)，则P(¬A)=1-P(A)P(A∪B)=P(A)+P(B)-P(AB)如果 ，则P(A-B)=P(A)-P(B)2.3.3事件的概率（3）3.概率的性质972.3.4条件概率（1）如果在事件B发生的条件下考虑事件A发生的概率，就称它为事件A的条件概率，记为P(A|B)。定义2.11设A，B是两个事件，P(B)>0,则称 为在事件B已发生的条件下事件A的条件概率。条件概率中的条件缩小了样本空间，即条件概率是在条件所确定的新空间中求A∩B的概率。2.3.4条件概率（1）如果在事件B发生的条件下考虑事件A982.3.4条件概率（2）例2.6对于例2.5，求解在事件B发生的条件下，事件A发生的条件概率。解：事件B是已经发生的事件，即取到2；取到4；取到6

中必有一个出现。由于事件A是“取3的倍数”，而在上述三个事件中只有一种可能使A发生。所以在B发生的条件下事件A的概率是1/3。2.3.4条件概率（2）例2.6对于例2.5，求解在事件992.3.5全概率公式与Bayes公式（1）全概率公式定理2.2设事件A1,A2,…,An，满足：(1)两两互不相容，即当i≠j时，有Ai∩Aj=Φ；(2)P(Ai)>0(1≤i≤n)(3)则对任何事件B有下式成立：2.3.5全概率公式与Bayes公式（1）全概率公式1002.3.5全概率公式与Bayes公式（2）2.Bayes公式定理2.3条件同定理2.2。则对任何事件B有下式成立：2.3.5全概率公式与Bayes公式（2）2.Bayes1012.4模糊理论1965年由L.A.Zadeh等人提出。2.4.1模糊性随机性：事物本身含义明确，但条件不明而不可预知。模糊性：事物本身是模糊的。例如：青年、老年；高低；2.4.2集合与特征函数定义2.12设A是论域U上的一个集合，对于任意u∈U，令 则称CA(u)为集合A的特征函数。特征函数CA(u)在u=u0处的取值CA(u0)称为u0对A的隶属度。集合A与其特征函数可以认为是等价的。A={u|CA(u)=1}2.4模糊理论1965年由L.A.Zadeh等人提出。1022.4.3模糊集与隶属函数（1）确定性概念可用普通集合表示。例如“奇数”在论域U={1,2,3,4,5}上。那么如何表示模糊性概念？例如“大”，“小”。模糊集的思路：把特征函数的取值范围从{0,1}推广到[0,1]上。定义2.13设U是论域，μA是把任意u∈U映射为[0,1]上某个值的函数，即μA:U→[0,1]或者u→μA(u)

则称μA为定义在U上的一个隶属函数，由μA(u)(u∈U)所构成的集合A称为U上的一个模糊集，μA(u)称为μ对A的隶属度。2.4.3模糊集与隶属函数（1）确定性概念可用普通集合表示1032.4.3模糊集与隶属函数（2）模糊集的例子。例2.7论域U={1,2,3,4,5}，用模糊集表示“大”和“小”。解：设A、B分别表示“大”与“小”的模糊集，μA

，μB分别为相应的隶属函数。A={0,0,0.1,0.6,1}B={1,0.5,0.01,0,0}其中：μA(1)=0,μA(2)=0,μA(3)=0.1,μA(4)=0.6,μA(5)=1 μB(1)=1,μB(2)=0.5,μB(3)=0.01,μB(4)=0,μB(5)=02.4.3模糊集与隶属函数（2）模糊集的例子。1042.4.3模糊集与隶属函数（3）例2.8论域U={高山，刘水，秦声}，用模糊集A表示“学习好”这个概念。解：先给出三人的平均成绩：高山：98分，刘水：90分，秦声：86分上述成绩除以100后，就分别得到了各自对“学习好”的隶属度：μA(高山)=0.98,μA(刘水)=0.90,μA(秦声)=0.86则模糊集A为：A={0.98,0.90,0.86}2.4.3模糊集与隶属函数（3）例2.8论域U={高山，1052.4.4模糊集的表示方法（1）若论域离散且有限，则模糊集A可表示为：A={μA(u1),μA(u2),…,μA(un)}也可写为：A=μA(u1)/u1+μA(u2)/u2+…+μA(un)/un或者：A={μA(u1)/u1,μA(u2)/u2,…,μA(un)/un}A={(μA(u1),u1),(μA(u2),u2),…,(μA(un),un)}隶属度为0的元素可以不写。例如：A=1/u1+0.7/u2+0/u3+0.4/u4 =1/u1+0.7/u2+0.4/u42.4.4模糊集的表示方法（1）若论域离散且有限，则模糊集1062.4.4模糊集的表示方法（2）若论域是连续的，则模糊集可用实函数表示。例如： 以年龄为论域U=[0,100]，“年轻”和“年老”这两个概念可表示为：2.4.4模糊集的表示方法（2）若论域是连续的，则模糊集可1072.4.4模糊集的表示方法（3）无论论域U有限还是无限，离散还是连续，扎德用如下记号作为模糊集A的一般表示形式:U上的全体模糊集，记为：F(U)={A|μA:U→[0,1]}2.4.4模糊集的表示方法（3）无论论域U有限还是无限，离1082.4.5模糊集的运算（1）模糊集上的运算主要有：包含、交、并、补等等。1.包含运算定义2.14设A，B∈F(U)，若对任意u∈U，都有μB(u)≤μA(u)成立，则称A包含B，记为 。2.交、并、补运算定义2.15设A，B∈F(U)，以下为扎德算子2.4.5模糊集的运算（1）模糊集上的运算主要有：包含、交1092.4.5模糊集的运算（2）例2.9设U={u1,u2,u3}，A=0.3/u1+0.8/u2+0.6/u3B=0.6/u1+0.4/u2+0.7/u3则：A∩B=(0.3∧0.6)/u1+(0.8∧0.4)/u2+(0.6∧0.7)/u3 =0.3/u1+0.4/u2+0.6/u3A∪B=(0.3∨0.6)/u1+(0.8∨0.4)/u2+(0.6∨0.7)/u3 =0.6/u1+0.8/u2+0.7/u3¬A=(1-0.3)/u1+(1-0.8)/u2+(1-0.6)/u3 =0.7/u1+0.2/u2+0.4/u32.4.5模糊集的运算（2）例2.9设U={u1,u2,1102.4.5模糊集的运算（3）例2.10A表示“年老”的模糊集，B表示“年轻”的模糊集。则：2.4.5模糊集的运算（3）例2.10A表示“年老”的模1112.4.5模糊集的运算（4）其它的模糊集运算：有界和算子和有界积算子概率和算子与实数积算子·爱因斯坦和算子与爱因斯坦积算子2.4.5模糊集的运算（4）其它的模糊集运算：1122.4.6模糊集的λ水平截集（1）λ水平截集是把模糊集合转化成普通集合的一个重要概念。定义2.16设A∈F(U),λ∈[0,1]，则称普通集合Aλ={u|u∈U,μA(u)≥λ}为A的一个λ水平截集，λ称为阈值或置信水平。λ水平截集有如下性质：(1)设A，B∈F(U)，则：

(A∪B)λ=Aλ∪Bλ (A∩B)λ=Aλ∩Bλ(2)若λ1,λ2∈[0,1]，且λ1<λ2

，则：阈值λ越大，其水平截集Aλ越小，当λ＝1时，Aλ最小，称它为模糊集的核。2.4.6模糊集的λ水平截集（1）λ水平截集是把模糊集合转1132.4.6模糊集的λ水平截集（2）定义2.17设A∈F(U)

，则称KerA={u|u∈U,μA(u)=1}SuppA={u|u∈U,μA(u)>0}

分别为模糊集A的核及支集。当KerA≠Φ时，称A为正规模糊集。2.4.6模糊集的λ水平截集（2）定义2.17设A∈F(1142.4.6模糊集的λ水平截集（3）例2.11设模糊集A=0.3/u1+0.7/u2+1/u3+0.6/u4+0.5/u5

若λ分别为1,0.6,0.5,0.3，则相应的λ水平截集为：

A1={u3} A0.6={u2,u3,u4} A0.5={u2,u3,u4,u5} A0.3={u1,u2,u3,u4,u5}A的核及支集分别是：

KerA={u3} SuppA={u1,u2,u3,u4,u5}2.4.6模糊集的λ水平截集（3）例2.11设模糊集1152.4.7模糊度（1）模糊度时模糊集的模糊程度的一种度量。定义2.18设A∈F(U)，d是定义在F(U)上的一个实函数，如果它满足以下条件：(1)对任意A∈F(U)，有d(A)∈[0,1];(2)当且仅当A是一个普通集合时，d(A)=0；(3)若A的隶属函数μA(u)≡0.5，则d(A)=1;(4)若A,B∈F(U),且对任意u∈U,满足μB(u)≤μA(u)≤0.5或者μB(u)≥μA(u)≥0.5则有d(B)≤d(A)(5)对任意A∈F(U)

，有d(A)=d(¬A)则称d为定义在F(U)上的一个模糊度，d(A)称为A的模糊度。2.4.7模糊度（1）模糊度时模糊集的模糊程度的一种度量。1162.4.7模糊度（2）2.模糊度的直观含义是[0,1]上一个数；普通集合的模糊度是0，表示所刻画的概念不模糊；越靠近0.5就越模糊，当μA(u)＝0.5时最模糊；模糊集A与其补集¬A有相同的模糊度。2.4.7模糊度（2）2.模糊度的直观含义1172.4.7模糊度（3）3.计算模糊度的方法海明(Haming)模糊度

其中，μA0.5(ui)是A的λ＝0.5截集的隶属函数。由于A0.5是一个普通集合，所以μA0.5(ui)实际上是特征函数。欧几里德(Euclid)模糊度2.4.7模糊度（3）3.计算模糊度的方法1182.4.7模糊度（4）明可夫斯基(Minkowski)模糊度香农模糊度其中S(x)是定义在[0,1]上的香农函数，即2.4.7模糊度（4）明可夫斯基(Minkowski)模糊1192.4.7模糊度（5）例2.12设U={u1,u2,u3,u4}A=0.8/u1+0.9/u