Federal Senate of Brazil
Researchers at the Federal Senate of Brazil developed an ontology-driven Graph RAG framework for legal norms, enabling deterministic, temporally-accurate retrieval and reconstruction of legal provisions and their historical evolution. The Structure-Aware Temporal Graph RAG (SAT-Graph RAG) framework supports auditable provenance reconstruction and hierarchical impact analysis for legislative texts.
This research from the Federal Senate of Brazil introduces the SAT-Graph API, a formal interaction protocol providing 28 canonical actions for querying the Structure-Aware Temporal Graph RAG. The API enables deterministic, auditable retrieval and causal tracing of legal norms, allowing AI systems to address complex legal queries previously intractable for standard RAG approaches.
Research from the Federal Senate of Brazil maps the formal LRMoo F1 Work entity to schema.org/Legislation using JSON-LD. This creates URI-addressable 'ground truth' anchors for abstract legal norms, enhancing discoverability and laying a foundation for deterministic Legal Knowledge Graphs.
João Alberto de Oliveira Lima from the University of Brasília and Federal Senate of Brazil developed a multi-layered embedding-based retrieval method that explicitly models the inherent hierarchical structure of legal documents. Applied to the Brazilian Constitution, this method demonstrated a higher proportion of essential retrieved chunks (37.86% vs. 16.39%) and fewer unnecessary chunks (58.25% vs. 75.41%) compared to traditional flat chunking, improving contextual input for RAG systems.
A method leveraging GPT-4 and Speech Act Theory to extract propositional content from user queries enhances Retrieval-Augmented Generation (RAG) system performance. By transforming queries into simplified, assertive statements, the approach boosts semantic similarity with knowledge base documents, leading to improvements in maximum cosine similarity by up to 7.5% for commissive and 6.9% for expressive speech acts.
This research from the Federal Senate of Brazil introduces an LRMoo-based, component-level modeling pattern for tracking the diachronic evolution of legal norms. The framework enables the precise, deterministic reconstruction of any legal text or its sub-components as they existed on a specific date, providing a verifiable ground truth for legal informatics.
A NN-body system is simple if all associated physically relevant space-time correlations are short-ranged, meaning that their momenta of all orders are finite. Such systems typically have a total number WW of admissible microscopic configurations which grows with NN as W(N)μN  (μ>1,N)W(N) \sim \mu^N\;(\mu >1, \, N\to\infty). Their thermostatistical properties are known to be satisfactorily handled within Boltzmann-Gibbs (BG) statistical mechanics. In contrast, a system is complex if one or more associated correlations are long-ranged. The simplest examples of such systems are those for which W(N)Nρ    (ρ>0)W(N) \sim N^\rho\;\;(\rho>0). A generalized statistical mechanics grounded on the nonadditive entropic functional Sq({pi})=ki=1Wpilnq1pi    (qR,  S1=SBG)S_q(\{p_{i}\})=k\sum_{i=1}^W p_i \ln_q \frac{1}{p_i} \;\;(q\in \mathbb{R}, \;S_1=S_{BG}) with lnqz=z1q11q\ln_q z =\frac{z^{1-q}-1}{1-q} (ln1z=lnz\ln_1 z=\ln z) satisfactorily handles such systems. Indeed, for equiprobabilities, Sq=11/ρ({1/W(N)})=kln11/ρW(N)NS_{q=1-1/\rho}(\{1/W(N)\})=k\ln_{1-1/\rho} W(N) \propto N. Furthermore, for complex systems, the size of the corresponding phase spaces can be related to the property lnq(xqy)=lnqx+lnqy\ln_q (x\otimes_q y) =\ln_q x + \ln_q y, x,y1x,y\geq1, q1q\leq 1, where xqy=[x1q+y1q1]+11q    (x1y=xy)x\otimes_q y=[x^{1-q}+y^{1-q}-1]^{\frac{1}{1-q}}_{+}\;\;(x\otimes_1 y=xy), and the qq-product q\otimes_q grounds the definition of a qq-generalized algebra. Another class of complex systems corresponds to W(N)νNγ    (ν>1,γ>0)W(N) \sim \nu^{N^\gamma}\;\;(\nu >1, \,\gamma > 0), which appears to be the case of black holes and other cosmological phenomena. This class can be handled with Sδ({pi})=ki=1Wpi(ln1pi)δ    (δ>0)S_\delta(\{p_{i}\}) = k\sum_{i=1}^W p_i \Bigl(\ln \frac{1}{p_i} \Bigr)^\delta \;\;(\delta>0). Finally, we can define Sq,δ({pi})=ki=1Wpi(lnq1pi)δS_{q,\delta}(\{p_{i}\})=k\sum_{i=1}^W p_i \Bigl(\ln_q \frac{1}{p_i} \Bigr)^\delta (qR,δ>0)(q\in\mathbb{R},\delta>0), which unifies all the above ones. In this paper, we generalize the qq-algebra to a new, promising one, namely the (q,δ)(q,\delta)-algebra.
I characterize stochastic non-tâtonnement processes (SNTP) and argue that they are a natural outcome of General Equilibrium Theory. To do so, I revisit the classical demand theory to define a normalized Walrasian demand and a diffeomorphism that flattens indifference curves. These diffeomorphisms are applied on the three canonical manifolds in the consumption domain (i.e., the indifference and the offer hypersurfaces and the trade hyperplane) to analyze their images in the normalized and the flat domains. In addition, relations to the set of Pareto optimal allocations on Arrow-Debreu and overlapping generations economies are discussed. Then, I derive, for arbitrary non-tâtonnement processes, an Attraction Principle based on the dynamics of marginal substitution rates seen in the "floor" of the flat domain. This motivates the definition of SNTP and, specifically, of Bayesian ones (BSNTP). When all utility functions are attractive and sharp, these BSNTP are particularly well behaved and lead directly to the calculation of stochastic trade outcomes over the contract curve, which are used to model price stickiness and markets' responses to sustained economic disequilibrium, and to prove a stochastic version of the First Welfare Theorem.
A well-known feature of overlapping generations economies is that the First Welfare Theorem fails and equilibrium may be inefficient. The Cass (1972) criterion furnishes a necessary and sufficient condition for efficiency, but does not address the matter of existence of efficient equilibria, and Cass, Okuno, and Zilcha (1979) provide nonexistence examples. I develop an algorithm based on successive approximations of a nonstationary, consumption-loan, prone to savings, overlapping generations economy with finite-lived heterogeneous agents to find elements of its set of equilibria as the limit of nested compact sets. These compact sets are the result of a backward calculation through equilibrium equations that departs from the set of Pareto optimal equilibria of well-behaved tail economies. The equilibria calculated through this algorithm satisfy the Cass (1972) criterion and are used to derive the existence results on efficient equilibria.
There are no more papers matching your filters at the moment.