A transformação de textos legislativos em programas informáticos é essencial para que a lei seja aplicada em grande escala, por exemplo, no cálculo de impostos ou na distribuição de prestações sociais.
No entanto, esta tarefa é complexa devido ao carácter muitas vezes ambíguo e contextual dos textos jurídicos. CATALA foi concebida para responder a este desafio: uma linguagem de programação especialmente desenvolvida para transcrever a lei fielmente e de uma forma que possa ser explicada, garantindo que as regras jurídicas são aplicadas com exatidão.
Denis Merigoux é o chefe de projeto das infra-estruturas de software de apoio às políticas públicas na Inria.
"O objetivo não é formalizar ou codificar toda a lei, porque isso não faria sentido, mas estamos interessados na lei que já é executada automaticamente, como o cálculo das prestações sociais, dos impostos ou do desemprego",
. "Estamos realmente a conseguir que os advogados e os informáticos trabalhem em conjunto, trocando informações em direto sobre o código que o informático está a escrever, para que possam fazer alterações em tempo real. Graças a esta abordagem, torna-se possível garantir que as regras fiscais e de segurança social são aplicadas de forma exacta e fiel à lei, reduzindo assim o risco de erro e aumentando a transparência das decisões administrativas automatizadas."
Até à data, foram emitidas duas provas de conceito para as autoridades públicas:
Ao substituir os sistemas informáticos antigos de cálculo das prestações fiscais e sociais, a linguagem desenvolvida permitirá assegurar de forma exaustiva e explicável que os algoritmos da administração aplicam a lei tal como interpretada pelos serviços jurídicos das administrações, sem distorções nem aproximações.
Para ler o artigo completo: CATALA traduz a lei em código para uma administração mais fiável
Ilustração: Steve Buissinne - Pixabay
Leia mais sobre est
notícia
Visita inria.fr
Veja mais notícias desta instituição