La Edad Contemporánea de la Lógica

La Edad Contemporánea de la Lógica

Con trabajos de grandes matemáticos, la lógica tomo cuerpo como potente herramienta matemática. Sus trabajos dieron lugar a una disciplina referida de forma habitual como Lógica Computacional, en cuya concepción han intervenido, como hemos visto, al menos tres grupos diferentes con muy diferentes motivaciones. Sin lugar a dudas, la investigación acerca de las propiedades computacionales de la Lógica es la que, en mayor medida, goza de las características mas atractivas para un matemático, ya que considera los aspectos mas profundos del concepto de computación, permite plantearse problemas de la mas diversa dificultad, toda herramienta matemática le es útil, admite multitud de visiones mutuamente enriquecedoras y, además, exige el constante ir y venir de la abstracción a la realidad. En la actualidad la Lógica Computacional se puede dividir en distintas subespecialidades, cada una de ellas con importantes retos tanto desde el punto de vista de sus fundamentos matemáticos, como desde el de las aplicaciones prácticas que conllevan. Una de estas especialidades es la deducción automática, cuyo desarrollo y metas describiremos con detalle en la próxima sección; describimos someramente a continuación algunos otros tópicos de interés dentro de la Lógica Computacional. Creación de nuevas lógicas y métodos formales. Conforme la Informática ha ido evolucionando, en paralelo ha ido creciendo la necesidad de considerar (o crear) lógicas no clásicas que permitan modelizar distintos aspectos del razonamiento humano o distintas aplicaciones; por ejemplo, el control de procesos involucra modalidades como tiempo, conocimiento y creencia, es hoy una de las líneas de mayor interés y que reclama mayores esfuerzos de investigación. Lenguajes lógicos de programación. En este punto se incluye el estudio de las relaciones entre la l´ogica y los lenguajes de programación, incluyendo los fundamentos lógico-matemáticos de los lenguajes de programación (como el uso de la lógica como base para definir un lenguaje de programación, o para proporcionar la semántica de los programas), y la lógica como herramienta matemática para expresar características de los programas, como en el paradigma de programación lógica con restricciones. Lógica para el procesamiento de información. En esta área se pueden destacar varias ramas en las que interviene la l´ogica, por ejemplo el desarrollo de sistemas de conocimiento y bases de datos, los sistemas multi-agentes, y el procesado del lenguaje natural. En el desarrollo de sistemas lógicos de conocimiento, se incluye el uso de estructuras lógicas en las bases de datos, la revisión de creencias, la integración de información y la modelizacion lógica del aprendizaje. Por su parte, la interacción con los sistemas multi-agentes incluye el desarrollo de lógicas del tiempo y la acción, razonamiento abductivo (que se puede interpretar como búsqueda de explicaciones a hechos observados) o razonamiento no monótono (en el que fórmulas deducidas previamente pueden no ser válidas con un conjunto mayor de hipótesis). Por ultimo, respecto del procesado del lenguaje natural, cabe destacar el desarrollo de semánticas lógicas para el lenguaje, la comprensión del lenguaje como procesos de inferencia, y los formalismos basados en la l´ogica para el análisis de las gramáticas. Aplicaciones de la Lógica a la ingeniería. Los métodos lógicos están desempeñando un papel cada vez más importante en distintos campos de la ingeniería, especialmente en ingeniería eléctrica e ingeniería mecánica. Las técnicas más relevantes hacen uso de la lógica difusa y de instrumentos de control lógico para, por ejemplo, el desarrollo de controladores difusos para la industria, o el uso de herramientas lógicas para el control y la verificación de instrumentos mecánicos.