Extending the expressiveness of fuzzy logic languages

En el trabajo que aquí presentamos se incluye la base teórica (sintaxis y semántica) y una implementación de un framework para codificar el razonamiento de la representación difusa o borrosa del mundo (tal y como nosotros, seres humanos, entendemos éste). El interés en la realización de éste trabajo parte de dos fuentes: eliminar la complejidad existente cuando se realiza una implementación con un lenguaje de programación de los llamados de propósito general y proporcionar una herramienta lo suficientemente inteligente para dar respuestas de forma constructiva a consultas difusas o borrosas. El framework, RFuzzy, permite codificar reglas y consultas en una sintaxis muy cercana al lenguaje natural usado por los seres humanos para expresar sus pensamientos, pero es bastante más que eso. Permite representar conceptos muy interesantes, como fuzzificaciones (funciones usadas para convertir conceptos no difusos en difusos), valores por defecto (que se usan para devolver resultados un poco menos válidos que los que devolveríamos si tuviésemos la información necesaria para calcular los más válidos), similaridad entre atributos (característica que utilizamos para buscar aquellos individuos en la base de datos con una característica similar a la buscada), sinónimos o antónimos y, además, nos permite extender el numero de conectivas y modificadores (incluyendo modificadores de negación) que podemos usar en las reglas y consultas. La personalización de la definición de conceptos difusos (muy útil para lidiar con el carácter subjetivo de los conceptos borrosos, donde nos encontramos con que cualificar a alguien de “alto” depende de la altura de la persona que cualifica) es otra de las facilidades incluida. Además, RFuzzy implementa la semántica multi-adjunta. El interés en esta reside en que introduce la posibilidad de obtener la credibilidad de una regla a partir de un conjunto de datos y una regla dada y no solo el grado de satisfacción de una regla a partir de el universo modelado en nuestro programa. De esa forma podemos obtener automáticamente la credibilidad de una regla para una determinada situación. Aún cuando la contribución teórica de la tesis es interesante en si misma, especialmente la inclusión del modificador de negacion, sus multiples usos practicos lo son también. Entre los diferentes usos que se han dado al framework destacamos el reconocimiento de emociones, el control de robots, el control granular en computacion paralela/distribuída y las busquedas difusas o borrosas en bases de datos. ABSTRACT In this work we provide a theoretical basis (syntax and semantics) and a practical implementation of a framework for encoding the reasoning and the fuzzy representation of the world (as human beings understand it). The interest for this work comes from two sources: removing the existing complexity when doing it with a general purpose programming language (one developed without focusing in providing special constructions for representing fuzzy information) and providing a tool intelligent enough to answer, in a constructive way, expressive queries over conventional data. The framework, RFuzzy, allows to encode rules and queries in a syntax very close to the natural language used by human beings to express their thoughts, but it is more than that. It allows to encode very interesting concepts, as fuzzifications (functions to easily fuzzify crisp concepts), default values (used for providing results less adequate but still valid when the information needed to provide results is missing), similarity between attributes (used to search for individuals with a characteristic similar to the one we are looking for), synonyms or antonyms and it allows to extend the number of connectives and modifiers (even negation) we can use in the rules. The personalization of the definition of fuzzy concepts (very useful for dealing with the subjective character of fuzziness, in which a concept like tall depends on the height of the person performing the query) is another of the facilities included. Besides, RFuzzy implements the multi-adjoint semantics. The interest in them is that in addition to obtaining the grade of satisfaction of a consequent from a rule, its credibility and the grade of satisfaction of the antecedents we can determine from a set of data how much credibility we must assign to a rule to model the behaviour of the set of data. So, we can determine automatically the credibility of a rule for a particular situation. Although the theoretical contribution is interesting by itself, specially the inclusion of the negation modifier, the practical usage of it is equally important. Between the different uses given to the framework we highlight emotion recognition, robocup control, granularity control in parallel/distributed computing and flexible searches in databases.

Diseño e implementación de funcionalidades OpenMP, basadas en modelos de concurrencia desarrollados en lenguaje Go

A raíz de la aparición de los procesadores dotados de varios “cores”, la programación paralela, un concepto que, por otra parte no era nada nuevo y se conocía desde hace décadas, sufrió un nuevo impulso, pues se creía que se podía superar el techo tecnológico que había estado limitando el rendimiento de esta programación durante años. Este impulso se ha ido manteniendo hasta la actualidad, movido por la necesidad de sistemas cada vez más potentes y gracias al abaratamiento de los costes de fabricación. Esta tendencia ha motivado la aparición de nuevo software y lenguajes con componentes orientados precisamente al campo de la programación paralela. Este es el caso del lenguaje Go, desarrollado por Google y lanzado en 2009. Este lenguaje se basa en modelos de concurrencia que lo hacen muy adecuados para abordar desarrollos de naturaleza paralela. Sin embargo, la programación paralela es un campo complejo y heterogéneo, y los programadores son reticentes a utilizar herramientas nuevas, en beneficio de aquellas que ya conocen y les son familiares. Un buen ejemplo son aquellas implementaciones de lenguajes conocidos, pero orientadas a programación paralela, y que siguen las directrices de un estándar ampliamente reconocido y aceptado. Este es el caso del estándar OpenMP, un Interfaz de Programación de Aplicaciones (API) flexible, portable y escalable, orientado a la programación paralela multiproceso en arquitecturas multi-core o multinucleo. Dicho estándar posee actualmente implementaciones en los lenguajes C, C++ y Fortran. Este proyecto nace como un intento de aunar ambos conceptos: un lenguaje emergente con interesantes posibilidades en el campo de la programación paralela, y un estándar reputado y ampliamente extendido, con el que los programadores se encuentran familiarizados. El objetivo principal es el desarrollo de un conjunto de librerías del sistema (que engloben directivas de compilación o pragmas, librerías de ejecución y variables de entorno), soportadas por las características y los modelos de concurrencia propios de Go; y que añadan funcionalidades propias del estándar OpenMP. La idea es añadir funcionalidades que permitan programar en lenguaje Go utilizando la sintaxis que OpenMP proporciona para otros lenguajes, como Fortan y C/C++ (concretamente, similar a esta última), y, de esta forma, dotar al usuario de Go de herramientas para programar estructuras de procesamiento paralelo de forma sencilla y transparente, de la misma manera que lo haría utilizando C/C++.---ABSTRACT---As a result of the appearance of processors equipped with multiple "cores ", parallel programming, a concept which, moreover, it was not new and it was known for decades, suffered a new impulse, because it was believed they could overcome the technological ceiling had been limiting the performance of this program for years. This impulse has been maintained until today, driven by the need for ever more powerful systems and thanks to the decrease in manufacturing costs. This trend has led to the emergence of new software and languages with components guided specifically to the field of parallel programming. This is the case of Go language, developed by Google and released in 2009. This language is based on concurrency models that make it well suited to tackle developments in parallel nature. However, parallel programming is a complex and heterogeneous field, and developers are reluctant to use new tools to benefit those who already know and are familiar. A good example are those implementations from well-known languages, but parallel programming oriented, and witch follow the guidelines of a standard widely recognized and accepted. This is the case of the OpenMP standard, an application programming interface (API), flexible, portable and scalable, parallel programming oriented, and designed for multi-core architectures. This standard currently has implementations in C, C ++ and Fortran. This project was born as an attempt to combine two concepts: an emerging language, with interesting possibilities in the field of parallel programming, and a reputed and widespread standard, with which programmers are familiar with. The main objective is to develop a set of system libraries (which includes compiler directives or pragmas, runtime libraries and environment variables), supported by the characteristics and concurrency patterns of Go; and that add custom features from the OpenMP standard. The idea is to add features that allow programming in Go language using the syntax OpenMP provides for other languages, like Fortran and C / C ++ (specifically, similar to the latter ), and, in this way, provide Go users with tools for programming parallel structures easily and, in the same way they would using C / C ++.

En el principio era Távora - : itinerario para la transmisión de una síntesis arquitectónica

La tesis afronta el análisis del itinerario vital de Fernando Távora, una vida entregada apasionadamente a una causa de refundación estética y conceptual de una arquitectura portuguesa condenada a la mediocridad y al ostracismo en el momento en que empieza a ejercer la profesión. La investigación se adentra en todos los aspectos que convergen en su dedicación al logro de aquella misión, pues la que él mismo probablemente llamaría orteguianamente su circunstancia, resulta inseparable de su pensamiento y de su obra. Se pretende establecer la riqueza y complejidad de la figura de Fernando Távora y su importancia como punto de inflexión en la evolución de la arquitectura portuguesa, que ha llegado a alcanzar el reconocimiento internacional en las últimas décadas, fundamentalmente a partir de la consagración de Álvaro Siza Vieira y la denominada Escuela de Oporto. Desde una posición de absoluta autonomía respecto de lo que acontece dentro y fuera de las fronteras portuguesas, su labor se distinguirá por su singularidad teórica y arquitectónica, no dejando por ello de influir decisivamente en su entorno cercano. Dos manifiestos escritos, el juvenil O problema da Casa Portuguesa y el posterior Da Organização do Espaço son elementos estructurantes de un pensamiento teórico que germina en una obra construida inseparable de aquel, de cuya coherencia dan testimonio los aquí considerados verdaderos manifiestos proyectuales del arquitecto. Efectivamente, se analizarán detalladamente como tales la Casa sobre o Mar –manifiesto inicial-, el Pabellón de Tenis –manifiesto de confirmación- y la Casa dos 24 -manifiesto final-, proyectos que vieron la luz en diferentes etapas de su trayectoria y constituyen la aplicación práctica de sus teorías en una sintaxis magistral. En estos tres proyectos es donde verdaderamente la tesis cobra cuerpo, pues suponen el reflejo de la verdadera aportación del arquitecto al pensamiento arquitectónico europeo, la foto fija de la proclamación de resultados de un proyecto arquitectónico integral en momentos muy significativos de su itinerario vital, cuya complejidad se entiende a través de las fases más descriptivas de este documento. Se mostrará cómo para acometer su proyecto integral de arquitectura, una causa de regeneración de la arquitectura portuguesa a partir de la síntesis entre modernidad y tradición, entre universalidad y localidad, tomaría de sus dos personajes más admirados, Le Corbusier y Pessoa, la fuerza moral y la energía que le permitieron acometer apasionadamente tamaña misión. En una infatigable búsqueda en lo global y lo local, Távora conseguirá prestar gran atención al contexto del lugar de intervención sin renunciar a sus convicciones modernas, introduciendo la historia y el dibujo como herramientas de conocimiento del mismo y posteriormente del proceso creativo. El método proyectivo resultante de este modelo, que transmitirá a través de su ejercicio docente a sucesivas generaciones de arquitectos, se convertirá en elemento estructurante de una tendencia surgida de las aulas portuenses, que la crítica internacional acabará denominando Escuela de Oporto en un sentido más amplio. Por su importancia dentro del itinerario profesional del[os] arquitecto[s] portuense[s], las fases más destacadas de su evolución a partir de los años 50 se analizarán en paralelo a una serie de obras representativas de diferentes momentos de la trayectoria de Fernando Távora. En este itinerario vital, a pesar de la originalidad de su pensamiento y su obra, se atisban ciertos paralelismos con grandes arquitectos del siglo XX, que esta tesis afronta. Se puede distinguir entre influencias pasajeras de algunos maestros modernos en los que Távora buscaba la confirmación a sus propias teorías, similitudes con arquitectos coetáneos cuya obra conoció y a los que se encontró cercano por la convergencia de algunos de sus criterios e incluso sorprendentes coincidencias con arquitectos desconocidos para él, entre las que cabe destacar la de los maestros de la Escuela de Madrid Alejandro de la Sota y Javier Sáenz de Oiza. Por último, en una alegoría con los heterónimos de Fernando Pessoa, se analiza desde una perspectiva personal fruto de la investigación y de las entrevistas mantenidas con todos ellos, la importante labor de Álvaro Siza Vieira, Alexandre Alves Costa y su hijo José Bernardo Távora como agentes coadyuvantes en la consecución del proyecto integral de arquitectura [y vida] de Fernando Távora. Sin lugar a dudas, Álvaro Siza constituye el personaje fundamental e imprescindible para que la arquitectura portuguesa alcanzase la privilegiada consideración que en la actualidad ostenta en la escena internacional. Un arquitecto consagrado que ocupa ya, y ocupará siempre, un lugar privilegiado en la breve lista de maestros míticos e irrepetibles de la arquitectura contemporánea. Con todo, cabe afirmar con la paráfrasis bíblica que da título a la tesis que ‘En el principio era Távora...’ ABSTRACT This thesis addresses the analysis of Fernando Távora’s life journey, a life that was passionately devoted to the cause of aesthetically and conceptually overhauling Portuguese architecture, which was doomed to mediocrity and ostracism at the time when he started practicing professionally. This research delves into all aspects converging in his dedication to achieving that mission, since what he himself would probably call his circumstance – in the manner of José Ortega y Gasset – is inseparable from his thinking and his work. This thesis seeks also to establish the richness and complexity of Fernando Távora’s figure and his importance as a turning point in the evolution of Portuguese architecture, which has gone on to achieve international recognition in recent decades, especially after the consecration of Álvaro Siza Vieira and the so-called School of Oporto. From an absolutely autonomous position with regard to what is happening within and outside Portuguese borders, his work will stand out due to its theoretical and architectural uniqueness – this not being a reason to prevent its decisive influence on his close surroundings. Two written manifestos, his early O problema da Casa Portuguesa and his subsequent Da Organização do Espaço, become structural elements of the theoretical thinking that develops into works which are built in parallel with the former. The coherence of this thinking is reflected on the hereby considered the architect’s true project manifestos. Indeed, we will analyse as such the Casa sobre o Mar (initial manifesto), the Tennis Pavilion (confirmation manifesto) and Casa dos 24 (final manifesto), projects which saw the light at different stages of his career and constitute the practical application of his theories in a masterful syntax. These are the three projects where the thesis takes shape, as they become the reflection of the architect’s true contribution to the European architectural school of thought; the still picture of the results proclamation of a whole architectural project at highly significant moments in his life journey, whose complexity can be understood through this document’s most descriptive phases. This study will show how, in order to carry out his architectural project – regenerate Portuguese architecture by synthesizing modernity and tradition, universality and locality –, Távora would take the moral strength and energy from his two most admired figures, Le Corbusier and Pessoa, allowing him to passionately undertake such a colossal mission. In a tireless search within the global and the local, Távora will manage to pay more attention to the context of the intervention place without compromising his modern convictions, by introducing history and drawing as knowledge tools of the place and eventually of the creative process. The resulting projective method of this model, which he will transmit to successive generations of architects through his teaching, will become a structural element of a trend emerged from the Oporto classrooms which international critique will end up denominating School of Porto in a broader sense. Due to its importance within Porto architect[s]’ professional career, the most prominent phases of its evolution as of the 50s will be analysed in parallel to a series of representative works from different moments in Fernando Távora’s career. Despite the originality of his thinking and his work, certain parallelisms with great architects from the 20th century can be found in Távora’s life journey, which this thesis will address. Amongst temporary influences of some modern masters in whom Távora sought confirmation of his own theories, similarities can be spotted with contemporary architects whose work he knew and to whom he felt close because of the convergence of some of his views. It is also possible to see surprising coincidences with architects he did not know, such as Alejandro de la Sota and Javier Sáenz de Oiza, masters from the School of Madrid. Finally, in an allegory with Fernando Pessoa’s heteronyms, this thesis studies – from a personal perspective based on research and the interviews held with all of them – the important work of Álvaro Siza Vieira, Alexandre Alves Costa and his son Jose Bernardo Távora as auxiliaries in the achievement of Fernando Távora’s complete architectural [and life] project. Without the slightest doubt, Álvaro Siza constitutes the essential figure thanks to whom Portuguese architecture would reach the advantaged position it holds nowadays in the international arena. An acclaimed architect, Siza already holds a privileged spot in the brief list of legendary and unrepeatable masters of contemporary architecture. Nevertheless, with the biblical paraphrase that entitles this thesis it can be claimed that ‘In the beginning was Távora…’