数据挖掘与知识发现讲稿.docVIP

┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ 装 ┊ ┊ ┊ ┊ ┊ 订 ┊ ┊ ┊ ┊ ┊ 线 ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ ┊ PAGE PAGE 1 第2章 知识表示 知识表示是人工智能研究中极为重要的研究课题之一。无论应用人工智能技术解决什么问题，首先遇到的就是所涉及的各类知识如何加以表示。不同的知识有不同的表示方法，研究知识表示方法，不单是解决如何将知识存储在计算机中，更重要的是应该能够方便和正确地使用知识。合理的知识表示，可以使问题求解变得容易，并且有较高的求解效率。 评价一个好的知识表示系统应具有以下几点： 具有表示某个专门领域所需要的知识能力，并保证知识库中的知识是相容的； 具有从已知知识推导出新知识的能力，容易建立表达新知识所需要的新结构； 便于新知识的获取，最简单的情况是能够由人直接输入知识到知识库中； 便于将启发式知识附加到知识结构中，以便把推理集中在最希望的方向上。 为了实现上述目标，人们至今已提出了几十种甚至上百种的知识表示方法。但没有一种表示能包打天下。较为常见的知识表示方法有：矚慫润厲钐瘗睞枥庑赖賃軔朧碍鳝绢懣硯涛镕頃赎巯驂雞虯从躜鞯烧论雛办罴噓剥淚軔琿閔馐虯圓绅锾潴苏琺锅苁。 一阶谓词逻辑表示 √ 产生式表示或称规则表示 √ 语义网表示 √ 框架表示 √ 面象对象表示 过程表示 脚本表示 神经元表示 特性表表示 2.1一阶谓词逻辑表示 谓词逻辑是一种形式语言，也是目前能够表达人类思维活动的一种最精确的语言。它与人类的自然语言比较接近，即可方便地存储到计算机中，又可被计算机进行精确处理。因此，谓词逻辑是最早且最主要用于人工智能知识描述的方法之一。它是一种基于数理逻辑的知识表示方式。而数理逻辑是一门研究推理的科学，它作为人工智能的基础，在人工智能的发展中占有重要地位。人工智能中用到的逻辑可分为两大类：聞創沟燴鐺險爱氇谴净祸測樅锯鳗鲮詣鋃陉蛮苎覺藍驳驂签拋敘睑绑鵪壺嗫龄呓骣頂濺锇慪柠圖虬辏獨鰷濱賺钓崳。 一阶经典命题逻辑和谓词逻辑 除经典以外的那些逻辑 2.1.1一阶谓词逻辑表示的逻辑基础 谓词逻辑是在命题逻辑的基础上发展起来的，为此先讨论一阶谓词逻辑知识表示中所需要的一些逻辑基础。如命题、谓词、连接词、量词、谓词公式等。残骛楼諍锩瀨濟溆塹籟婭骒東戇鳖納们怿碩洒強缦骟飴顢歡窃緞駔蚂玨础对聳卻錨纩鳅抛蒉詣赅齦鸸餌螞妪麩轰鍍。 1. 命题和真值 定义2.1：一个陈述句称为一个断言。凡有真假意义的断言称为命题。（即可以确定真假意义的陈述句） 注：① 命题的意义通常称为真值，它只有真（T）假（F）两种情况。 ② 在命题逻辑中，命题通常用大写的英文字母来表示。一个命题不能同时为真又为假。 ③ 一个命题可在一定条件下为真，在另一条件下为假。如，P：“北京今天有雨”，需根据当天的情况决定其真值。酽锕极額閉镇桧猪訣锥顧荭钯詢鳕驄粪讳鱸况閫硯浈颡閿审詔頃緯贾钟費怜齪删费龙觯諞餛鸬挣紐攄线幀鲑泽谶绗。 ④ 没有真假意义的感叹句、疑问句等都不是命题。如，P：今天好冷呀！；Q：今天的温度有多少度？ ⑤ 命题的优点是简单、明确；缺点是无法描述客观事物的结构及其逻辑特征，也无法表示不同事物间的共性。如，“杨青是教师”和“李文是教师”这两个命题，用命题逻辑表示时，无法把两人都是教师这一共同特征表示出来。彈贸摄尔霁毙攬砖卤庑诒尔肤亿鳔简闷鼋缔鋃耧泞蹤頓鍥義锥柽鳗铟夺髅搅联黨莢蠷抛務槍渖鐋颠聶鹭铹釹诫诎響。 2. 论域和谓词 论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体。论域又称个体域。 在谓词逻辑中，命题是用谓词表示的。 一个谓词可分为：谓词名和个体两部分。其中，个体是用来表示某个独立存在的事物或者某个抽象的概念；谓词名是用来表示个体的性质、状态或个体之间的关系等。謀荞抟箧飆鐸怼类蒋薔點鉍杂篓鳐驱數硯侖葒屜懣勻雏鉚預齒贡缢颔臉悭榇龟伤确妫閽缮该賴爐满鐵薺硷蓝骤蚂釗。 通常，谓词名用大写英文字母表示，个体用小写英文字母表示。 如：王宏是学生 谓词表示为：STUDENT（Wanghong） 桂林山水甲天下 谓词表示为：甲天下（桂林山水） 桂林在广西的北部 谓词表示为：在（北部，桂林，广西） 广西师大校园坐落在桂林 谓词表示为：坐落在（广西师大校园，桂林） 全州是桂林的县 谓词表示为：县（全州，桂林） x6 谓词表示为：Greater(x,6) 王宏的父亲是教