MaTest

Se ha completado el manual de usuario para la versión 1.0, aquí.

Actualizado el wiki a la última versión de DokuWiki. También se ha añadido el Translation Plugin para incluir traducciones de la documentación.

Terminada la primera versión de la rama 1.x del programa. Esta nueva versión supone un avance significativo respecto de la primera versión disponible, principalmente el manejo dinámico de la memoria, eliminación de las limitaciones respecto de las variables y las conectivas, y un algoritmo de evaluación que es una solución general al problema.

Las nuevas características que incorpora son las siguientes:

• Código fuente modular.
• Mensajes y menús en Inglés.
• Reserva dinámica de memoria.
• Dimensión de las matrices libre (limitado por la memoria disponible).
• Posibilidad de definir nuevas conectivas y de borrar las ya existentes.
• Posibilidad de guardar las matrices en un archivo externo. Éstas se guardan en formato de tabla simple, legible tanto por una persona como por un ordenador. Pensado principalmente para guardar las matrices definidas y para una futura opción de cargar las matrices desde archivos externos que se puedan editar con un editor de texto corriente.
• Las variables son registradas por demanda.
• Menús rediseñados. Mejorada la robustez de la entrada de datos.
• La detección de las fórmulas bien formadas en notación polaca se efectúa en función de los datos proporcionados por el usuario según la convención que se comentó en un post anterior: cualquier letra mayúscula es una conectiva, cualquier letra minúscula es una variable.
• Mejoras en la detección de errores en fórmulas mal formadas.  Creado un parser que transforma una fórmula bien formada en notación polaca en una estructura de datos tipo árbol.
• Algoritmo de evaluación general. Las fbf’s individuales se evalúan mediante la estructura en árbol (evaluación independiente de la notación empleada), todas las posibilidades se calculan en función de la dimensión dada y de las variables definidas por el usuario (independiente de valores predefinidos).
• Posibilidad de seleccionar los valores mostrados en la evaluación, entre: todos, valores designados o valores no designados. También se muestran estadísticas a continuación de las fórmulas evaluadas.

En vistas a eliminar las limitaciones de las cinco variables y de las conectivas predefinidas, en futuras versiones se va a adoptar la siguiente convención para las fórmulas escritas en notación polaca:

En una fórmula escrita en notación polaca, toda letra mayúscula se considerará una conectiva, toda letra minúscula se considerará una variable.

La definición de fórmula bien formada en notación polaca no dependerá ya de las conectivas y variables previamente definidas, es decir, no dependerá de limitaciones estructurales propias del programa, sino de las conectivas definidas por el usuario y la elección de cualesquiera nombres para las variables. El programa se las habrá con lo que proporcione el usuario. El algoritmo que chequea las fórmulas se vuelve independiente y es una solución general en base a dicha conveción.

Esto no elimina toda limitación, pero un máximo de 26 conectivas definidas y 26 variables para una fórmula es un límite más que aceptable, seguramente nunca se necesite más que esto.

Ya está disponible una primera (y precaria) versión del programa. Hay mucho que mejorar pero, al menos, es funcional.

Se trata de un único archivo de código fuente. Contiene algunas que otras “malas prácticas de programación”. La memoria se administra estáticamente, lo cual supone ciertas limitaciones; esto es algo que se solucionará en futuras versiones. Por otro lado, hay mucho que mejorar respecto a la robustez del código.

De momento, hay una serie de limitaciones estructurales en el programa que se irán solventando en las siguientes versiones y las cuales son:

• Las matrices están limitadas a una dimensión máxima de 10×10.
• Sólo se pueden usar las 6 conectivas predefinidas: implicación, negación, conjunción, disyunción, necesidad y posibilidad.
• Sólo se pueden usar 5 variables: p, q, r, s, t.

Las limitaciones anteriores suponen a su vez que:

• La identificación de las fórmulas bien formadas depende de las conectivas y variables definidas de antemano.
• El algoritmo de evaluación está condicionado por dichas limitaciones e implementado en base a ellas. No se trata, por tanto, de una solución general.

Por último, habría que mejorar ciertas cosas y añadir algunas opciones para mejorar la interfaz de usuario, para hacer el programa más “user friendly”.

MaTest, acrónimo de Matrix Tester, es un téster de matrices lógicas, útil en la investigación en lógica matemática y lógica filosófica. Definidas unas matrices, un mínimo valor designado y dada una fórmula bien formada, calcula todas las valoraciones posibles y evalúa en cada caso si es un valor designado o no.

MaTest es software libre, se distribuye bajo licencia GPLv3+. Está programado en ANSI C estándar y es multiplataforma.

En este blog se irán añadiendo las noticias relativas a su desarrollo: nuevas características, nuevas versiones, etc.