基于格值逻辑的语言真值语义归结自动推理研究-计算机科学与技术专业论文.docxVIP

国内图书分类号：TPl81 国内图书分类号：TPl81 密级：公开 国际图书分类号：004．8／510 西南交通大学 研究生学位论文 年 级 2QQ昼级 姓 名 亟塞缝 申请学位级别 盟± 专 业 让篡狃抖堂皇堇丕 指导老师 猃扬 麴援 二零一四年四月七日 万方数据 Classified Classified Index：TP 1 8 1 U．D．C：004．8／510 Southwest Jiaotong University Doctor Degree Dissertation SEMANTIC RESOLUTION AUToMATED REASONING FoR LINGUISTIC TRUTH．VALUED LATTICE．VALUED LO GIC BASED oN LATTICE IMPLICATIoN ALGEBRAS Grade：2008 Candidate：Jiafeng Zhang Academic Degree Applied for：Doctor of Philosophy Speciality：Computer Science and Technology Supervisor：Prof．Yang Xu 万方数据 西南交通大学 西南交通大学 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并 向国家有关部门