基于格蕴涵代数的格值一阶逻辑Lvfl中的不确定性推理研究.pdf

西南交通大学
博士学位论文
基于格蕴涵代数的格值一阶逻辑L<,vfl>中的不确定性推理研究
姓名:陈树伟
申请学位级别:博士
专业:交通信息工程及控制
指导教师:徐扬
20051201
西南交通大学学位论文创新性声明本人郑重声明:所呈交的学位论文,是本人在导师指导下独立
第绪论§纬杀疚牡难醣尘当今世界已经步入信息社会,人类在日常生活中总会接触到各种各样的信息中,存在大量不精确的、不完全的、、不可比较性、,而不确定性推理是人类处理不确定性信息的方长期以来,,,为寻找合理有效的处理不确定性的推理系统,各种各样的~,其不仅能够刻画全序性信息,而且还可刻画非全序性豢杀冉闲信息,它通过格这种代数结构来西南交通大学博士研究生学位论文息,并对这些信息进行加工、整理,从而形成推理、,大量的各种各样的不确定性信息不仅存在于现实世界中,而且也自然地存在于外部信息向人脑反映的过程之中,这些不确定性包括模糊性,不可区人们在处理不确定性信息时,经常会遇到两类不确定性:一类存在于被处理对象本身之中,另一类存在于信息处理的过程之中,后者源于前者而又远比前者复杂为处理后者。信息处理过程中的不确定性通常被分为不同的水平,,,“模拟、扩充、扩展人类的智能,,,确定性信息的处理,、完备的逻辑基础,,,~方面是经典逻辑的极大扩充和发展,旨在建立不确定性信息处理的逻辑基础;
】设琟,,R徊级瘢匀我獾摹#琯∈ㄒ。斗疺”, 息,÷鬫÷聑Ⅳ!拢!苕—÷;隆÷÷.,可,为一布尔格,对任意的。,蔐,定义西南交通大学博士研究生学位论文第惹昂蟪中耸晔间在基础上研究的一种不依赖于具体领域的通用问题求解程序】.家系统芨葜势滓堑氖萃浦N粗S谢衔锏姆肿咏峁沟幕学专家系统,使人工馨皋簋露魁氇晷蔷翠至嵌磊嚣般醛整骅楚踅[婆琛熬醛髂魏奈郧准龋孩螅籰毒由档罂§趿春胧毙灾屎徒醘僮鬏粗羒茎薅艨葡嘹芝蚓:剖;《蓦÷;禷馔∞哗矗。箝霪饕琵醐射霎醑芊冉瓣§§涎輎缏>缃餽,R痪吣嫘蚨院稀埃鼻矣蟹航纭是一个从三×焦さ挠成洌绻匀我獾膠,瑉∈工如果÷Ⅳ÷,,则。白聑;则称蘓,琠,为拟格蕴涵代数,若其还满足:则称∞,,÷,,我们总假设,琟,,,珼,为一个格蕴涵代数,—÷口’乱唬