Brief

Researchers have introduced DEC, a new framework designed to enhance knowledge graphs by interpreting provenance statements as indicators of epistemic stance. This approach groups statements into 'cognitive worlds' and uses modal logic to reason about attributed content, distinguishing between claims, interpretations, and observer-independent facts. A prototype DEC reasoner has been implemented for Fuseki datasets, supporting controlled factualization and the explicit detection of disagreements. AI

Researchers have developed a new impossibility theorem for combining modal judgments, demonstrating that Arrow-type impossibilities can emerge even in simplified modal logic settings. The study focuses on aggregating judgments about modal propositions rather than simple factual ones, showing that semantic structure alone can create the necessary logical interconnections for dictatorship. The analysis involves a semantic reduction theorem and a mechanism linking frame geometry to minimally inconsistent modal judgment sets, which also enables efficient aggregation procedures. AI