首页/论文/2002.05238

arXiv 2002.052382020-02math.RAcs.DM

多粒度粗糙集的结构

The structure of multigranular rough sets

Jouni Järvinen, Sándor Radeleczki

备注：: Keywords: equivalence relation, multigranular approximation, definable set, rough set, coherence, tolerance relation, irredundant covering, atomistic Boolean lattice, completely distributive lattice, Dedekind-MacNeille completion
发表信息：: Fundamenta Informaticae, vol. 176, no. 1, pp. 17-41, 2020
DOI：: 10.3233/FI-2020-1961

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究两个等价的多粒空间。给出了所谓“乐观”和“悲观”多粒近似系统的格论性质。我们还考虑了由这些近似对确定的粗糙集的有序集。

英文摘要：

We study multigranulation spaces of two equivalences. The lattice-theoretical properties of so-called "optimistic" and "pessimistic" multigranular approximation systems are given. We also consider the ordered sets of rough sets determined by these approximation pairs.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

粗糙集定义为三值函数的核-支持对

Defining rough sets as core-support pairs of three-valued functions

我们回答的问题是什么性质的集合$\mathcal{F}$的三值函数的一组$\mathcal{F}$必须履行，使存在一个准序$\leq$ $U$这样的粗集确定的$\leq$符合核心-支持对的功能在$\mathcal{F}$。应用这一刻画，我们给出了一个新的表示粗糙集的等价确定的三值函数的三值Rukasiewicz代数。

2021-05-12cs.DMmath.RA

由粗糙集确定的伪Kleene代数

Pseudo-Kleene algebras determined by rough sets

本文研究由自反关系确定的粗糙集有序集的Dedekind-MacNeille完备化上的伪Kleene代数，并刻画了可在其上定义PBZ和PBZ*-格的条件。

2023-07-24cs.DMmath.RA

用相容于等价的容差定义粗糙集

Defining rough sets using tolerances compatible with an equivalence

我们认为公差$T$与$U$上的等效$E$兼容，这意味着关系乘积$E \circ T$包含在$T$中。本文给出了$E$相容公差的基本性质，并研究了由$E$和$T$定义的粗糙近似.我们考虑粗糙集对$(X_E,X^T)$，其中较低的近似$X_E$定义为习惯在粗糙集理论，但$X^T$允许更多的元素可能在$X$比$X^E$。激励$E$兼容公差的例子，并建立了必要的格理论性质的有序集的粗糙集$\{ (X_E,X^T) \mid X \subseteq U\}$。

2019-05-14cs.DMmath.COmath.RA

由拟序确定的粗糙集

Rough Sets Determined by Quasiorders

研究了由拟序关系$R$确定的粗糙集的序集.我们证明了这个序集是一个完备的完全分配格。我们证明了在这个格上可以定义三种不同的补运算，并描述了它的完全并不可约元。我们还刻画的情况下，这个晶格是一个石头格。我们的结果推广了J.Pomykala和J.A. Pomykala和M. Gehrke和E. Walker（1992）在$R$情况下是等效的。

2009-06-16math.RA

容差粗糙集

Rough sets determined by tolerances

我们表明，对于任何公差$R$上的$U$，有序集的下，上粗糙近似确定的$R$形式的正交格。这些正交格是完全分配的，从而形成原子布尔格，当且仅当$R$是由$U$的无冗余覆盖诱导的，在这种情况下，这些布尔格的原子被描述。证明了由$U$上的容差$R$决定的粗糙集的序集$\mathit{RS}$是完备格当且仅当它是上下粗糙近似完备格的完备次直积.我们证明了$R$是由$U$的无冗余覆盖诱导的容差当且仅当$\mathit{RS}$是代数完全分配格，并且在这种情况下可以在$\mathit{RS}$上定义一个拟Nelson代数.我们提出的充要条件，保证了一个公差$R$ $U$，有序集$\mathit{RS}_X$是一个格的所有$X \subseteq U$，其中$R_X$表示的限制$R$集合$X$和$\mathit{RS}_X$是相应的粗糙集。介绍了粗糙集的不相交表示和形式概念表示，并证明了它们是$\mathit{RS}$的Dedekind-MacNeille完备化。

2013-12-12math.RA

原型传递粗糙集的代数语义

Algebraic Semantics of Proto-Transitive Rough Sets

University of Calcutta（加尔各答大学）

本文作者于2012年首次提出了基于类传递关系的粗糙集理论。随后，近似的原型传递关系的其他关系进行了调查和粗糙近似的关系，朝着构建语义，可以处理片段的结构。证明了由某些近似关系引起的近似差不一定导致粗糙结构。在这项研究中，我们开发了不同的语义的原传递粗糙集（PRAX）的结构特征后，粗糙对象，还开发了一个理论的依赖一般粗糙集，并用它来内化的纳尔逊代数为基础的近似语义开发较早。在此过程中，作者提出的粗糙依赖理论得到了推广。这本专著是合理的自我包含，包括证明和扩展的对象表示，不是早期的文件的一部分。

2014-10-06cs.AImath.LOmath.RA

更多相关论文收起更多论文

粒度定向粗糙集、概念组织与软聚类

Granular Directed Rough Sets, Concept Organization and Soft Clustering

Indian Statistical Institute（印度统计研究所）

本文作者在早期的论文中介绍和研究了向上粗糙集。在这项研究中，她在两个不同的粒度方向上扩展了这一点，并具有令人惊讶的代数语义。颗粒是基于广义封闭的思想下向上的，可以被解读为一种形式的弱后果。这产生满足谨慎单调性的近似算子，而π-群胚近似（另外涉及策略选择和代数算子）具有更好的性质。本研究的主要动机是在分布式认知的观点，真实或虚拟的课堂学习环境中，以学生为中心的教学概念的可能结构。粗聚类技术的数据集，涉及向上的关系（如在哨兵项目图像数据的研究），另外提出。本研究在相关领域具有重要的理论和实际应用价值。

2022-08-13cs.AIcs.DMcs.LO

由反射关系诱导的粗糙集的Kleene和Stone代数

Characterising regular double Stone and pseudocomplemented Kleene algebras in completions of rough sets induced by reflexive relations

LUT School of Engineering Science（拉赫蒂理工大学工程学院）；Institute of Mathematics, University of Miskolc（米什科尔茨大学数学研究所）

研究由反射关系诱导的粗糙集的完成DM(RS)作为空间和完全分配格的条件，推导其作为正则伪补Kleene代数和完全分配双Stone代数的条件，并描述使DM(RS)成为正则双Stone代数的反射关系。

2026-08-27cs.LOmath.RA

拟序诱导的粗糙集Nelson代数的信息完备性

Information completeness in Nelson algebras of rough sets induced by quasiorders

本文利用拟序决定的有限粗糙集Nelson代数，给出了强否定构造逻辑的代数完备性定理。我们展示了如何准序$R$，其粗糙集为基础的纳尔逊代数可以通过应用著名的Sendlewski的建设。我们证明，如果所有的$R$ -封闭元素，这可能被视为一组完全定义的对象，是共尾的，那么粗糙集为基础的纳尔逊代数确定的拟序形成一个有效的格，即，一个代数模型的逻辑$E_0$，其特征在于由一个模态算子抓住的概念“是经典有效的”。给出了Nelson代数同构于由拟序决定的粗糙有效格的充要条件.

2012-03-09math.LOmath.RA

一般粗糙集中限定聚合的代数模型及推理偏差发现

Algebraic Models for Qualified Aggregation in General Rough Sets, and Reasoning Bias Discovery

Indian Statistical Institute（印度统计研究所）

本文提出带近似算子格上的广义粗糙集代数聚合模型，以刻画悲观与乐观推理，并证明弱否定和蕴含结果，可用于发现推理偏差及学习歧视性行为的 ML 算法。

2023-09-22cs.AIcs.LOmath.RA

用粗糙集表示具有Galois联络的分配格

Representing distributive lattices with Galois connections in terms of rough sets

本文研究了具有Galois联络的有界分配格的扩张。我们为这些代数引入GC-框架和标准框架。利用粗糙集近似算子定义了GC-框架的复代数。证明了每个具有Galois联络的有界分配格都能嵌入到其标准框架的复代数中。证明了对每个空间Heyting代数$L$，若其具有Galois联络，则存在一个GC-框架，使得$L$同构于该框架的复代数，并且对于具有Galois联络的弱原子Heyting-Brouwer代数也有类似的结果.在每种情况下的代表，给定的伽罗瓦连接表示粗糙集的上下近似。

2013-12-21math.LOmath.RA

有向粗糙集的代数方法

Algebraic Approach to Directed Rough Sets

HBCSE, Tata Institute of Fundamental Research（塔塔基础研究院 HBCSE）；University of Miskolc（米什科尔茨大学）

在一般粗糙集的关系方法中，本文对有向关系的思想进行了补充，提出了多重代数方法的附加条件。的关系也专门表示一般的parthood是向上定向，自反和反对称的一个更好的表现groupoidal语义的一组大致等价的对象由第一作者。她还提出了近似集上的另一种不同的代数语义和一种新的知识解释：由于对关系施加了最小条件，因此在所有近似（粒度和逐点）的构造中使用了邻域粒化。第二作者证明了局部上逼近格是完全分配的充要条件。这些结果与形式概念分析有关。以学生为中心的学习和决策的应用也概述。

2020-04-25cs.AIcs.LOmath.LO

De Morgan Heyting 代数上定义的 L-模糊粗糙近似的 relational correspondences

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras

本文研究了 De Morgan Heyting 代数上的模糊粗糙集，提出一种定理以建立模糊粗糙集与模糊关系间的对应关系，并仅用单一公理刻画了多种模糊关系复合下的模糊粗糙近似算子。

2023-10-25cs.LOmath.RA

由自反关系定义的粗糙集的结构

The structure of rough sets defined by reflexive relations

该研究针对自反关系下粗糙集系统RS仅为偏序集的问题，深入研究其Dedekind-MacNeille完备化DM(RS)的序论性质，引入关系邻域核概念，给出DM(RS)构成Nelson代数的充要条件。

2025-03-26cs.LOmath.RA

关于粗集代数与核正则双Stone代数的注记

A Note on Rough Set Algebra and Core Regular Double Stone Algebras

U.S. DoD - Laboratory for Advanced Cybersecurity Research（美国国防部高级网络安全研究实验室）

粗糙集理论（Rough Set Theory，缩写为Rough Set）是由Pawlak于1982年首次提出的一种用于处理知识不确定或不完整的信息系统的方法。\cite{Pawlak}它在人工智能和认知科学的许多子领域都具有根本的重要性。给定一个具有等价关系$θ$的论域$U$，对$\langle U,θ\rangle$被称为信息系统，我们表示它的粗糙集集合$R_θ$。在我们的主要定理中，我们证明了$R_θ$与$|θ_u| > 1\ \forall\ u \in U$同构于核正则双Stone代数CRDSA，CRDSA是完备的和原子的，并且清晰的或可定义的集合形成完备的原子布尔代数。这些保证的下确界/上确界的任意子集和公式的基本元素是可能有用的，如果处理等价关系与无限数量的分区，如投影希尔伯特空间。我们进一步得到，每个CRDSA是同构的主粗糙集代数，$R_θ$的一个子代数，对某些近似空间$\langle U,θ\rangle$。在我们的主要推论中，我们明确地展示了如何将$R_θ$嵌入到CRDSA中，并首先通过扩展\cite{RCRDSA}的最终有限示例来演示。作为我们的顶点，我们考虑的射影希尔伯特空间的复数，$\mathbb{C}$和显示，除其他事项外，功率集的一组纯状态是一个完整的，原子布尔代数。最后，我们提出了其他可能有用的量子相关应用，如希尔伯特空间的运营商

2022-02-01cs.LGmath.RA