决策推理与决策支持系统.pptVIP

4.1基本概念知识：以各种科学方式将多个信息关联在一起形成的信息结构。原子事实：不与任何其他信息发生关联的单独信息，是知识的一个特例。例：“他是军人”、“他穿军装”均为原子事实；而“如果他是军人，则他穿军装”是一条常识性知识。另外，“如果某地重度异常，则有铝矿”是一条知识，但是不正确。1知识的正确型类型：正确，错误，部分正确，未知真假2知识的关联形式多种多样，可以是分层次的，即可以把知识解释为一种分层次关联的信息结构3可以用BNF形式定义知识4.1基本概念知识::=信息列关联信息列|信息列关联知识列|知识列关联信息列|知识列关联知识列|信息列::=信息|(信息的一个序列）知识列::=(知识的一个序列）关联::=各种关联运算符4.1基本概念知识的分类01事实：指人类对于客观事物属性的值或状态的描述，不包含任何变量，可以用一个值为真的命题陈述，或者用一种状态的描述来表达。例如：大海是蓝色的我今年18岁今天很热024.1基本概念一般形式为：如果A，则B02A-B03规则：指可以分为前提（条件）和结论两个部分，用以表达因果关系的知识。01可以用三段论推理形成一条推理链。044.1基本概念规律：规则知识可分为带变量和不带变量两种形式。将带变量的规则称为规律。01规律中的变量一旦被实例化为一个具体的值，则规律就变成了一条不带变量的规则02一条规律通过变量实例化，可以派生出许多规则。因此，在这种意义上规律表示了一类知识，比规则更宽泛。034.1基本概念知识的属性01真实性：应为经过实践检验的或者可用逻辑推理证明真伪的02相对性：在一定的条件和环境内有效03不完全性：许多知识是部分正确的04模糊性：许多知识不是完全精确的054.1基本概念4.1基本概念可表示性：可用某种方式加以描述符号，图形，形态，等等可存储性：可存储于人类大脑中，可以记录在书本上，也可以存储在电脑中。可传递性：知识可通过某种媒体进行传递。可处理性：知识可以利用各种方法和工具进行处理，从一种形式转变为另一种形式。4.2知识表示方法4.2.1一阶谓词逻辑一阶谓词演算是一种形式语言，可用来表示各种“事实”，对知识表示和推理非常重要，在人工智能、知识工程等领域有重要作用。也可以作为知识库系统的推理基础。常量符号：用大写字母A、B、C、D等表示01变量符号：用小写字母x、y、z等表示02函数符号：用小写字母f、g、h等表示03谓词符号：用大写字母P、Q、R等表示04逻辑符号：?否定?合取?析取05限定量词：?存在量词?全称量词064.2.1.1一阶谓词逻辑符号集及其知识表示4.2知识表示方法逻辑表达式构成用语的定义项（iterm）变量和常量若t1,t2,…,tn为项，则f(t1,t2,…,tn)为函数原子逻辑式若以p为谓词符号，t1,t2,…,tn为项，则谓词符号对于项的作用为：p(t1,t2,…,tn)是函数4.2知识表示方法谓词演算语言---逻辑表达式的几个实例1WRITE(STUDENT,PAPER)2WRITE(x,y)3?WRITE(STUDENT,COMPUTER-CHESS)4(?x)WRITE(x,COMPUTER-CHESS)5MARRIED[father(JOHN),mother(JOHN)]6LIVES(JOHN,HOUSE)?COLOR(HOUSE,YELLOW)7OWNS(JOHN,CAR)=COLOR(CAR,GREEN)84.2知识表示方法4.2知识表示方法4.2.2语义网络表示语义：是指语义学的符号和表达式同它所描述的对象之间的关系。语义网络：以网络形式表示人类知识构造的一种图形工具，是一种有向图。语义网络既可以作为人类联想记忆的心理学模型，又可作为计算机内部知识表达的一种形式。它既能表达事实性知识，也可以表达事实之间的联系。节点：语义网络所描述的各种对象，表示各种事物、概念、属性及知识实体，有标识，并且可以是一个语义子网络，形成分层描述。01有向边（弧）：表示所连接的语义对象之间存在的某种语义联系（关系），也有标识。02无向边（短线）：语义网络中的节点一般采用具有若干属性的元组或框架来表示，由节点引出的带标识的短线（无向边）表示各个属性值03语义网络中的符号4.2知识表示方法更可爱是是是是黑色吃腐肉不能飞能游泳喜寒冷能运动能吃东西有翼能飞有生命语义网络示意图4.2知识表示方