Un equipo de investigadores de la Facultad de Ciencias Exactas de la Universidad de Buenos Aires (UBA) cree que es posible mejorar herramientas informáticas que permitan encontrar problemas lógicos en textos reglamentarios, legislativos, y otros por el estilo. Por ello, se embarcó en la tarea de utilizar la informática para detectar errores o defectos en reglamentos o normas jurídicas que pasen inadvertidos para las personas.

Investigadores que cuestionaron el reglamento universitario por problemas y contradicciones, 'típicos reglamentos que regulan la vida cotidiana y no tienen un buen nivel de calidad', concluyeron ante Página 12, que se podía hacer un análisis lógico parecido a los que hacían con el software para poner a prueba la coherencia interna. El lenguaje de fórmulas que desarrollaron fue bautizado como FormaLex. Desde entonces, el grupo de investigación intenta tomar leyes que están expresadas como fórmulas lógicas, normas más bien operativas.

La idea para los investigadores es que a la hora de escribir una norma o reglamento, quien este encargado debe hacer una especie de control de calidad y recurra a un experto que traduzca todo a lógica para poder hallar y corregir los defectos. Todo esto aún se mantiene en una etapa de investigación.