Modelos de computación lógica con ADN

La computación molecular es una disciplina que se ocupa del diseño e implementación de dispositivos para el procesamiento de información sobre un sustrato biológico, como el ácido desoxirribonucleico (ADN), el ácido ribonucleico (ARN) o las proteínas. Desde que Watson y Crick descubrieron en los años cincuenta la estructura molecular del ADN en forma de doble hélice, se desencadenaron otros descubrimientos como las enzimas que cortan el ADN o la reacción en cadena de la polimerasa (PCR), contribuyendo más que signi�cativamente a la irrupción de la tecnología del ADN recombinante. Gracias a esta tecnología y al descenso vertiginoso de los precios de secuenciación y síntesis del ADN, la computación biomolecular pudo abandonar su concepción puramente teórica. En 1994, Leonard Adleman logró resolver un problema de computación NP-completo (El Problema del Camino de Hamilton Dirigido) utilizando únicamente moléculas de ADN. La gran capacidad de procesamiento en paralelo ofrecida por las técnicas del ADN recombinante permitió a Adleman ser capaz de resolver dicho problema en tiempo polinómico, aunque a costa de un consumo exponencial de moléculas de ADN. Utilizando algoritmos similares al de �fuerza bruta� utilizado por Adleman se logró resolver otros problemas NP-completos (por ejemplo, el de Satisfacibilidad de Fórmulas Lógicas / SAT). Pronto se comprendió que la computación con biomolecular no podía competir en velocidad ni precisión con los ordenadores de silicio, por lo que su enfoque y objetivos se centraron en la resolución de problemas biológicos con aplicación biomédica, dejando de lado la resolución de problemas clásicos de computación. Desde entonces se han propuesto diversos modelos de dispositivos biomoleculares que, de forma autónoma (sin necesidad de un bio-ingeniero realizando operaciones de laboratorio), son capaces de procesar como entrada un sustrato biológico y proporcionar una salida también en formato biológico: procesadores que aprovechan la extensión de la Polimerasa, autómatas que funcionan con enzimas de restricción o con deoxiribozimas, circuitos de hibridación competitiva. Esta tesis presenta un conjunto de modelos de dispositivos de ácidos nucleicos escalables, sensibles al tiempo y energéticamente e�cientes, capaces de implementar diversas operaciones de computación lógica aprovechando el fenómeno de la hibridación competitiva del ADN. La capacidad implícita de estos dispositivos para aplicar reglas de inferencia como modus ponens, modus tollens, resolución o el silogismo hipotético tiene un gran potencial. Entre otras funciones, permiten representar implicaciones lógicas (o reglas del tipo SI/ENTONCES), como por ejemplo, �si se da el síntoma 1 y el síntoma 2, entonces estamos ante la enfermedad A�, o �si estamos ante la enfermedad B, entonces deben manifestarse los síntomas 2 y 3�. Utilizando estos módulos lógicos como bloques básicos de construcción, se pretende desarrollar sistemas in vitro basados en sensores de ADN, capaces de trabajar de manera conjunta para detectar un conjunto de síntomas de entrada y producir un diagnóstico de salida. La reciente publicación en la revista Science de un autómata biomolecular de diagnóstico, capaz de tratar las células cancerígenas sin afectar a las células sanas, es un buen ejemplo de la relevancia cientí�ca que este tipo de autómatas tienen en la actualidad. Además de las recién mencionadas aplicaciones en el diagnóstico in vitro, los modelos presentados también tienen utilidad en el diseño de biosensores inteligentes y la construcción de bases de datos con registros en formato biomolecular que faciliten el análisis genómico. El estudio sobre el estado de la cuestión en computación biomolecular que se presenta en esta tesis está basado en un artículo recientemente publicado en la revista Current Bioinformatics. Los nuevos dispositivos presentados en la tesis forman parte de una solicitud de patente de la que la UPM es titular, y han sido presentados en congresos internacionales como Unconventional Computation 2010 en Tokio o Synthetic Biology 2010 en París.

Nuevas oportunidades para la Universidad: Educación para el desarrollo sostenible a través de la lógica borrosa

Se utiliza la lógica borrosa como herramienta para el desarrollo sostenible

Contribución al estudio de dos conceptos básicos de la lógica fuzzy

La tesis doctoral CONTRIBUCIÓN AL ESTUDIO DE DOS CONCEPTOS BÁSICOS DE LA LÓGICA FUZZY constituye un conjunto de nuevas aportaciones al análisis de dos elementos básicos de la lógica fuzzy: los mecanismos de inferencia y la representación de predicados vagos. La memoria se encuentra dividida en dos partes que corresponden a los dos aspectos señalados. En la Parte I se estudia el concepto básico de «estado lógico borroso». Un estado lógico borroso es un punto fijo de la aplicación generada a partir de la regla de inferencia conocida como modus ponens generalizado. Además, un preorden borroso puede ser representado mediante los preórdenes elementales generados por el conjunto de sus estados lógicos borrosos. El Capítulo 1 está dedicado a caracterizar cuándo dos estados lógicos dan lugar al mismo preorden elemental, obteniéndose también un representante de la clase de todos los estados lógicos que generan el mismo preorden elemental. El Capítulo finaliza con la caracterización del conjunto de estados lógicos borrosos de un preorden elemental. En el Capítulo 2 se obtiene un subconjunto borroso trapezoidal como una clase de una relación de indistinguibilidad. Finalmente, el Capítulo 3 se dedica a estudiar dos tipos de estados lógicos clásicos: los irreducibles y los minimales. En el Capítulo 4, que inicia la Parte II de la memoria, se aborda el problema de obtener la función de compatibilidad de un predicado vago. Se propone un método, basado en el conocimiento del uso del predicado mediante un conjunto de reglas y de ciertos elementos distinguidos, que permite obtener una expresión general de la función de pertenencia generalizada de un subconjunto borroso que realice la función de extensión del predicado borroso. Dicho método permite, en ciertos casos, definir un conjunto de conectivas multivaluadas asociadas al predicado. En el último capítulo se estudia la representación de antónimos y sinónimos en lógica fuzzy a través de auto-morfismos. Se caracterizan los automorfismos sobre el intervalo unidad cuando sobre él se consideran dos operaciones: una t-norma y una t-conorma ambas arquimedianas. The PhD Thesis CONTRIBUCIÓN AL ESTUDIO DE DOS CONCEPTOS BÁSICOS DE LA LÓGICA FUZZY is a contribution to two basic concepts of the Fuzzy Logic. It is divided in two parts, the first is devoted to a mechanism of inference in Fuzzy Logic, and the second to the representation of vague predicates. «Fuzzy Logic State» is the basic concept in Part I. A Fuzzy Logic State is a fixed-point for the mapping giving the Generalized Modus Ponens Rule of inference. Moreover, a fuzzy preordering can be represented by the elementary preorderings generated by its Fuzzy Logic States. Chapter 1 contemplates the identity of elementary preorderings and the selection of representatives for the classes modulo this identity. This chapter finishes with the characterization of the set of Fuzzy Logic States of an elementary preordering. In Chapter 2 a Trapezoidal Fuzzy Set as a class of a relation of Indistinguishability is obtained. Finally, Chapter 3 is devoted to study two types of Classical Logic States: irreducible and minimal. Part II begins with Chapter 4 dealing with the problem of obtaining a Compa¬tibility Function for a vague predicate. When the use of a predicate is known by means of a set of rules and some distinguished elements, a method to obtain the general expression of the Membership Function is presented. This method allows, in some cases, to reach a set of multivalued connectives associated to the predicate. Last Chapter is devoted to the representation of antonyms and synonyms in Fuzzy Logic. When the unit interval [0,1] is endowed with both an archimedean t-norm and a an archi-medean t-conorm, it is showed that the automorphisms' group is just reduced to the identity function.

Diseño de visualizaciones para programación lógica con restricciones

En este se estudia diseños y e implementaciones de paradigmas visuales para observar la ejecución de programas lógicos con restricciones, enfocados hacia la depuración, optimización y enseñanza. Nos centraremos en la representación de datos en ejecuciones CLP, donde perseguimos la representación de variables con restricciones y de las restricciones en sí mismas. Se han implementado dos herramientas, VIFID y TRIFID, que utilizan dichas representaciones y que se usan para mostrar la utilidad de las visualizaciones desarrolladas.

Perspectiva jurídica de la gestión y conservación de los recursos pesqueros en España. La pesca-turismo como opción de futuro

El objetivo de la presente Tesis está dirigido a analizar diversas opciones de diversificación que la pesca marítima profesional puede tener, poniendo el acento en el respeto al medio ambiente. En concreto la Pesca-turismo aparece como una de las alternativas más viables tanto por su respeto al medio ambiente como por su relativamente sencilla posibilidad de implantación en España. A fin de poder desarrollar la misma se proponen los cambios legislativos necesarios para su implantación en nuestro país procediéndose, para ello, al estudio de la situación actual de la actividad pesquera en nuestro país desde un punto de vista jurídico, con una especial consideración de la gestión y conservación de los recursos pesqueros. El estudio de su posible implantación en España, comienza analizando cuáles son las diferentes administraciones que influyen en dicha actividad y en qué medida lo hacen, tanto en el ámbito nacional como en el supranacional, con una especial referencia a la Unión Europea, así como la organización de las mismas. Acto seguido se procede al examen, tanto de la normativa sobre la materia, como de la jurisprudencia y la doctrina aplicables a la actividad de pesca marítima en España para, una vez llevado a cabo dicho estudio, comenzar con el examen de los requisitos exigidos, ya sean éstos de índole material o humana, a aquéllos que quieran llevarla a cabo. A continuación, se estudia el régimen de infracciones y sanciones, entrando, por último, en el terreno más propiamente de conservación de los recursos, donde se examinan las medidas que, a tal fin, se encuentran en nuestro ordenamiento jurídico. Más adelante se analiza, siquiera sea brevemente, la pesca deportiva, que, aunque con una incidencia muy inferior, no deja de ser otra forma de actividad extractiva. La existencia de otras experiencias parecidas a la propuesta de pesca-turismo en el ámbito internacional es objeto de estudio a fin de determinar cuál es la situación en otros países donde se hayan implantado con anterioridad. Para ello se lleva a cabo un análisis de las distintas soluciones que a este mismo problema se han dado en otros países también con amplia tradición en este campo procediendo, a tal fin, a un estudio de la legislación sobre la pesca-turismo, fundamentalmente en Italia, pero también en Francia y Portugal. A la vista de cuanto antecede es posible concluir que al día de hoy no es factible la realización de las actividades de Pesca-turismo con los instrumentos jurídicos de los que se dispone en España, dado que existen puntos sustanciales en los mismos que o bien impiden o bien no permiten su desarrollo. Por tanto el planteamiento de tales actividades necesariamente conlleva una serie de modificaciones normativas. El siguiente paso y en relación con las modificaciones normativas a efectuar, se ofrece un texto alternativo al texto legal a modificar (Ley 3/2001 de Pesca Marítima del Estado) y al Real Decreto 1027/1989, mientras que se dejan efectuados los apuntes precisos de cual debería de ser el marco reglamentario que, en desarrollo de las modificaciones anteriores, posibilitasen el ejercicio de la Pesca-turismo en España. Por último se ha optado por efectuar un análisis de la opinión del sector, tendente a verificar si los datos obtenidos empíricamente quedaban asimismo reflejados en las actitudes de los destinatarios finales de tales normas, que no serían otros que los pescadores profesionales. A tal fin se ha procedido a recoger las opiniones de diversos colectivos del sector, a través tanto de las cofradías de pescadores como de las Federaciones, acerca de las actividades de pesca-turismo, buscando la representación de todas las zonas geográficas. Fruto de tal investigación se ha llegado a la conclusión de que el desarrollo de las actividades propuesta de pescaturismo cuenta con una opinión favorable dentro del sector que, con una mayoría aplastante se manifestó a favor de desarrollar la posibilidad de ejercicio de la mismas. SUMMARY The objective of this thesis is aimed to analyze various options of diversification that commercial maritime fishing can have, with an emphasis on respect for the environment. Specifically, fishing-tourism appears as one of the most viable alternatives because of its environmental friendliness as well by its relatively simple possibility of implementation in Spain In order to develop it, it is proposed the necessary changes legislative for implementation in our country proceeding to study of the current situation of fisheries in our country from a legal perspective, with special consideration of the management and conservation of fisheries resources. The study of their possible implementation in Spain, begins by analyzing which are the different administrations that influence in that activity and to what extent they do, both at the national field as well at the supranational field, with special reference to the European Union and organization of thereof. Then proceeds to an examination, both of the relevant legislation as well as of the jurisprudence and doctrine applicable to maritime fishing in Spain for, once conducted this study, to begin with the consideration of the requirements, be they human or material, to those who want to carry out. Then studies the regime of offences and penalties, entering, finally, in the field conservation of resources, where discusses measures which, to this end, are in our legal system Later analyzes, even briefly, sport fishing, which, although with a much lower incidence, it is another form of extractive activity. The existence of other similar experiences to the proposal of fishing-tourism in the international arena is object of study in order to determine which is the situation in other countries where it has been implemented previously. For that it is carried out an analysis of the different solutions that to this same problem have been given in other countries with long tradition in this field, to proceed to study about legislation on fishing-tourism, fundamentally in Italy, but also in France and Portugal In view of the above it can be concluded that today is not feasible to implement the fishing-tourism activities with the legal instruments that are available in Spain, as there are substantial points which prevent them or not allows its development. Therefore the approach to such activities necessarily entails a series of normatives changes. The next step and in relation to normatives changes to do, it is offered an alternative text to the legal text to modify (Law 3/2001 of the State Marine Fisheries) and to the Royal Decree No. 1027 / 1989, while we leave made accurate notes about which ought be the reglamentary framework that, in developing of the above modifications, can be enable exercise of fishing-tourism in Spain. Finally, it is been opted to carry out an analysis of the opinion of the sector, aimed at verifying if data obtained empirically were also reflected in the attitudes of the final recipients of such standards, who would not be other than the professional fishermen. For this purpose it has been collected the opinions of various groups of the sector, through of fishermen's associations and federations, about of the activities of tourism-fishing, looking for the representation of all geographical areas. The result of such an investigation has concluded that the development of this proposed activities fishing-tourism has a positive opinion within the sector because an overwhelming majority was in favor of developing the possibility of exercise of the same.

Contribución al estudio de la incompatibilidad y otras medidas relacionadas en la lógica borrosa

Resumen La investigación descrita en esta memoria se enmarca en el campo de la lógica borro¬sa. Más concretamente, en el estudio de la incompatibilidad, de la compatibilidad y de la suplementaridad en los conjuntos borrosos y en los de Atanassov. En este orden de ideas, en el primer capítulo, se construyen, tanto de forma directa como indirecta, funciones apropiadas para medir la incompatibilidad entre dos conjuntos borro-sos. Se formulan algunos axiomas para modelizar la continuidad de dichas funciones, y se determina si las medidas propuestas, y otras nuevas que se introducen, verifican algún tipo de continuidad. Finalmente, se establece la noción de conjuntos borrosos compatibles, se introducen axiomas para medir esta propiedad y se construyen algunas medidas de compa¬tibilidad. El segundo capítulo se dedica al estudio de la incompatibilidad y de la compatibilidad en el campo de los conjuntos de Atanassov. Así, en primer lugar, se presenta una definición axiomática de medida de incompatibilidad en este contexto. Después, se construyen medidas de incompatibilidad por medio de los mismos métodos usados en el caso borroso. Además, se formulan axiomas de continuidad y se determina el tipo de continuidad de las medidas propuestas. Finalmente, se sigue un camino similar al caso borroso para el estudio de la compatibilidad. En el tercer capítulo, después de abordar la antonimia de conjuntos borrosos y de conjuntos de Atanassov, se formalizan las nociones de conjuntos suplementarios en estos dos entornos y se presenta, en ambos casos, un método para obtener medidas de suplementaridad a partir de medidas de incompatibilidad vía antónimos. The research described in this report pertains to the field of fuzzy logic and specifically studies incompatibility, compatibility and supplementarity in fuzzy sets and Atanassov's fuzzy sets. As such is the case, Chapter 1 describes both the direct and indirect construction of appropriate functions for measuring incompatibility between two fuzzy sets. We formulate some axioms for modelling the continuity of functions and determine whether the proposed and other measures introduced satisfy any type of continuity. Chapter 2 focuses on the study of incompatibility and compatibility in the field of Ata¬nassov's fuzzy sets. First, we present an axiomatic definition of incompatibility measure in this field. Then, we use the same methods to construct incompatibility measures as in the fuzzy case. Additionally, we formulate continuity axioms and determine the type of conti¬nuity of the proposed measures. Finally, we take a similar approach as in the fuzzy case to the study of compatibility. After examining the antonymy of fuzzy sets and Atanassov's sets, Chapter 3 formalizes the notions of supplementary sets in these two domains, and, in both cases, presents a method for obtaining supplementarity measures from incompatibility measures via antonyms.

Evaluación de la sostenibilidad de proyectos con lógica borrosa

La sostenibilidad constituye un criterio esencial para evaluar la calidad de un proyecto. En este sentido este trabajo presenta el desarrollo de una metodología y un programa para la evaluación de la sostenibilidad social, económica y medio-ambiental de proyectos para llegar a conseguir una evaluación global de sostenibilidad de dichos proyectos. Tradicionalmente los estudios y evaluación de proyectos se realizan sólo desde el punto de vista económico. Se aplica la lógica borrosa a cada uno de los cálculos que se realizan en el análisis global de la sostenibilidad: valoración de indicadores, la evaluación cuantitativa y cualitativa del impacto que produce un proyecto en los diferentes factores medioambientales, sociales y económicos. Cabe destacar que dependiendo del tipo de proyecto se tendrá un peso de cada indicador y de cada factor distinto. Se ha tomado como base la normativa existente para la evaluación del impacto ambiental

Lógica y volatilidad de la máquina digital

Un método habitual de formarse una idea del futuro de la tecnología es leer a un reducido grupo de personajes, tales como Gates o Negroponte. Estos también confunden sus deseos con la realidad, tienden a ver el mundo en colorines y yerran, pero tienen sobre nosotros la ventaja de que sus palabras son las palabras de un selecto y denso colectivo de superespecialistas a sus órdenes. En parte, ellos son los dueños del futuro, lo están diseñando, construyendo o comprando en sus laboratorios o empresas. Tienen poder.

Manejo de memoria en programación lógica con tabulación

Los lenguajes de programación son el idioma que los programadores usamos para comunicar a los computadores qué queremos que hagan. Desde el lenguaje ensamblador, que traduce una a una las instrucciones que interpreta un computador hasta lenguajes de alto nivel, se ha buscado desarrollar lenguajes más cercanos a la forma de pensar y expresarse de los humanos. Los lenguajes de programación lógicos como Prolog utilizan a su vez el lenguaje de la lógica de 1er orden de modo que el programador puede expresar las premisas del problema que se quiere resolver sin preocuparse del cómo se va a resolver dicho problema. La resolución del problema se equipara a encontrar una deducción del objetivo a alcanzar a partir de las premisas y equivale a lo que entendemos por la ejecución de un programa. Ciao es una implementación de Prolog (http://www.ciao-lang.org) y utiliza el método de resolución SLD, que realiza el recorrido de los árboles de decisión en profundidad(depth-first) lo que puede derivar en la ejecución de una rama de busqueda infinita (en un bucle infinito) sin llegar a dar respuestas. Ciao, al ser un sistema modular, permite la utilización de extensiones para implementar estrategias de resolución alternativas como la tabulación (OLDT). La tabulación es un método alternativo que se basa en memorizar las llamadas realizadas y sus respuestas para no repetir llamadas y poder usar las respuestas sin recomputar las llamadas. Algunos programas que con SLD entran en un bucle infinito, gracias a la tabulación dán todas las respuestas y termina. El modulo tabling es una implementación de tabulación mediante el algoritmo CHAT. Esta implementación es una versión beta que no tiene implementado un manejador de memoria. Entendemos que la gestión de memoria en el módulo de tabling tiene gran importancia, dado que la resolución con tabulación permite reducir el tiempo de computación (al no repetir llamadas), aumentando los requerimientos de memoria (para guardar las llamadas y las respuestas). Por lo tanto, el objetivo de este trabajo es implementar un mecanismo de gestión de la memoria en Ciao con el módulo tabling cargado. Para ello se ha realizado la implementación de: Un mecanismo de captura de errores que: detecta cuando el computador se queda sin memoria y activa la reinicialización del sitema. Un procedimiento que ajusta los punteros del modulo de tabling que apuntan a la WAM tras un proceso de realojo de algunas de las áreas de memoria de la WAM. Un gestor de memoria del modulo de tabling que detecta c realizar una ampliación de las áreas de memoria del modulo de tabling, realiza la solicitud de más memoria y realiza el ajuste de los punteros. Para ayudar al lector no familiarizado con este tema, describimos los datos que Ciao y el módulo de tabling alojan en las áreas de memoria dinámicas que queremos gestionar. Los casos de pruebas desarrollados para evaluar la implementación del gestor de memoria, ponen de manifiesto que: Disponer de un gestor de memoria dinámica permite la ejecución de programas en un mayor número de casos. La política de gestión de memoria incide en la velocidad de ejecución de los programas. ---ABSTRACT---Programming languages are the language that programmers use in order to communicate to computers what we want them to do. Starting from the assembly language, which translates one by one the instructions to the computer, and arriving to highly complex languages, programmers have tried to develop programming languages that resemble more closely the way of thinking and communicating of human beings. Logical programming languages, such as Prolog, use the language of logic of the first order so that programmers can express the premise of the problem that they want to solve without having to solve the problem itself. The solution to the problem is equal to finding a deduction of the objective to reach starting from the premises and corresponds to what is usually meant as the execution of a program. Ciao is an implementation of Prolog (http://www.ciao-lang.org) and uses the method of resolution SLD that carries out the path of the decision trees in depth (depth-frist). This can cause the execution of an infinite searching branch (an infinite loop) without getting to an answer. Since Ciao is a modular system, it allows the use of extensions to implement alternative resolution strategies, such as tabulation (OLDT). Tabulation is an alternative method that is based on the memorization of executions and their answers, in order to avoid the repetition of executions and to be able to use the answers without reexecutions. Some programs that get into an infinite loop with SLD are able to give all the answers and to finish thanks to tabulation. The tabling package is an implementation of tabulation through the algorithm CHAT. This implementation is a beta version which does not present a memory handler. The management of memory in the tabling package is highly important, since the solution with tabulation allows to reduce the system time (because it does not repeat executions) and increases the memory requirements (in order to save executions and answers). Therefore, the objective of this work is to implement a memory management mechanism in Ciao with the tabling package loaded. To achieve this goal, the following implementation were made: An error detection system that reveals when the computer is left without memory and activate the reinizialitation of the system. A procedure that adjusts the pointers of the tabling package which points to the WAM after a process of realloc of some of the WAM memory stacks. A memory manager of the tabling package that detects when it is necessary to expand the memory stacks of the tabling package, requests more memory, and adjusts the pointers. In order to help the readers who are not familiar with this topic, we described the data which Ciao and the tabling package host in the dynamic memory stacks that we want to manage. The test cases developed to evaluate the implementation of the memory manager show that: A manager for the dynamic memory allows the execution of programs in a larger number of cases. Memory management policy influences the program execution speed.

Estructuras óptimas de detección y corrección de errores dirigidas a computadores construidos con lógica de alto nivel de Integración: aplicación industrial

Este trabajo trata de la aplicación de los códigos detectores y correctores de error al diseño de los Computadores Tolerantes a Fallos, planteando varias estrategias óptimas de detección y corrección para algunos subsistemas. En primer lugar,"se justifica la necesidad de aplicar técnicas de Tolerancia a Fallos. A continuación se hacen previsiones de evolución de la tecnología de Integración, así como una tipificación de los fallos en circuitos Integrados. Partiendo de una recopilación y revisión de la teoría de códigos, se hace un desarrollo teórico cuya aplicación permite obligar a que algunos de estos códigos sean cerrados respecto de las operaciones elementales que se ejecutan en un computador. Se plantean estrategias óptimas de detección y corrección de error para sus subsistemas mas Importantes, culminando en el diseño, realización y prueba de una unidad de memoria y una unidad de proceso de datos con amplias posibilidades de detección y corrección de errores.---ABSTRACT---The present work deals with the application of error detecting and correctíng codes to the désign of Fault Tolerant Computers. Several óptimo» detection and correction strategies are presented to be applied in some subsystems. First of all, the necessity of applying Fault Tolerant techniques is explained. Later, a study on íntegration technology evolution and typification of Integrated circuit faults 1s developed. Based on a compilation and revisión of Coding Theory, a theoretical study is carried out. It allows us to force some of these codes to be closed over elementary operations. Optimum detection and correction techniques are presented for the raost important subsystems. Flnally, the design, building and testing of a memory unit and a processing unit provided with wlde error detection and correction posibilities 1s shown.

Bases para un planteamiento jerárquico de la lógica aplicable a la representación e interpretación del conocimiento

Uno de los campos de investigación más activos hoy en dia dentro del terreno de la inteligencia artificial (I.A.) es el de la representación del conocimiento. Actualmente es usual el clasificar los esquemas de representación del conocimiento en tres grandes grupos [Mylos 82]: Lógicos, de redes semánticas y procedimentales. Ponemos en primer lugar las representaciones lógicas porque es precisamente dentro de ellas donde el presente trabajo se puede encuadrar.

Tratamiento N-categorial de la lógica de la programación

En el contexto de las técnicas de validación de programas, de las estructuras de axiomatización de la programación planteadas por Hoare y del desarrollo de la Lógica de la Programación que Dijkstra realiza con el operador wp, hemos dotado a los elementos esenciales que intervienen en dicho desarrollo de una estructura que permite su estudio en el ámbito de las categorias. En este trabajo se demuestra que el conjunto de precondiciones de un fragmento de programa anotado tiene estructura de N-categoría y que sucede lo mismo con el conjunto de postcondiciones. Más aún, se ha puesto de manifiesto (y probado) que el operador wp actúa como un funtor entre estos pares de N-categorías. Además, los conjuntos de guardas surgen de un modo natural en la lógica de la programación, han sido tratados desde el punto de vista de la semántica denotacional (Wlrth para el PASCAL y Scott y otros, después, en un enfoque más general) y presentados por Manes y Arbib en su semántica parcialmente aditiva. Pues bien, en este trabajo se demuestra que los conjuntos de guardas tienen también estructura de N-categoría y gue cualguier N-categoría dotada de una suma definida adecuadamente tiene estructura de conjunto de guardas, de tal modo, además, gue el preorden inducido por la suma en el conjunto de guardas coincide con la flecha de la N-categoría. Esta suma es, en concreto, la disyunción exclusiva, lo que adicionalmente supone una sorprendentemente sencilla definición alternativa a la suma de las categorías parcialmente aditivas definida por Manes y Arbib. Con todo esto, se aportan herramientas conceptuales para entender mejor y resolver más eficientemente los problemas que tiene planteados la lógica de la programación, pues se dispone de un punto de vista distinto y nuevo y de toda una familia de instrumentos adicionales.---ABSTRACT---In the context of program validation techniques, Hoare's systems for programming and Dijkstra's development of the logic of programming, based on the operator wp, we have endowed the essential features of this development with a structure that permits to study them in the frame of category theory. In this thesis we show that the set of preconditions of an annotated program segment is an N-category, and the same happens for the set of postconditions. Even more, it is shown that the operator wp acts as a functor between those pairs of Ncategories. Furthermore, guard sets come out in a natural way in the logic of programming, they have been considered from a denotational semantics point of view (Wirth for Pascal and afterwards Scott and al. in a more general setting) and they have been embodied by Manes and Arbib in their partially additive semantics. Then, it is shown in this thesis that the above mentioned guard sets also have the structure of an N-category and that any N-category with an appropiately defined sum has the structure of a guard set in such a way that, besides, the preorder defined in the guard set by the sum operation coincides with the arrows of the N-category. This sum is just the exclusive or of Boolean Logic and this fact adds a surprisingly simple alternative definition for the sum operation in Manes and Arbib partially additive categories. The present work, in summary, makes a contribution of conceptual tools for a better understanding and a more efficient solution of the problems posed to the logic of programming and it does so by providing a new different point of view and a whole family of additional techniques.

Origen y evolución histórico-legal del club deportivo en la Comunidad de Madrid (1833-1936)

Cuando se inició el trabajo para obtener el título de doctora, el proyecto era acerca de la financiación público privada de los clubes deportivos madrileños. El punto uno de ese primer índice, versaba sobre el origen del club deportivo en la Comunidad de Madrid (en este sentido, es preciso tener en cuenta que el territorio sufrió modificaciones, lo que antes eran pueblos hoy son distritos y lo que antes era provincia hoy es Comunidad Autónoma de Madrid, nuestro ámbito territorial de estudio). Al leer la doctrina autorizada que coincidía en su totalidad en que los primeros clubes deportivos fueron de origen inglés (el Recreativo de Huelva en el año1889 era considerado el primer club de España) y recordar dudas e inquietudes al respecto que surgieron durante la licenciatura, la investigación se tornó incómoda, por no decir temeraria. ¿Por qué había que limitarse a recoger las ideas de una doctrina, sin duda hoy y entonces prestigiosa, cuando se pensaba que aquella teoría del origen británico no podía ser, aunque fuera dentro de un marco teórico? No parecía tener sentido que no hubiera habido asociacionismo en España antes de la llegada de las compañías inglesas, pero sobre todo en Madrid, siempre bulliciosa en cuanto a participación ciudadana, por varios motivos: existían juegos y deportes populares autóctonos antes de que llegara el fútbol. ¿No se asociaban los madrileños para poder competir con otros?, ¿Se equivocó Goya al pintar estampas de juegos populares?, ¿Por qué existía entonces una Ley de Asociaciones de 1887, evidentemente anterior al Recreativo de Huelva (1889)? Las leyes se elaboran en respuesta a una necesidad social o a una costumbre anterior, o a las dos cosas. ¿Nadie pensó en la costumbre, siendo fuente del Derecho junto con la Ley y los principios generales?, ¿Nadie, estando tan cerca?, ¿Nadie, figurando en el artículo 1 del Código Civil? De esta forma, la justificación y objetivos cambiaron, la investigación se volvió otra, se tenía necesidad de probar la lógica o nada. Sólo hacían falta las pruebas documentales que aportaran luz y fueran tangibles para la argumentación jurídica. Así, entre las reglas del juego de la norma jurídica, la jurisprudencia y la doctrina, se desenvuelve el marco teórico de este trabajo. Es necesario para ello conocer cómo funciona la legislación que afecta a los clubes deportivos en la actualidad para entender las similitudes con los clubes pioneros. Es preciso comprender que una Ley nunca se encuentra aislada de otras, que todas están relacionadas, que los cruces son inevitablemente ilimitados y los resultados inmensos. Se ha realizado un análisis de una realidad compleja que trasciende de lo jurídico y lo deportivo. Respecto al material y método, no se encontraban referencias de estudios comparados, desde el punto de vista jurídico, de los Estatutos de los primeros clubes deportivos madrileños, ni nombrarlos hasta que a principios del año 2013 digitalizamos en la Biblioteca Nacional el Reglamento del Instituto de Gimnástica, Equitación y Esgrima (Villalobos, 1842); la prueba documental que se buscaba para apoyar la teoría ya era tangible. Luego se encontrarían otros para añadir a la muestra y también documentación probatoria complementaria. Tampoco había trabajos sobre la documentación emanada de la Administración Pública, por lo que se han estudiado Expedientes administrativos así como su comparativa con la legislación coetánea y la actual, lo que ha permitido concretar más la forma y tipología de las primeras formas jurídicas deportivas. Para la búsqueda de documentación se ha recurrido a bibliotecas, archivos e incluso depósitos que tenían legajos sin clasificar, habían sufrido las inundaciones y carcoma que azotaron a los sótanos de Madrid e incluso a alguno el fuego le miró de reojo. La documentación encontrada ha permitido convivir con los personajes que habitaron los clubes pioneros en los primeros domicilios sociales; historias reales con banda sonora propia. Y es que el nacimiento del asociacionismo deportivo madrileño no se podría haber gestado en mejor momento; durante el Romanticismo, ni en mejor lugar, en las encrucijadas de las callejuelas estrechas cercanas a las grandes arterias de la Capital; un paseo por las calles Libertad, Barbieri, Minas, Hortaleza y Montera. Los resultados de la investigación confirman la teoría de que el primer club deportivo madrileño nada tuvo que ver con los clubes que posteriormente vinieron en los equipajes de las compañías inglesas. Ni en tiempo, son anteriores; ni en lugar, Madrid; ni en forma, la comparativa con un club británico de la época denota diferencias o mejor, deficiencias, pero más que nada en el fondo. Los clubes madrileños tenían una naturaleza que reflejaba el sentir de los primeros socios y el espíritu de la Capital: beneficencia, espectáculo, participación ciudadana y trabajo en equipo. También se demuestra, tanto en los resultados como en la discusión, las particularidades de los primeros clubes madrileños en cuanto a su relación con la imprenta, la docencia, la prensa, las instalaciones deportivas siempre compartidas con la cultura como la terminología y las equipaciones, pero sobre todo la especial relación con el inherente derecho de reunión. Difícil pensar en un principio que la prueba de la costumbre se encontrara en la cartelería teatral, y que un programa de una competición deportiva escondiera unos Estatutos durante siglos. ABSTRACT When work for a doctorate degree began, the project was about public-private financing of sports clubs Madrid. At point one of the first index, concerned the origin of the sports club in Madrid ( Keep in mind that the territory was modified, which were towns before today are districts and what was once the province is now Community Autonomous of Madrid, our territorial area of study). When reading the authoritative doctrine which coincided entirely in the first sports clubs were of English origin (Huelva Recreation Club, 1889) and remember about questions and concerns raised during the undergraduate research became awkward, if not reckless. Why it had to be limited to collecting the ideas of a doctrine certainly prestigious now and then, when it was thought that this theory could not be British origin, albeit within a framework? It did not seem to make sense that there had been associations in Spain before the arrival of British companies, but especially in Madrid, always busy in terms of citizen participation, for several reasons; and indigenous games were popular sports before the football do the locals are not associated to compete with other?, Goya was wrong to paint pictures of popular games?, Why then was no Associations Act, 1887, clearly previous Huelva Recreation Club (1889)? The laws are developed in response to a social need or a past practice, or both. No one thought of being a source of law practice with the law and the general principles? No, being so close? No one appearing in Article 1 of the Civil? Thus the rationale and objectives of the research turned back, it was necessary to try logic or anything. Only documentary evidence was needed that provide light and were tangible to the legal arguments. Thus, among the rules of the legal rule, jurisprudence and doctrine, the theoretical framework of this work develops, we need to know how legislation affects sports clubs at present to understand the similarities with clubs works pioneers, we must understand that a law is never isolated from others, they are all related, intersections are inevitably unlimited and the immense results. It has made an analysis of a complex reality that transcends the legal and sports. Regarding the material and method, no references to studies were compared, from the legal point of view, of the Statute of the first Madrid sports clubs, or name them until early 2013 digitized at the National Library of the Institute of Regulation Gymnastics, Riding and Fencing (Villalobos, 1842); the documentary evidence that was sought to support the theory was already tangible. Then they find others to add to the sample and further supporting documentation. There was also no work on the documentation issued by the Public Administration, which have been studied administrative records and their comparison with the contemporary legislation and the current, allowing more concrete form and type of the first sports legal forms. Search for documentation we have turned to libraries, archives and even deposits that were not rated bundles, had suffered flooding and decay in the basement of Madrid and even fire some looked askance. The found documents have enabled us to live with the characters that inhabited the early clubs in the first addresses; real stories with its own soundtrack. And the birth of the Madrid sports associations could not have been gestated at a better time ; during the Romantic period , or in a better place ; at the crossroads of the nearby narrow streets of the great arteries of the Capital; a walk along the Libertad, Barbieri, Minas, Hortaleza and Montera. The research results confirm the theory that the first Madrid sports club had nothing to do with the clubs that later came in the luggage of British companies, nor in time; They predate, or rather; Madrid, or in the form; the comparison with a British club denotes the time differences or rather shortcomings, but more than anything in the background; the Madrid club had a nature that reflect the sentiments of the first members and the spirit of the Capital; charity, show, citizen participation and teamwork. It is also shown in the results and discussion the particularities of the first locals clubs in their relationship with the press, teaching, media, sports facilities always shared with the culture and terminology and the kits, but all the special relationship with the inherent right of assembly; hard to think at first that the test of habit were in the theater posters, and a program of a sports competition hide Statutes for centuries.