试论概念间的相容与不相容关系

力求通过概念之间关系的探讨,理清概念间相容与不相容以及它们的层次关系,使人们对概念及概念的层次、相容等关系有一个清楚的了解,以指导工作实践     

逻辑学教科书《概念间的关系》一节质疑

本文对形式逻辑教科书“概念问的关系”一节,提出疑问,认为在概念间关系的划分上,编者忽视了并列概念的重要性,以不恰当的相容与否为划分标准,在划分中并有层次紊乱、越级划分的现象,例如:将并列关系的种概念(矛盾关系、反对关系)与并列关系划在同一层次,建议以概念外廷相容形式作标准,将可比较的概念首先划分为同一、交叉、属种、并列四种关系。     

相容关系与相容核

给定论域上的相容关系,本文提出了相容核的概念。较之于相容关系的最大相容类,相容核是一个局部化的相容类。我们还讨论了有关相容核的若干数学性质,并且给出了相容关系与其相应的相容核族之间相互唯一确定的充分必要条件。     

基于相容关系的扩展粗糙集理论研究

引入相容度的概念,并给出一种利用相容度确定论域的完全覆盖的方法。然后用完全覆盖中的最大相容类定义精确集、粗糙集等概念,建立了一种基于相容关系的相容粗糙集理论体系。在此基础上讨论了相容粗糙集的一些基本性质和相关定义。     

L-Fuzzy集上的L-Fuzzy相容关系

给出了L-Fuzzy集上的L-Fuzzy相容关系的概念,并给出了L-Fuzzy集上的L-Fuzzy关系是L-Fuzzy相容关系的一个充要条件.     

相容拟半连续Domain和相容交半连续Domain

引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。     

相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.     

Z-相容连续Domain及其相关性质

对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.     

集值信息系统中的粗糙集扩展模型

通过分析研究现有集值信息系统上定义的两种关系(相容关系和优势关系),在集值信息系统中引入相容度和包含度的概念,定义了基于相容度α的相容关系和基于包含度β的优势关系,提出了基于这两种关系的粗糙集扩展模型,并分析比较了该模型与现有模型之间的关系.通过对相容度和包含度的调节和控制,可以将现有集值信息系统中定义的两种关系有效地统一起来.最后,通过对一个具体实例的分析,进一步解释和说明了这些关系之间的联系.