Rough sets by reflexive relations and their algebras

Título: Conjuntos Aproximados por Relações Reflexivas e suas Álgebras

Autores: Jouni Järvinen e Sándor Radeleczki

1. Problema e Contexto

A teoria dos conjuntos aproximados (rough sets), introduzida por Z. Pawlak, tradicionalmente baseia-se em relações de equivalência para modelar o conhecimento sobre um universo de objetos. Nesses casos, o conjunto de todos os conjuntos aproximados ($RS$) forma uma álgebra de Stone regular (ou álgebra de Stone dupla regular).

No entanto, em muitas aplicações do mundo real (como sistemas de informação multivalorados ou modelos de similaridade direcional), a relação de conhecimento não é uma equivalência, mas sim uma relação reflexiva (que pode não ser simétrica nem transitiva).

• O Desafio: Para relações reflexivas arbitrárias, o conjunto ordenado $RS$ não é necessariamente um reticulado (lattice). Isso dificultou o estudo algébrico desses conjuntos.
• A Abordagem: Os autores focam na completude de Dedekind-MacNeille de $RS$, denotada por $DM(RS)$. Esta completude é o menor reticulado completo que contém $RS$. O objetivo é caracterizar as condições sob as quais $DM(RS)$ forma estruturas algébricas específicas (como álgebras de Kleene pseudocomplementadas regulares e álgebras de Stone duplas) e identificar quais relações reflexivas geram tais estruturas.

2. Metodologia

Os autores empregam uma abordagem que combina teoria de reticulados, álgebras de ordem e teoria de conjuntos aproximados:

1. Definições Fundamentais:
   • Utilizam aproximações inferiores ($X^\nabla$) e superiores ($X^\blacktriangle$) definidas por uma relação binária reflexiva $R$.
   • Estudam a completude $DM(RS)$, que consiste em pares $(A, B)$ de aproximações satisfazendo certas condições de fechamento.
2. Análise de Propriedades Algébricas:
   • Investigam quando $DM(RS)$ é um reticulado completamente distributivo e espacial.
   • Derivam condições para a existência de pseudocomplementos ($*$) e dual-pseudocomplementos ($+$).
   • Analisam a regularidade da álgebra (congruência-regularidade), que implica que a estrutura é determinada por suas classes de congruência.
3. Caracterização de Elementos Irredutíveis:
   • Utilizam a caracterização dos elementos completamente irredutíveis por união ($J(DM(RS))$) para determinar a estrutura do reticulado.
   • Introduzem o conceito de "núcleo" (core) de um conjunto de vizinhança $R(x)$ para analisar a estrutura dos elementos irredutíveis.
4. Condições de Equivalência:
   • Estabelecem equivalências entre propriedades algébricas de $DM(RS)$ e propriedades estruturais da relação $R$ (especificamente sobre a família de conjuntos $\{x\}^\blacktriangle$).

3. Principais Contribuições e Resultados

A. Estrutura de Álgebra de Kleene Pseudocomplementada Regular

• Os autores provam que se o reticulado das aproximações superiores $\wp(U)^\blacktriangle$ é completamente distributivo e espacial, então $DM(RS)$ forma uma álgebra de Kleene pseudocomplementada.
• Resultado Chave (Teorema 5.3): $DM(RS)$ é uma álgebra de Kleene pseudocomplementada regular se e somente se o reticulado $\wp(U)^\blacktriangle$ for um reticulado Booleano atômico.
• Isso generaliza resultados anteriores que se limitavam a relações de tolerância (simétricas).

B. Estrutura de Álgebra de Stone Dupla

• Investigam quando $DM(RS)$ forma uma álgebra de Stone (onde $x^* \vee x^{**} = 1$) e uma álgebra de Stone dupla (que também satisfaz a propriedade dual).
• Condição (St1): Introduzem uma condição estrutural sobre a relação $R$: para quaisquer $x, y, p$ tais que $\{x\}^\blacktriangle, \{y\}^\blacktriangle \subseteq \{p\}^\blacktriangle$, deve existir um $z$ tal que $\{z\}^\blacktriangle \subseteq \{x\}^\blacktriangle \cap \{y\}^\blacktriangle$.
• Resultado Chave (Teorema 6.4): Sob a hipótese de que $DM(RS)$ é completamente distributivo e espacial, ele forma uma álgebra de Stone se e somente se a condição (St1) for satisfeita.

C. A "Equivalência Clinker" (Clinker Equivalence)

• Descoberta Surpreendente: Os autores identificam uma classe específica de relações reflexivas que fazem de $DM(RS)$ uma álgebra de Stone dupla regular.
• Definição: Uma relação reflexiva $R$ é chamada de "Equivalência Clinker" se a família de conjuntos $\{\{x\}^\blacktriangle \mid x \in U\}$ formar um cobrimento irredundante de $U$.
  • Cobrimento irredundante: A união de todos os conjuntos é $U$, e a remoção de qualquer conjunto individual do cobrimento faz com que a união deixe de ser $U$.
• Teorema 7.6: $DM(RS)$ é uma álgebra de Stone dupla regular se e somente se $R$ for uma Equivalência Clinker.
• Significado: Esta classe é mais geral que as relações de equivalência. Enquanto relações de equivalência geram partições, as Equivalências Clinker geram cobrimentos irredundantes, permitindo uma generalização natural da teoria de Pawlak para contextos onde a indistinguibilidade é direcional e não transitiva.

D. Exemplos e Contraexemplos

• O artigo fornece exemplos concretos (como em $U=\{1,2,3\}$ e $U=\{1,2,3,4\}$) demonstrando:
  • Casos onde $DM(RS)$ é isomorfo a produtos de cadeias (ex: $2 \times 3$).
  • Casos onde a estrutura falha em ser regular ou de Stone, ilustrando a importância das condições impostas.

4. Significado e Impacto

1. Generalização Teórica: O trabalho expande significativamente a teoria dos conjuntos aproximados para além das relações de equivalência e de ordem parcial (quasiordens), tratando explicitamente de relações reflexivas arbitrárias que modelam similaridades direcionais (como "A é parecido com B", mas não necessariamente vice-versa).
2. Novas Estruturas Algébricas: A introdução da "Equivalência Clinker" oferece uma nova ferramenta matemática para modelar sistemas de conhecimento onde a informação é incompleta ou imprecisa, mas segue padrões de cobrimento irredundante.
3. Unificação de Resultados: O artigo unifica resultados dispersos sobre álgebras de Nelson, Kleene e Stone no contexto de completudes de Dedekind-MacNeille, fornecendo condições necessárias e suficientes claras para cada estrutura.
4. Aplicabilidade: As condições derivadas (como a existência de núcleos não vazios e propriedades de cobrimento) oferecem critérios práticos para verificar se um sistema de informação multivalorado pode ser modelado por uma álgebra booleana ou de Stone, facilitando a aplicação em mineração de dados e inteligência artificial.

Em resumo, o artigo estabelece uma ponte robusta entre a teoria de reticulados distributivos e a teoria de conjuntos aproximados sob relações reflexivas, culminando na definição de uma nova classe de relações (Equivalências Clinker) que preservam propriedades algébricas desejáveis (regularidade e estrutura de Stone dupla) mesmo na ausência de transitividade e simetria.