文档介绍：觏代数及南嗨贫壤砺韩诚摘要长期以来,作为模推理的数学基础,模糊逻辑一直是人工智能界关注的代数的结构,明确风代数的分类,丰富风代数的研究手段,,与之相对应的代重要扩张一代数与代数等价,这就使得国内关于代数的众多研究成果和方法可以被移植到代数中去,进而丰富和完善砺郏屑诖耍本文详细考察了风代数的定义、性质、分类、存在性及其构造,通过对风代数簇分类得到了∥系统的全部公理扩张,并证明了扩张系统的∑一完备性定理,,随着模糊信息处理技术的发展,对不确定信息融合的要求也越来越高,砺垡蚱涠阅:畔⒔锨康谋泶锬芰Χ鸾ナ艿街厥樱还惴河τ糜了基于嗬氲南嗨贫榷攘啃路椒ǎ全文共分三章:,通过对风代数特征定理的详细分析,给出了‰代数目前为止一个最简定义,大大方便了风代基于岛算子的一个类分划,,从代数的中点和真布尔元出发,得到了凰代数的一个完全分类,进而,通过引入风代数根的概念清晰刻画了局部风代数布床含真布尔元的岛代数慕峁梗詈螅芯苛朔侨蚍绱拇嬖谛约胺绱的构造方法,,为弄清风第二章结合风代数的完备性定理与系统∥的广义演绎定理,给出∥推理系统中的代数演绎定理,并以此为工具讨论了形式推理的数值化问题,有效地简化了推理步骤,降低了推理难度,,给出了∥系统的全部公理扩张并证明了数语义方面的研究也硕果累累,其中基于连续荒5腂突谧罅鴗一模的奶岢鲇任R胱⒛,,基于确定集和广义重言式理论,给出公式集能力作了积极有效的探索.
扩张系统￡”,￡;。⒔,,扩展了形式推理的应用范围,,通过对一例基于经典集间相似度的比较和分析,引入了能反映相似度与距离内在联系的边界条件,减少了相似度选取与构造的盲目性与随意考察了湎嗨贫鹊谋呓缥侍馕N蘸屠肍集、:代数;∥系统;∑一完备性;幌嗨贫龋
琺,—猘.—,猘琲/—,—.一,簍.,..,,,琲—甐,,,,瓵,.瑃瑃.,
岛一,风一,￡”,￡;辏籲缫籥;瓸—,.一一,猚瓼,甅瑃,瓼籗一,琣甌琣琣琲.,...,,.;∑一;
作者签名:重垄丛作者签名:嘲械学位论文独创性声明学位论文使用授权声明日期::木人声明所呈交的学位论文是我在导师的指导下进行的研究工作及取得的研究成果。尽我所知,除文中已经注明引用的内容外,论文中不包含其他个人已经发表或撰写过的研究成果,也不包含为获得陕西师范大学或其它教育机构的学位或证书而使用过的材料。对本文的研究做出重要贡献的个人和集体,均己在文中作了明确说明并表示谢意。本人同意研究生在校攻读学位期间论文工作的知识产权单位属陕西师范大学。本人保证毕业离校后,发表本论文或使用本论文成果时署名单位仍为陕西师范大学。学校有权保留学位论文并向国家主管部门或其它指定机构送交论文的电子版和纸质版:有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆、院系资料室被查阅;有权将学位论文的内容编入有关数据库进行检索;有权将学位论文的标题和摘要汇编出版。·日期:
引言会上,瓻博士名为‘模糊逻辑的似是而非的成功”的报告引起了一场轩然大应用于模糊控制技术中,随着模糊控制技术的飞速发展,作为模糊控制理论基础的波【馔淌谠谖腫卸源俗髁巳婕笆钡慕樯埽纱丝杉:评矸椒糊逻辑本质区别的分析,建立了模糊命题演算形式系统∥【辏衷谙低晨的框架下,从语义上为虵问题构建了逻辑基础;年,提出了模糊推理的全蕴涵三惴ǎ痈旧闲拚薢的合成推理方法南总结了已有的研究成果,并且在经典逻辑中找到了模糊推理的非模糊形式,“与”的性质,人们使