基于格值逻辑的语言真值语义归结自动推理研究

《基于格值逻辑的语言真值语义归结自动推理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据国内图书分类号：TPl81国际图书分类号：004．8／510西南交通大学研究生学位论文年级2QQ昼级姓名亟塞缝申请学位级别盟±专业让篡狃抖堂皇堇丕指导老师猃扬麴援二零一四年四月七日密级：公开万方数据ClassifiedIndex：TP181U．D．C：004．8／510SouthwestJiaotongUniversityDoctorDegreeDissertationSEMANTICRESOLUTIONAUToMATEDREASONINGFoRLINGUISTICTRUTH．VALUEDLATTICE．VALUEDLOGICBASEDoNL

2、ATTICEIMPLICATIoNALGEBRASGrade：2008Candidate：JiafengZhangAcademicDegreeAppliedfor：DoctorofPhilosophySpeciality：ComputerScienceandTechnologySupervisor：Prof．YangXu万方数据西南交通大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权西南交通大学可以将本论文的全部或部分内容编入有

3、关数据库进行检索，可以采用影印、缩印或扫描等复印手段保存和汇编本学位论文。本学位论文属于1．保密口，在年解密后适用本授权书；2．不保密彩使用本授权书。(请在以上方框内打“√”)学位论文作者虢孜蚴指导柳虢日期：讹M心，3◇日期：如俘．歹·多9万方数据西南交通大学博士学位论文创新性声明本人郑重声明：所呈交的学位论文，是在导师指导下独立进行研究工作所得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在文中作了明确的说明。本人完全意识到本声明的法律结果由本人承担。本学位论文的

4、主要创新点如下：1．给出了格值命题逻辑系统(厶xZ；2)P(X)OOO-IESF、1-IESF、2-IESF与其它广义文字之间的Oc．归结性；(第3．2～3．4节)2．建立了格值命题逻辑系统LP(X)与格值一阶逻辑系统LF(X)中的0【．语义归结方法及其可靠性与条件完备性，同时设计了基于LP(X)的Oc．语义归结算法；给出了语言真值格值命题逻辑C『，f"x2)P(X)qta的O【．语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑厶P(X)rO相应归结水平的语义归结之间的等价转化性以及格值一阶逻辑系统Cm，×21F(X)中的0【．语义归结与基

5、于Lukasiewicz蕴涵代数的格值一阶逻辑厶F(X)O相应归结水平的语义归结之间的等价转化性，并分别设计了相应算法；(第4．1～4．7节)3．建立了格值命题逻辑系统LP(X)与格值一阶逻辑系统LF(X)e0的0【．广义语义归结方法及其可靠性与条件完备性；给出了语言真值格值命题逻辑CV(nx2)P(X)OO的0c．广义语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑￡。P(X)中相应归结水平的广义语义归结之间的等价转化性以及格值一阶逻辑系统CV(nx2)F(X)OO的Gc．广义语义归结与基于Lukasiewicz蕴涵代数的格值一阶逻辑C。

6、F(X)中相应归结水平的广义语义归结之间的等价转化性，并分别设计了相应算法；(第5．2～5．5节)4．给出了格值一阶逻辑系统LF(X)中a一语义归结与删除策略的相容性以及0L．广义语义归结与广义删除策略的相容性，同时给出了LF(X)中0c．广义归结与支撑集归结的相容性。(第6．1～6．3节)学位敝储虢弧獬日期：训节。心t3D万方数据西南交通大学博士研究生学位论文第1页士-蟊墨五于两斐基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述，因而基于语言

7、值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本文在已有关于基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上，对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究，并取得了以下几个方面的研究成果：第一部分格值命题逻辑系统(厶×￡2)P(X)中广义文字的．Cc．归结性。基于格值命题逻辑系统(厶×￡2)P(X)的真值域的结构特性，对归结水平Oc为对偶分子的情形，给出了(C。×C2)P(X)中0-IESF、1-IESF、2-IESF与其它广义文字之间的仪．归结性。第二部分格值逻辑系统的0【．语义归结自动推理。

8、得到了格值命题逻辑系统LP(x)中几类广义子句集的性质，并建立了这几类广义子句集的a一语义归结方法，给出了其