El álgebra como herramienta para el tratamiento de problemas de información.

Abstract

Este proyecto es continuación del CAI+D 2016 "Métodos algebraico-geométricos en la teoría de la información", y pretende proseguir con la investigación y búsqueda de soluciones algebraicas a problemas relacionados a la información. Son dos los principales recursos algebraicos en los que se focaliza nuestro estudio: por un lado la lógica algebraica provee herramientas para el desarrollo de sistemas lógicos formales, sistemas que solucionan problemas que se relacionan con el manejo de información incierta, imprecisa, vaga y hasta contradictoria. Por otro lado la teoría de códigos autocorrectores proporciona métodos eficientes de codificación y decodificación de la información, de manera que los errores no solamente puedan ser detectados sino que también se los pueda corregir automáticamente utilizando el código, sin necesidad de requerir retransmisión de la información enviada.

Our project is follows a previous CAI + D 2016 "Algebraic-geometric methods in information theory", and intends to continue with the research of algebraic solutions to problems related to information. There are two main algebraic resources that our study focuses on: on the one hand, algebraic logic provides tools for the development of formal logical systems, systems that solve problems that are related to the management of uncertain, imprecise, vague and even contradictory information. On the other hand, the theory of self-correcting codes provides efficient methods of encoding and decoding the information, so that errors can not only be detected but can also be corrected automatically using the code, without requiring retransmission of the information sent.