Formal Power Series

PorJosé A. Alonso

Acaba de publicarse un nuevo artículo de razonamiento formalizado. El artículo es Formal Power Series publicado por Amine Chaieb en el Journal of Automated Reasoning.

El resumen que hace el autor del artículo es el siguiente: We present a formalization of the topological ring of formal power series in Isabelle/HOL. We also formalize formal derivatives, division, radicals, composition and reverses. As an application, we show how formal elementary and hyper-geometric series yield elegant proofs for some combinatorial identities. We easily derive a basic theory of polynomials. Then, using a generic formalization of the fraction field of an integral domain, we obtain formal Laurent series and rational functions for free.

La formalización completa se encuentra en Theory Formal Power Series

Aumento del número de alumnos

PorJosé A. Alonso

En los últimos días se están publicando artículos sobre el incremento de solicitudes de admisión en las distintas Universidades:

El aumento no se está produciendo en los Grados sino también en los Másteres. Por ejemplo, en nuestro Máster Universitario en Lógica, Computación e Inteligencia Artificial también se ha incrementado el número de solicitudes de admisión. En este momento hay 14 solicitudes para las 15 plazas ofertadas.

Lógica computacional y economía

PorJosé A. Alonso

EL País de hoy publica el artículo Las rentas salariales en el triple que las empresariales en el peor año de la crisis. En el artículo se comentan distintas paradojas lógicas de la economía.

A raíz de dicho artículo he intentado averiguar el estado actual de la aplicación de la Lógica Computacional a la Economía y, más generalmente, a las Ciencias Sociales. A continuación resumo el resultado de la búsqueda.

Se han realizado distintas formalizaciones en lógica de primer orden de teorías de las organizaciones y se ha estudiado propiedades de dichas teorías con OTTER y MACE. Algunas publicaciones de estos estudios son
Read More “Lógica computacional y economía”

Representación del conocimiento político

PorJosé A. Alonso

Uno de los campos de estudio de la lógica computacional es la representación del conocimiento que suele abordar mi compañero Joaquín Borrego en su blog Ontoblogia.

Uno de los problemas que se presentan en la representación del conocimiento, como señala J.A. Chaves en Reflexiones acerca de las teorías sobre ética en la representación del conocimiento, es la adaptación de las expresiones que evolucionan a lo largo de tiempo por la presión de lo “políticamente correcto”.

En estos días estamos asistiendo a una de dichas evoluciones: se está transformando la expresión “cementerio nuclear” en “almacén temporal centralizado”.
Read More “Representación del conocimiento político”

Estudios de Lógica Computacional

PorJosé A. Alonso

Ayer se planteó en Lambda the Ultimate la consulta Academic advice: Mathematics or Computer Science?. En esencia, la cuestión es cuál es el mejor camino hacia los estudios en los aspectos teóricos de la Ciencia de la Computación. En el debate se comentan las distintas opciones. De momento, parecen inclinarse por la vía matemática.

En España, dada la inexistencia de estudios de Grado específico las dos vías que existen es estudiar el Grado de Matemáticas o el Grado en Ingeniería Informática y, posteriormente estudiar un Máster orientado a la Ciencia de la Computación.

En cuanto a los estudios de Lógica Computacional se plantean los mismos problemas. En este caso también parece preferible el estudio de Matemáticas y, posiblemente, complementarlos a lo largo del Grado con cursos de formación complementaria.

Termino planteando dos cuestiones:

  1. ¿Qué le aconsejaríais a un alumno que quisiera estudiar Lógica Computacional con los planes de estudio actuales?
  2. ¿Cuál sería el plan de estudio ideal para formar especialistas en Lógica Computacional?