Factorizing formal contexts from closures of necessity operators

2026-02-25 · Roberto G. Aragón, Jesús Medina, Eloísa Ramírez-Poussa arxiv

Factorizing datasets is an interesting process in a multitude of approaches, but many times it is not possible or efficient the computation of a factorization of the dataset. A method to obtain independent subcontexts of a formal context with Boolean data was proposed in~\cite{dubois:2012}, based on the operators used in possibility theory. In this paper, we will analyze this method and study different properties related to the pairs of sets from which a factorization of a formal context arises. We also inspect how the properties given in the classical case can be extended to the fuzzy framework, which is essential to obtain a mechanism that allows the computation of independent subcontexts of a fuzzy context.

📄 PDF Abstract BibTeX arXiv:2604.09582

Code (0)

등록된 구현이 없습니다.

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts

2025-12-31 · Prosenjit Howlader, Churn-Jung Liau arxiv

We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators corresponding to classical necessity ($\Box$) an…

Belief revision in the propositional closure of a qualitative algebra (extended version)

2014-05-05 · Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber

Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras…

HH-SAE: Discovering and Steering Hierarchical Knowledge of Complex Manifolds

2026-05-11 · Honghan Wu, Tianyan Wang, Jiacong Mi, Zhoyang Jiang 외 arxiv

Rare semantic innovations in high-dimensional, mission-critical domains are often obscured by dense background contexts, a challenge we define as \textit{feature density conflict}. We introduce the \textbf{Hybrid Hierarc…

Fraud Detection

A vector logic for intensional formal semantics

2026-02-03 · Daniel Quigley arxiv

Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensi…

Guaranteed confidence-band enclosures for PDE surrogates

2025-01-30 · Ander Gray, Vignesh Gopakumar, Sylvain Rousseau, Sébastien Destercke

We propose a method for obtaining statistically guaranteed confidence bands for functional machine learning techniques: surrogate models which map between function spaces, motivated by the need build reliable PDE emulato…

Prediction