首页/论文/2004.12171

arXiv 2004.121712020-04-25cs.LOcs.AImath.LOmath.RA

Algebraic Approach to Directed Rough Sets

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

Mani A, Sandor Radeleczki

备注：: 37 pages, Forthcoming

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

英文摘要相关论文

英文摘要：

In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general parthood that are upper-directed, reflexive and antisymmetric for a better behaved groupoidal semantics over the set of roughly equivalent objects by the first author. Another distinct algebraic semantics over the set of approximations, and a new knowledge interpretation are also invented in this research by her. Because of minimal conditions imposed on the relations, neighborhood granulations are used in the construction of all approximations (granular and pointwise). Necessary and sufficient conditions for the lattice of local upper approximations to be completely distributive are proved by the second author. These results are related to formal concept analysis. Applications to student centered learning and decision making are also outlined.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Granular Directed Rough Sets, Concept Organization and Soft Clustering

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

Up-directed rough sets are introduced and studied by the present author in earlier papers. This is extended by her in two different granular directions in this research, with a surprising algebraic semantics. The granules are based on ideas of generalized closure under up-directedness that may be read as a form of weak consequence. This yields approximation operators that satisfy cautious monotony, while pi-groupoidal approximations (that additionally involve strategic choice and algebraic operators) have nicer properties. The study is primarily motivated by possible structure of concepts in d…

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

基于相似性的比特集合论的代数语义

Algebraic Semantics of Similarity-Based Bitten Rough Set Theory

我们开发了两个代数语义咬粗糙集合论（\cite{SW}）相似空间及其抽象粒度版本。与选择为基础的广义粗糙语义\cite{AM69}由本作者和一般覆盖为基础的粗糙集合论的连接也被认为是。

2013-01-03cs.LOcs.MAmath.LO

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

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

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

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

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

Algebraic Semantics of Generalized RIFs

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

A number of numeric measures like rough inclusion functions (RIFs) are used in general rough sets and soft computing. But these are often intrusive by definition, and amount to making unjustified assumptions about the data. The contamination problem is also about recognizing the domains of discourses involved in this, specifying errors and reducing data intrusion relative to them. In this research, weak quasi rough inclusion functions (wqRIFs) are generalized to general granular operator spaces with scope for limiting contamination. New algebraic operations are defined over collections of such…

2021-09-12cs.AIcs.LO

On Deductive Systems of AC Semantics for Rough Sets

University of Calcutta（加尔各答大学）

Antichain based semantics for general rough sets were introduced recently by the present author. In her paper two different semantics, one for general rough sets and another for general approximation spaces over quasi-equivalence relations, were developed. These semantics are improved and studied further from a lateral algebraic logic perspective in this research. The main results concern the structure of the algebras and deductive systems in the context.

2016-10-09cs.AIcs.LOmath.LO

Continuity and core compactness of topological spaces

We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two approximations and are all shown to be directed spaces. We show that the continuity of a directed space is very similar to the continuity of a dcpo in many aspects, which indicates that the notion of directed spaces is a suitable topological extension of dcpos.The main results are: (1) A topological space is continuous iff it is a retract of an algebraic spac…

2022-07-07cs.LOmath.GN

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

Dialectical Rough Sets, Parthood and Figures of Opposition-1

University of Calcutta（加尔各答大学）

In one perspective, the main theme of this research revolves around the inverse problem in the context of general rough sets that concerns the existence of rough basis for given approximations in a context. Granular operator spaces and variants were recently introduced by the present author as an optimal framework for anti-chain based algebraic semantics of general rough sets and the inverse problem. In the framework, various sub-types of crisp and non-crisp objects are identifiable that may be missed in more restrictive formalism. This is also because in the latter cases concepts of complemen…

2018-11-22cs.AIcs.ITcs.LO

A Topological Perspective on Interacting Algebraic Theories

Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of "directed spaces", we deve…

2017-01-03cs.LOmath.CT

Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets

We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering.

2017-06-11cs.FLcs.LOmath.CO

光滑有向图的哀愁：无限有向图着色问题的第一个难度标准

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems

Austrian Academy of Sciences（奥地利科学院）

本文研究了无限有向图着色问题的复杂性，证明了光滑有向图在特定条件下导致NP难问题，突破了将有限结构结果扩展到ω-范畴结构的障碍。

2026-04-04cs.LO

Domain Theory in Constructive and Predicative Univalent Foundations

We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete posets (dcpos). Here we further consider algebraic and continuous dcpos, and construct Scott's $D_\infty$ model of the untyped $λ$-calculus. A common approach to deal with size issues in a predicative foundation is to work with information systems or abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuou…

2022-06-15cs.LOmath.LO

Generalized Ideals and Co-Granular Rough Sets

University of Calcutta（加尔各答大学）

Lattice-theoretic ideals have been used to define and generate non granular rough approximations over general approximation spaces over the last few years by few authors. The goal of these studies, in relation based rough sets, have been to obtain nice properties comparable to those of classical rough approximations. In this research paper, these ideas are generalized in a severe way by the present author and associated semantic features are investigated by her. Granules are used in the construction of approximations in implicit ways and so a concept of co-granularity is introduced. Knowledge …

2017-04-18cs.AIcs.ITcs.LO