检索结果-内蒙古大学图书馆

作者：王诗慧辽宁师范大学

学位级别：硕士

人工智能技术的快速提高离不开逻辑学的发展,针对不同的问题,构建了不同形式的逻辑系统。由于事物的不断变化,命题的真值依赖于时间、空间等影响因素,而模态逻辑是处理这一问题的有力工具。真值域取在格蕴涵代数上的格值模态逻辑不仅可... 详细信息

人工智能技术的快速提高离不开逻辑学的发展,针对不同的问题,构建了不同形式的逻辑系统。由于事物的不断变化,命题的真值依赖于时间、空间等影响因素,而模态逻辑是处理这一问题的有力工具。真值域取在格蕴涵代数上的格值模态逻辑不仅可以处理全序性信息,也可以处理非全序性信息。在日常生活中,人们通常使用自然语言来表达信息。为了将格值模态逻辑更好地应用于实际中,本文提出以六元语言真值格蕴涵代数为真值域的六元语言真值模态命题逻辑系统和六元语言真值模态一阶逻辑系统,研究其语义理论和语法结构,并探讨其归结原理。主要研究内容如下:1.基于六元语言真值格蕴涵代数和格值模态命题逻辑系统,提出六元语言真值模态命题逻辑系统的语义表示,定义一个将六元语言真值模态命题逻辑公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质。研究基于滤子J的J-强互补文字、J-一般互补文字、J-弱互补文字,提出基于滤子J的强归结式、一般归结式、弱归结式。探究该系统的J-归结原理,讨论J-归结原理的可靠性和完备性,并提出J-归结方法。研究基于α的α-强互补文字、α-一般互补文字、α-弱互补文字,提出基于α的强归结式、一般归结式、弱归结式。讨论该系统的α-归结原理,证明α-归结原理的可靠性和完备性,并提出α-归结方法。以两个实例说明J-归结方法和α-归结方法的有效性。通过对归结域的分析,总结J-归结与α-归结之间的关系。2.在六元语言真值模态命题逻辑系统中引进谓词和量词,建立六元语言真值模态一阶逻辑系统,定义一个将六元语言真值模态一阶逻辑公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质。通过定义六元语言真值模态一阶公式的模态度,给出将六元语言真值模态一阶逻辑公式转换为广义Skolem标准型的方法,并分析该系统的α-归结原理。为建立基于语言真值模态逻辑系统的归结方法提供新的理论准备。

关键词：语言真值格蕴涵代数六元语言真值模态命题逻辑六元语言真值模态一阶逻辑归结原理

来源：评论

学校读者我要写书评

暂无评论

语言真值格蕴涵代数的蕴涵不可约元

引用

电子学报 2014年第10期42卷 1998-2003页

作者：赖家俊徐扬西南交通大学基础课部(峨眉校区) 四川峨眉614202 西南交通大学智能控制开发中心(九里校区) 四川成都610031

本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.

关键词：语言真值格蕴涵代数蕴涵不可约元有限蕴涵分解元有限蕴涵分解不可约元

来源：评论

学校读者我要写书评

暂无评论

模糊语言属性偏序结构图的逐层属性约简算法

引用

模式识别与人工智能 2022年第9期35卷 774-788页

作者：庞阔周爱杨鑫冉李楠邹丽鲁明羽大连海事大学信息科学与技术学院大连116026 辽宁师范大学计算机与信息技术学院大连116081 山东建筑大学计算机科学与技术学院济南250102

在形式概念分析中,属性偏序结构图作为一种数据可视化工具,可有效解决用户认知过载的问题.在现实生活中,人们往往通过模糊语言值表达偏好信息,会产生大量的模糊语言值数据.为了解决在模糊语言环境下的属性约简问题,文中提出模糊语言属... 详细信息

在形式概念分析中,属性偏序结构图作为一种数据可视化工具,可有效解决用户认知过载的问题.在现实生活中,人们往往通过模糊语言值表达偏好信息,会产生大量的模糊语言值数据.为了解决在模糊语言环境下的属性约简问题,文中提出模糊语言属性偏序结构图的逐层属性约简算法.首先,基于模糊语言值形式背景构建模糊语言属性偏序结构图,将模糊语言值数据嵌入属性偏序结构图中.通过语言真值格蕴涵代数作为模糊语言值表示模型,表达模糊语言值间的序关系和不可比关系.然后,为了获取保持模糊语言值形式背景区分能力不变的最小属性子集,结合模糊语言值属性偏序结构图,搜索未与底层节点建立边的节点.在保证模糊语言值属性偏序结构图类等价的前提下,计算该节点及其子节点间的差别属性,并构造相应的逐层属性约简模型.最后,通过实例与对比实验验证文中算法的有效性和实用性.

关键词：模糊语言属性偏序结构图属性约简模糊语言值形式背景语言真值格蕴涵代数模糊语言值分层概念格

来源：评论

学校读者我要写书评

暂无评论

语言值相似度推理方法及其应用研究

语言值相似度推理方法及其应用研究

引用

作者：王颖辽宁师范大学

学位级别：硕士

知识的表示、分类和推理等是实现智能信息处理首先要解决的问题。日常生活中普遍存在许多带有不确定性信息的问题。然而,用经典逻辑以及数值运算处理不确定性知识具有一定的局限性,不能满足知识表示应用发展的需求。因此,出现了一种基... 详细信息

知识的表示、分类和推理等是实现智能信息处理首先要解决的问题。日常生活中普遍存在许多带有不确定性信息的问题。然而,用经典逻辑以及数值运算处理不确定性知识具有一定的局限性,不能满足知识表示应用发展的需求。因此,出现了一种基于文字计算的语言值信息处理方法。语言真值格蕴涵代数不仅能够很好地处理既具有可比性又具有不可比性的语言值信息问题,而且具有有利于处理不确定性知识的丰富的蕴涵运算,更便于进行知识推理。因此,本文基于语言真值格蕴涵代数,对十元语言真值格蕴涵代数及语言值相似度推理进行了深入探讨,本文主要获得研究结果如下:1.本文首先按照语气词的性质,根据不同语气词对真值不同程度的影响,把语气词划分成五类,形成了十元语言真值。在此基础上,定义了语气词“⊕”运算,实现了语气词的复合运算更进一步,研究了语气词“⊕”运算的运算性质。根据语言值的性质,定义了语言值之间的相似度及相关性质。针对语言值之间的相似度,提出了利用语气词和距离计算语言值相似度方法,得到了语言值相似度推理方法。2.作为语言值相似度推理的有力扩充,进一步提出语言值直觉模糊对的相似度。将语言值直觉相似度推理方法运用到金融决策辅助系统中,并与基于中介逻辑的模糊推理,从知识表示、推理运算速度及结果等方面做比较,结果表明在知识表示方面语言值直觉相似度推理方法更贴近人类自然语言,易于理解,并且其推理结果也是用语言值表达的,更符合人类思维。通过与其它推理方法的比较分析,得出在实际应用中不同的推理方法的选择原则。本文提出的语言值相似度推理方法更有利于解决具有信息缺失的不确定性问题。3.最后构造了一个基于十元语言真值格值一阶谓词的知识表示模型并结合教育技术学相关理论,应用语言值相似度推理方法建立了一个网络学习评价系统。该系统对于网络学习者来说,对其学习能力的发展和学习质量的提高都具有非常重要的意义。

关键词：语言真值格蕴涵代数语言真值直觉模糊格语言值相似度相似度推理

来源：评论

学校读者我要写书评

暂无评论

语言真值格值命题逻辑中的α-语义归结方法

引用

计算机科学 2015年第11期42卷 123-129页

作者：张家锋徐扬陈琴贵州民族大学理学院贵阳550025 西南交通大学智能控制开发中心成都610031 贵州财经大学信息学院贵阳550025

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推... 详细信息

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。

关键词：自动推理语义归结语言真值格蕴涵代数格值逻辑

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：张家锋西南交通大学

学位级别：博士

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述,因而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一... 详细信息

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述,因而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本文在已有关于基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究,并取得了以下几个方面的研究成果：第一部分格值命题逻辑系统(Ln×L2)P(X)中广义文字的α-归结性。基于格值命题逻辑系统(Ln×L2)P(X)的真值域的结构特性,对归结水平α为对偶分子的情形,给出了(Ln×L2)P(X)中 0-IESF、1-IESF、2-IESF与其它广义文字之间的α-归结性。第二部分格值逻辑系统的α-语义归结自动推理。得到了格值命题逻辑系统LP(X)中几类广义子句集的性质,并建立了这几类广义子句集的α-语义归结方法,给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的α-语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑L(X)中相应归结水平的语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)的α-语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中α-语义归结与基于Lukasiewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的语义归结之间的等价转化性。第三部分格值逻辑系统的α-广义语义归结自动推理。建立了格值命题逻辑系统LP(X)中基于一般广义子句集的α-广义语义归结,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的a-广义语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑LnP(X)中相应归结水平的广义语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)中基于一般广义子句集的α-广义语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中基于一般广义子句集的α-广义语义归结与基于Luka-siewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的广义语义归结之间的等价转化性。第四部分格值逻辑系统中归结方法的相容性。建立了格值一阶逻辑系统LF(X)中α-语义归结方法与删除策略的相容性以及格值一阶逻辑系统LF(X)中α-广义语义归结与广义删除策略的相容性,同时建立了格值一阶逻辑系统LF(X)中α-广义归结与支撑集归结在一定条件下的相容性。

关键词：格蕴涵代数语言真值格蕴涵代数格值逻辑 α-归结自动推理语义归结方法

来源：评论

学校读者我要写书评

暂无评论

语言真值格值命题逻辑系统中广义文字的归结判定

引用

计算机科学 2013年第2期40卷 237-240,273页

作者：许伟涛徐扬河南工业大学信息科学与工程学院郑州450001 西南交通大学数学学院成都610031

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格... 详细信息

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。

关键词：自动推理格值逻辑系统语言真值格蕴涵代数广义文字归结

来源：评论

学校读者我要写书评

暂无评论

基于格值逻辑的α-准锁语义归结自动推理研究

基于格值逻辑的α-准锁语义归结自动推理研究

引用

作者：钟小梅西南交通大学

学位级别：博士

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息。为了更加合理地处理这些不确定性信息,我们需要以逻辑作为其理论基础。由于智能交通系统的复杂性,因此其中必定存在大量... 详细信息

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息。为了更加合理地处理这些不确定性信息,我们需要以逻辑作为其理论基础。由于智能交通系统的复杂性,因此其中必定存在大量的语言值信息以及各种软件系统。所以,基于逻辑自动推理处理其中的不可比较性、语言值信息及相应软件系统的正确性,是其前沿基础研究方向之一。格值逻辑是一种重要的多值逻辑,它能同时刻画可比较性信息和不可比较性信息。本文的主要工作是在基于格蕴涵代数的格值逻辑系统中建立基于分层归结原理的自动推理方法,并进一步在基于语言真值格蕴涵代数的语言真值格值逻辑中分析相应的归结自动推理方法,同时构造相应的归结自动推理算法。主要有：在基于Lukasiewicz蕴涵代数Ln的格值命题逻辑LnP(X)中,给出了所有次正则与非次正则3阶不可分极简式的形式,进而得到了LnP(X)中所有3阶不可分极简式的形式,并在此基础上分析了一类3阶不可分极简式分别与0、1、2、3阶不可分极简式之间的α-可归结性。在基于语言真值格蕴涵代数Lv(n×2)的语言真值格值逻辑中分析了α-归结原理的一般形式。不失一般性,在格值命题逻辑(Ln×L2)P(X)中,将α-归结原理的一般形式等价转化为了格值命题逻辑LnP(X)中α-归结原理的一般形式,并指出类似的等价性在基于语言真值格值命题逻辑Lv(n×2)P(X)与￡vnP(X)的α-归结原理的一般形式间同样成立。进一步在格值一阶逻辑(L。×L2)F(X)中,将α-归结原理的一般形式等价转化为了LnP(X)中α-归结原理的一般形式,并指出类似的等价性在基于语言真值格值一阶逻辑Lv(n×2)F(X)与格值命题逻辑LvnP(X)的α-归结原理的一般形式间同样成立。在基于格蕴涵代数的格值逻辑系统中建立了α-准锁语义归结方法,并构造了相应的算法。基于α-归结原理的一般形式,在格值命题逻辑系统LP(X)中建立了α-准锁语义归结方法,证明了其可靠性与弱完备性。将基于格值命题逻辑(L。×L2)P(X)的α-准锁语义归结等价转化为了LnP(X)中的α-准锁语义归结,同时在基于语言真值格值命题逻辑Lv(n×2)P(X)与LvnP(X)的α-准锁语义归结之间得到了类似的结论,并在此基础上构造了一种基于Lv(n×2)P(X)的α-准锁语义归结算法。进一步将基于LP(X)的α-准锁语义归结方法拓展到了相应的格值一阶逻辑系统LF(X)中,并在LF(X)中建立了其可靠性与弱完备性。在格值一阶逻辑(Ln×L2)F(X)中,将满足一定条件的α-准锁语义归结等价转化为了LnP(X)中的α-准锁语义归结,并在基于语言真值格值一阶逻辑Lv(n×2)F(X)与格值命题逻辑LvnP(X)的α-准锁语义归结之间得到了类似的结论。文本还基于LF(X)构造了一种寻找逻辑公式基例的算法,并在此基础上结合基于L(n×3)P(X)的α-准锁语义归结算法,给出了一种基于Lv(n×2)F(X)的α-准锁语义归结算法。在基于格蕴涵代数的格值逻辑系统中建立了α-群准锁语义归结方法,并构造了相应的算法。基于α-归结原理的一般形式,在格值命题逻辑系统LP(X)中建立了一种α-群归结原理及其可靠性与完备性。在此基础上,提出了基于LP(X)的α-群准锁语义归结方法,并建立了其可靠性与弱完备性。进而将基于格值命题逻辑(Cn×L2)P(X)的α-群准锁语义归结等价转化为了LnP(X)中的α-群准锁语义归结,并在基于语言真值格值命题逻辑Lv(n×2)P(X)与LvnP(X)的α-群准锁语义归结之间得到了类似的结论。结合基于Lv(n×2)P(X)的α-准锁语义归结算法,给出了一种基于Lv(n×2)P(X)的α-群准锁语义归结算法。进一步将基于LP(X)的α-群归结原理、α-群准锁语义归结方法拓展到了相应的格值一阶逻辑系统LF(X)中,并分别建立了其可靠性与弱完备性。在格值一阶逻辑(Ln×L2)F(X)中,将满足一定条件的α-群准锁语义归结等价转化为了LnP(X)中的α-群准锁语义归结,并在基于语言真值格值一阶逻辑Lv(n×2)F(X)与格值命题逻辑LvnP(X)的α-群准锁语义归结之间得到了类似的结论。类似基于Lv(n×2)F(X)的α-准锁语义归结算法,给出了一种基于Lv(n×2)F(X)的α-群准锁语义归结算法。

关键词： α-归结原理的一般形式 α-准锁语义归结方法 α-群归结原理 α-群准锁语义归结方法格值逻辑语言真值格蕴涵代数

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：何星星西南交通大学

学位级别：博士

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息,是智能信息处理的重要应用领域之一。基于格值逻辑的归结自动推理是智能信息处理领域的重要基础研究内容,对处理智能交通... 详细信息

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息,是智能信息处理的重要应用领域之一。基于格值逻辑的归结自动推理是智能信息处理领域的重要基础研究内容,对处理智能交通中的不可比较性、语言值信息及相应软硬件系统正确性的形式化验证,有重要学术意义和良好应用前景。本论文在基于格值逻辑的语言真值α-归结自动推理的基础上,提出了寻找所有κ-ESFs的统一算法和判断广义文字α-可归结性的通用方法及程序。为提高α-归结自动推理效率,提出了α-锁归结方法,证明了其可靠性与完备性,设计了通用算法,并利用Matlab语言,在机器上实现了α-锁归结自动推理。进一步地,提出了语言真值格值逻辑系统中α-广义归结原理,给出了α-广义锁归结自动推理方法、算法和程序。主要取得了如下四个方面的研究成果。 1、给出了语言真值格值命题逻辑系统(Lv(n×2)P(X))中寻找所有κ-IESFs和判断广义文字是否α-可归结的通用算法与程序。具体为：给出了L6P(X)中逻辑公式的运算性质,得到了该逻辑系统中寻找所有κ-IESFs的通用方法；将该方法拓展至Lv(n×2)P(X),设计了Lv(n×2)P(X)中寻找所有κ-IESFs的通用算法；从语义角度,给出了两类典型逻辑公式F=F1→F2与F=(F1→F2)’的正规性；给出了Lv(n×2)P(X)判断广义文字是否α-可归结的通用方法与程序。 2、提出了语言真值格值一阶逻辑系统(Lv(n×)F(X))中α-锁归结方法,给出了该方法的相容性,并设计了相应的算法与程序。具体为：提出了α-锁归结的概念,给出了α-锁归结的性质,可靠性与完备性,及其统一算法和程序；建立了α-锁归结在Lv(n×2)F(X)和kP(X)上的等价转化性；提出了α-输入归结和α-单元归结的概念,给出了两者间的等价性,可靠性与完备性,及其在Lv(n×2)F(X)和kP(X)上的等价转化；给出了kP(X)中逻辑公式的α-可满足性；证明了在LnF(X)中α-锁归结与广义删除策略、α-线性归结、α-输入归结和α-单元归结在一定条件下是相容的,并设计了相应的统一算法。 3、提出了Lv(n×2)F(X)中α-广义归结原理。具体为：提出了Lv(n×2)F(X)中α-广义归结的概念,刻画了逻辑公式的α-不可满足性；给出了α-广义归结的可靠性与完备性；建立了α-广义归结在Lv(nr2)F(X)和LnP(X)上的等价转化性。 4、提出了Lv(n×2)F(X)中α-广义锁归结,给出了该方法的相容性,并设计了相应的算法与程序。具体为：提出了α-广义锁归结的概念,给出了α-广义锁归结的性质,及其可靠性与完备性,设计了统一算法和程序；建立了α-广义锁归结在Lv(n×2)F(X)和LnP(X)上的等价转化性；证明了在LnF(X)中α-广义线性半锁归结的完备性；比较分析了α-广义线性归结、α-广义语义归结和α-广义锁归结方法的有效性、复杂性和实用性。

关键词：语言真值格蕴涵代数语言真值格值逻辑系统 α-归结自动推理 α-锁归结自动推理 α-广义归结自动推理 α-广义锁归结自动推理

来源：评论

学校读者我要写书评

暂无评论

基于语言真值格值一阶逻辑的不确定性推理的语法

引用

模糊系统与数学 2011年第2期25卷 1-6页

作者：赖家俊徐扬湖北民族学院理学院湖北恩施445000 西南交通大学智能控制开发中心四川成都610031

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。

关键词：语言真值格蕴涵代数语言真值格值一阶逻辑语法不确定性推理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：