个采用模糊产生式规则的推理方法

《个采用模糊产生式规则的推理方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、蔫辜期,华I-]Ua：中,Zh。n理g三．大ofS学ci．蓄报echVOJ1u．n2．0N1o99．23电气一个采用模糊产生式规则的推理方法李凡(计算机科学与工程晕)Tl毛提要在模糊集理论的基础上，本文提出了一种模糊产生式规则．为了采用这类规刖进行推理，文中络出了规则前件与事实是否匹配的模糊匹配函数．最后给出了一个生成匹配事实的最大模糊包含演绎树的算法，井用实例说明采用模糊产生式规则进行不精确推方法·誊中键雷调活：分类堂号：il堡塑量塑!模糊谓词，最大模糊包含兰理：TPn、。1弓l言在基于规则的知识系统中，知识的不确定性通常是采用如下的形式来表示的tIFantecedent

2、THENconsequentWITHconfidence．如果要启动和执行某个规则，只须在当前的数据库中有与该规则的前件相匹配的事实即可触发该规则，从而使不确定性得以在推理网络中传播．这种传统的产生式规则有如下的两个主要缺点：一是知识的不确定性主要由表示，它描述了整个规则具有的某种不确定性，并没有深人到规则语句的内部(即前件部分)来表示知识的不确定性，二是在事实与规则前件相匹配的过程中，采用的仍然是传统逻辑的方法，即要／厶匹配(符合)，要／厶不匹配(不符合)．研制知识系统的大量实践表明t这种表示知识不确定性的传统产生式规则形式以及它的二值逻辑的匹配技术，在许多情况下并不能很

3、好地反映领域专家的决策思维和推理过程．为了更好地模拟和描述领域专家的模糊思维和推理行为，本文在模糊集理论“的基础上，提出了一种模糊产生式规则．2模糊产生式规则和模糊匹配函数在人类的自然语言中，经常会使用一些含糊语言。”，例如“他总是来得很早”，“大部分学生部是疫个子，“他不可能是这种年轻人”等．这类语句的台糊性主要是由两方面收稿日期I1990"：06—01．·国家自然科学基金资助项目．华中理工大学学报1992焦引起的：一是由于语句中含有不精确的语言量词所致，如“总是”、“很”、大部分”和不可能等}二是由于谓词本身的模糊性所产生的，如“早”、“瘦个子和“年轻人”等．在一小功能

4、完善的知识系蒋中，应该具有能够处理这娄食有檬糊量词和模糊谓词的含糊语言的能力．传统的生式规则是不其有这种功能的．本文所提出的模糊产生式规则可以表示和处理这些在含糊语句的内部由模糊量词和模糊谓词所产生的不确定性．为了在模糊产生式规则中很好地描述含糊语句的模糊性，就需要对含糊语言中的模糊量词和模糊谓词进行量化处理．对于模糊量词，我们可以给它赋给[0，1"1中的任意两个实数所构成的一个区间中的值来定量地表示它．表1给出了常见的一类模糊量词(上栏)及其区间值(下栏，其值均为闭区间，．其他的各种模糊量词也可类似处理．襄1一货常见的曩糊量词曩其医问值●_____-_____。●。_--

5、。___-●_-。__-●-_____●___-________●●-●_____t●-__-___-___-___I。●--______-_________●-____●________。_。--。-_________。。。-___。。。一总是很强强稍强中等稍弱弱很弱无1．oo，1．ooo-93，o．99o-80，o．92o．65，O．79o．45，0．64o．30，0．44oolo，o-29o—Ol，O-09o．oo。o．oo对于模糊谓词，则可以采用隶属函数的形式来量化它．例如“年轻人这一模糊谓词就可采用如下的隶属函数来表示；1，“≤25

6、：ouHG(“)=[1+((“

7、一25)／5)]～，25<“<1O0

8、、0，“≥100．对于某个实际的年龄，它属于“年轻人”的隶属值可由上式计算，其结果如袁2所示．其他的各种模糊谓词均可以设计出类似的隶属函数来表示．襄2藁酱实幕年瞥一于年轻人曲摩一值在模糊集理论的基础上，我们提出了一种具有如下形式的模糊产生式规则，IFP—THEN0一CF：，其中，P。表示规则的前件，它具有如下的形式：(sl，fI)and(，，2)and⋯and(sl，，)，其中，sl，02，⋯，0，表示断言．每个断言可以包含模糊量词或模糊谓词，或者兼而有之．对每个断言而言，根据它所包含的模糊量词或模糊谓词的情况，按照前面所叙述的方法都可

9、以赋给它一个相应的值，用来表示断言的确定性程度，这些值分别用f，，，⋯，，，表示．如果断言中同时含有模糊量词和模糊谓词，用二者相应的值相乘后所得到的值作为断言的确定性程度．0表示规则的后件．为确定性因子CF的值，它表示规4的信任程度．。为了采用模糊产生式规则来进行推理，在此给出判断模糊产生式规则的前件与事实是否匹配的模糊匹配函数·Ⅳ(，P)：mi1(·R，R·P；，p：·P：)／max(·R，R·P；，P：·P：)，(1)其中R表示匹配的事实，它可以表示成(sl，-)and(屯，2)and．．-and(0，，YJ)