Resumo Técnico: Enunciados com Proveniência Aprimorada em Grafos de Conhecimento

1. Declaração do Problema

Os Grafos de Conhecimento (KGs) contemporâneos contêm cada vez mais Enunciados com Proveniência Aprimorada (PES) — afirmações qualificadas por uma atribuição (ex: "Segundo X, $\phi$"). Esses enunciados são prevalentes em domínios que lidam com capta (dados interpretados, hipóteses e alegações acadêmicas) em vez de data (fatos independentes do observador).

As tecnologias atuais da Web Semântica (ex: PROV-O, rankings da Wikidata, RDF-star) tratam a proveniência como metadados semanticamente neutros. Elas registram quem afirmou o quê, mas falham em caracterizar o status epistêmico da afirmação. Essa neutralidade leva a diversas limitações:

• Perda de Divergência Significativa: Desacordos e teorias concorrentes são frequentemente colapsados em inconsistências ou relegados a mecanismos de ranking informais, obscurecendo a dinâmica do debate acadêmico.
• Raciocínio Inadequado: Tratar a proveniência como neutra impede o raciocínio principiado sobre o conteúdo atribuído. Isso falha em distinguir entre um fato, uma crença, uma hipótese e um delírio, levando a problemas como o Paradoxo do Superman (onde a substituição de identidade falha através de fronteiras cognitivas).
• Falta de Modelagem Estrutural: Os modelos atuais focam em enunciados individuais em vez de mundos cognitivos — conjuntos homogêneos de enunciados que compartilham uma proveniência e um compromisso epistêmico (ex: uma teoria específica ou o ponto de vista de um autor).

2. Metodologia: O Framework DEC

Os autores propõem o DEC (Doxástico, Epistêmico, Conjectural), um framework que interpreta predicados de proveniência como indicadores de postura epistêmica e agrupa enunciados em mundos cognitivos.

2.1 Fundamentação Teórica

O DEC é fundamentado em lógicas modais cognitivas, especificamente:

• Lógica Doxástica (KD45): Modela a crença. Agentes podem manter crenças inconsistentes com a realidade, mas as crenças devem ser internamente consistentes (racionalidade).
• Lógica Epistêmica (S5): Modela o conhecimento. As afirmações são tratadas como fatos; elas permeiam a realidade.
• Lógica Conjectural (KDC): Modela hipóteses. Agentes adotam fatos estabelecidos e adicionam suposições não verificadas.

Conceitos lógicos chave aplicados a KGs incluem:

• Localidade (Axioma K): O raciocínio é confinado dentro de um mundo cognitivo; inferências não cruzam fronteiras automaticamente.
• Racionalidade (Axioma D): Mundos cognitivos não podem conter contradições internas.
• Permeação:
  • De dentro para fora (Axioma T): Alegações epistêmicas permeiam o núcleo factual (Realidade).
  • De fora para dentro (Axioma C): Fatos estabelecidos permeiam mundos conjecturais.
• Intensionalidade: Identidade e equivalência (ex: owl:sameAs) não cruzam livremente fronteiras modais, resolvendo o Paradoxo do Superman ao tratar a identidade como dependente de contexto.

2.2 Formalização para RDF

Os autores definem uma interpretação-DEC para datasets RDF que é conservadora sobre a semântica RDF 1.2:

• Mundos Cognitivos: Representados como grafos nomeados, triplas citadas (RDF-star) ou reificação de enunciados.
• Grafo de Realidade ($r$): Um grafo distinguido construído a partir da união de todos os mundos Epistêmicos.
• Satisfação: Uma interpretação DEC satisfaz um grafo $g$ se a interpretação RDF subjacente satisfaz o grafo de realidade $r$. Mundos não-epistêmicos (crenças, conjecturas) não afetam as condições de verdade do dataset, a menos que sejam epistêmicos.
• Liquidação (Settlement): Um operador dinâmico (settle) permite que alegações conjecturais transitem para a camada epistêmica (Realidade) após validação, sem deletar a hipótese original.

2.3 Fenômenos Epistêmicos

O framework define e detecta formalmente:

• Desacordos: Dois mundos cognitivos estão em desacordo se sua união é logicamente inconsistente.
• Delírios: Um mundo é delirante se discorda do grafo de Realidade estabelecido.
• Opiniões Pessoais: Mundos que contêm alegações desprendidas da realidade verificável (ex: preferências) que não são nem suportadas nem refutadas por $r$.

3. Implementação e Resultados

Os autores implementaram um protótipo de Raciocinador DEC como um módulo para o Apache Jena Fuseki.

• Arquitetura: O raciocinador atua como uma camada supervisora sobre o raciocínio padrão de RDF/RDFS/OWL. Ele não substitui o raciocinador subjacente, mas prepara os grafos aplicando políticas de permeação baseadas no tipo epistêmico do mundo (ex: duplicando fatos em mundos conjecturais ou promovendo fatos epistêmicos para o grafo de realidade).
• Representações Suportadas: O sistema lida com Grafos Nomeados, RDF-star (triplas citadas) e Reificação clássica.
• Detecção de Inconsistência: O protótipo suporta dois mecanismos para detectar conflitos:
  1. Inconsistência Lógica: Usando o raciocinador OWL subjacente para verificar a satisfatibilidade das uniões de mundos.
  2. Restrições de Fechamento (dec:closedFor): Declarar explicitamente que certos predicados (ex: dc:creator) não podem ter múltiplos valores para o mesmo sujeito através dos mundos, permitindo a detecção de desacordo mesmo quando a inconsistência lógica não é imediatamente derivável.
• Resultados: O protótipo demonstra com sucesso:
  • A capacidade de manter teorias concorrentes (ex: autoria de Salvator Mundi ou Hamlet) sem colapsar o dataset em inconsistência.
  • A detecção de alegações delirantes (ex: uma crença que contradiz fatos estabelecidos).
  • A preservação da "verdade de atribuição" (a alegação de que X disse Y) mesmo quando o conteúdo Y é falso ou delirante.

4. Principais Contribuições

1. Caracterização Epistêmica de PES: Movendo a proveniência de metadados neutros para um operador semântico que define a relação entre um enunciado e a realidade.
2. Mundos Cognitivos: Introduzindo uma unidade estrutural (o mundo cognitivo) para agrupar enunciados de proveniência homogênea, permitindo a modelagem de teorias e debates acadêmicos como unidades coesas.
3. Resolução Formal de Problemas de Substituição: Fornecendo um tratamento intensional e principiado de identidade e equivalência em KGs, evitando o Paradoxo do Superman ao impor localidade.
4. Protótipo Operacional: Demonstrando que esses conceitos teóricos podem ser implementados como uma camada prática sobre a infraestrutura existente da Web Semântica (Jena/Fuseki) sem redefinir a entailment padrão do RDF.

5. Significância e Alegações

O artigo afirma que o DEC aborda uma lacuna semântica crítica em Grafos de Conhecimento: a incapacidade de raciocinar formalmente sobre a divergência de alegações. Ao distinguir entre data (fatos) e capta (alegações), o DEC permite que os KGs:

• Representem o estado de um debate, em vez de apenas uma única visão "factual".
• Suportem o raciocínio controlado, onde os desacordos são características explícitas, não erros a serem resolvidos.
• Permitam a evolução epistêmica, onde as alegações podem ser rastreadas conforme se movem de conjectura para liquidação (fato) ou são identificadas como delírios.

Os autores enfatizam que o DEC é conservador: ele não altera a semântica fundamental dos termos RDF ou predicados ontológicos, mas adiciona uma camada de interpretação meta. Isso permite a coexistência de perspectivas concorrentes sem sacrificar a capacidade de realizar inferência padrão sobre fatos estabelecidos. O trabalho sugere que futuros KGs em domínios como patrimônio cultural e pesquisa científica devem ir além da proveniência neutra para suportar a modelagem explícita de posturas epistêmicas.