Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.

UAS See-and-Avoid Strategy using a Fuzzy Logic Controller Optimized by Cross-Entropy in Scaling Factors and Membership Functions

This work aims to develop a novel Cross-Entropy (CE) optimization-based fuzzy controller for Unmanned Aerial Monocular Vision-IMU System (UAMVIS) to solve the seeand- avoid problem using its accurate autonomous localization information. The function of this fuzzy controller is regulating the heading of this system to avoid the obstacle, e.g. wall. In the Matlab Simulink-based training stages, the Scaling Factor (SF) is adjusted according to the specified task firstly, and then the Membership Function (MF) is tuned based on the optimized Scaling Factor to further improve the collison avoidance performance. After obtained the optimal SF and MF, 64% of rules has been reduced (from 125 rules to 45 rules), and a large number of real flight tests with a quadcopter have been done. The experimental results show that this approach precisely navigates the system to avoid the obstacle. To our best knowledge, this is the first work to present the optimized fuzzy controller for UAMVIS using Cross-Entropy method in Scaling Factors and Membership Functions optimization.

Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Automated end user-centred adaptation of web components through automated description logic-based reasoning

Context: This paper addresses one of the major end-user development (EUD) challenges, namely, how to pack today?s EUD support tools with composable elements. This would give end users better access to more components which they can use to build a solution tailored to their own needs. The success of later end-user software engineering (EUSE) activities largely depends on how many components each tool has and how adaptable components are to multiple problem domains. Objective: A system for automatically adapting heterogeneous components to a common development environment would offer a sizeable saving of time and resources within the EUD support tool construction process. This paper presents an automated adaptation system for transforming EUD components to a standard format. Method: This system is based on the use of description logic. Based on a generic UML2 data model, this description logic is able to check whether an end-user component can be transformed to this modeling language through subsumption or as an instance of the UML2 model. Besides it automatically finds a consistent, non-ambiguous and finite set of XSLT mappings to automatically prepare data in order to leverage the component as part of a tool that conforms to the target UML2 component model. Results: The proposed system has been successfully applied to components from four prominent EUD tools. These components were automatically converted to a standard format. In order to validate the proposed system, rich internet applications (RIA) used as an operational support system for operators at a large services company were developed using automatically adapted standard format components. These RIAs would be impossible to develop using each EUD tool separately. Conclusion: The positive results of applying our system for automatically adapting components from current tool catalogues are indicative of the system?s effectiveness. Use of this system could foster the growth of web EUD component catalogues, leveraging a vast ecosystem of user-centred SaaS to further current EUSE trends.

UAS See-and-Avoid Strategy using a Fuzzy Logic Controller Optimized by Cross-Entropy in Scaling Factors and Membership Functions.

This work aims to develop a novel Cross-Entropy (CE) optimization-based fuzzy controller for Unmanned Aerial Monocular Vision-IMU System (UAMVIS) to solve the seeand-avoid problem using its accurate autonomous localization information. The function of this fuzzy controller is regulating the heading of this system to avoid the obstacle, e.g. wall. In the Matlab Simulink-based training stages, the Scaling Factor (SF) is adjusted according to the specified task firstly, and then the Membership Function (MF) is tuned based on the optimized Scaling Factor to further improve the collison avoidance performance. After obtained the optimal SF and MF, 64% of rules has been reduced (from 125 rules to 45 rules), and a large number of real flight tests with a quadcopter have been done. The experimental results show that this approach precisely navigates the system to avoid the obstacle. To our best knowledge, this is the first work to present the optimized fuzzy controller for UAMVIS using Cross-Entropy method in Scaling Factors and Membership Functions optimization.

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.

The Balanced Cross-Layer Design Routing Algorithm in Wireless Sensor Networks Using Fuzzy Logic

Recently, the cross-layer design for the wireless sensor network communication protocol has become more and more important and popular. Considering the disadvantages of the traditional cross-layer routing algorithms, in this paper we propose a new fuzzy logic-based routing algorithm, named the Balanced Cross-layer Fuzzy Logic (BCFL) routing algorithm. In BCFL, we use the cross-layer parameters’ dispersion as the fuzzy logic inference system inputs. Moreover, we give each cross-layer parameter a dynamic weight according the value of the dispersion. For getting a balanced solution, the parameter whose dispersion is large will have small weight, and vice versa. In order to compare it with the traditional cross-layer routing algorithms, BCFL is evaluated through extensive simulations. The simulation results show that the new routing algorithm can handle the multiple constraints without increasing the complexity of the algorithm and can achieve the most balanced performance on selecting the next hop relay node. Moreover, the Balanced Cross-layer Fuzzy Logic routing algorithm can adapt to the dynamic changing of the network conditions and topology effectively.

Ni lo uno, ni lo otro: posibilidad de lo neutro en arquitectura

Esta investigación se ocupa de comprobar la viabilidad de un término, un concepto que se detecta como posible instrumento para nombrar algunas operaciones en arquitectura. Ese concepto es Lo Neutro. Frente al sistema de dualidades con el que enunciamos lo real, lo Neutro se sitúa, no tanto en el punto medio, como en el punto opuesto a ambos términos. No es la conjunción de contrarios, sino aquello que desvía la propia pregunta que obliga a elegir. Próximo a los conceptos de indefinición, indiferencia e inacción, lo Neutro se revela como un mecanismo fundamental de disolución. Reconociendo en la lengua varios sentidos para el término, con cada capítulo, la tesis va construyendo una definición ampliada de lo Neutro hasta configurar un conjunto de significados aplicables a la arquitectura. El primero de ellos es el que se deriva del concepto de indiferencia funcional. Tras un análisis del contexto teórico sobre el que se asienta la dialéctica bi-direccional forma-función, su consolidación en los primeros años del siglo XX y también su puesta en crisis mediante la introducción de nociones multi-relacionales como ‘entorno’ y ‘sistema’, la investigación propone tres modelos de estudio: la Planta Tipo, la Planta Única y la Planta de Equivalencias. En cada uno de estos casos, aunque el tema fundamental es la neutralidad programática, se reconoce también la presencia de los mecanismos geométricos y operaciones conceptuales que lo Neutro utiliza para generar respectivamente condiciones de ‘soporte’, de ‘marco’ o de ‘campo’. Estas tres condiciones espaciales apuntan a un entendimiento de lo Neutro que asocia su fórmula de doble negación (ni lo uno, ni lo otro) con el estado más incipiente de la materia, aquel en el que todavía no es pero que contiene ya todos los elementos de posibilidad de ser: lo Neutro como potencia. Aquello que la lógica nos impide afirmar, que una cosa es y no-es al mismo tiempo, nos lo concede la categoría aristotélica de la potencia. Por ello, en la última parte de la tesis se desarrollan de forma más autónoma aquellos temas vinculados con estos tres tipos de espacio que se basan en la renuncia, abordando la cuestión de la potencialidad desde la negación. Partiendo de dos condiciones superficiales básicas, la del muro vertical y la del suelo horizontal, se analizan algunos discursos basados en una restricción radical a estos dos elementos. Así, el muro ciego encuentra su precedente artístico en el lienzo en blanco y la tabula rasa se pone en relación con el concepto de ‘terrain vague’. Por último, la posibilidad de toda potencia de no actualizarse lleva a explorar el no-hacer como renuncia voluntaria y su capacidad de transformarse en acto de resistencia. ABSTRACT The concern of this research is to test the feasibility of a term, a concept that has been detected as a potential tool to name some architectural operations. That concept is the Neutral. In front of the dualities system with which we enounce the real, the Neutral places itself, not so much in the midpoint as in the opposite point of both terms. It is not the conjunction of the contraries, but that which deflects the question itself that compels us to make a choice. Recognizing the multiple interpretations of the term in the common language, with each chapter, the thesis builds an expanded definition of the Neutral to configure a set of meanings applicable to architecture. The first of them is the one that derives from the concept of functional indifference. After an analysis of the theoretical context in which the two-way dialectic between form and function lies, its consolidation in the early twentieth century and its call into crisis by the introduction of multi-relational concepts such as 'environment' and 'system', the research suggests three study models: the Typical Plan, the Single Plan and the Equivalents Plan. In each of these cases, although the fundamental issue is programmatic neutrality, it also recognizes the presence of geometric mechanisms and conceptual operations that the Neutral uses to generate respectively 'support', 'frame' or 'field' conditions. These three spatial conditions point to an understanding of the Neutral which associates its double negation formula (neither one nor the other) with the most incipient state of matter, that in which it not yet is, but already contains every element of the possibility of being: the neutral as potentiality. That which logic does not allow us to affirm, that one thing is and is-not at the same time, it is granted by the Aristotelian category of potentiality. Therefore, in the last part of the thesis, the topics relating these three types of space which are based on renouncement are more autonomously developed, addressing the issue of potentiality from the standpoint of denial. Starting from two basic surface conditions, the vertical wall and the horizontal floor, some speeches based on a radical restriction on these two elements are analyzed. Thus, the blind wall finds its artistic precedent in the blank canvas and the tabula rasa attitude gets in relation to the concept of ‘terrain vague’. Finally, the possibility of any potency of not being updated leads to explore the not-doing as voluntary resignation and its ability to transform itself into an act of resistance.

Ni lo uno, ni lo otro: posibilidad de lo neutro en arquitectura

Esta investigación se ocupa de comprobar la viabilidad de un término, un concepto que se detecta como posible instrumento para nombrar algunas operaciones en arquitectura. Ese concepto es Lo Neutro. Frente al sistema de dualidades con el que enunciamos lo real, lo Neutro se sitúa, no tanto en el punto medio, como en el punto opuesto a ambos términos. No es la conjunción de contrarios, sino aquello que desvía la propia pregunta que obliga a elegir. Próximo a los conceptos de indefinición, indiferencia e inacción, lo Neutro se revela como un mecanismo fundamental de disolución. Reconociendo en la lengua varios sentidos para el término, con cada capítulo, la tesis va construyendo una definición ampliada de lo Neutro hasta configurar un conjunto de significados aplicables a la arquitectura. El primero de ellos es el que se deriva del concepto de indiferencia funcional. Tras un análisis del contexto teórico sobre el que se asienta la dialéctica bi-direccional forma-función, su consolidación en los primeros años del siglo XX y también su puesta en crisis mediante la introducción de nociones multi-relacionales como ‘entorno’ y ‘sistema’, la investigación propone tres modelos de estudio: la Planta Tipo, la Planta Única y la Planta de Equivalencias. En cada uno de estos casos, aunque el tema fundamental es la neutralidad programática, se reconoce también la presencia de los mecanismos geométricos y operaciones conceptuales que lo Neutro utiliza para generar respectivamente condiciones de ‘soporte’, de ‘marco’ o de ‘campo’. Estas tres condiciones espaciales apuntan a un entendimiento de lo Neutro que asocia su fórmula de doble negación (ni lo uno, ni lo otro) con el estado más incipiente de la materia, aquel en el que todavía no es pero que contiene ya todos los elementos de posibilidad de ser: lo Neutro como potencia. Aquello que la lógica nos impide afirmar, que una cosa es y no-es al mismo tiempo, nos lo concede la categoría aristotélica de la potencia. Por ello, en la última parte de la tesis se desarrollan de forma más autónoma aquellos temas vinculados con estos tres tipos de espacio que se basan en la renuncia, abordando la cuestión de la potencialidad desde la negación. Partiendo de dos condiciones superficiales básicas, la del muro vertical y la del suelo horizontal, se analizan algunos discursos basados en una restricción radical a estos dos elementos. Así, el muro ciego encuentra su precedente artístico en el lienzo en blanco y la tabula rasa se pone en relación con el concepto de ‘terrain vague’. Por último, la posibilidad de toda potencia de no actualizarse lleva a explorar el no-hacer como renuncia voluntaria y su capacidad de transformarse en acto de resistencia. ABSTRACT The concern of this research is to test the feasibility of a term, a concept that has been detected as a potential tool to name some architectural operations. That concept is the Neutral. In front of the dualities system with which we enounce the real, the Neutral places itself, not so much in the midpoint as in the opposite point of both terms. It is not the conjunction of the contraries, but that which deflects the question itself that compels us to make a choice. Recognizing the multiple interpretations of the term in the common language, with each chapter, the thesis builds an expanded definition of the Neutral to configure a set of meanings applicable to architecture. The first of them is the one that derives from the concept of functional indifference. After an analysis of the theoretical context in which the two-way dialectic between form and function lies, its consolidation in the early twentieth century and its call into crisis by the introduction of multi-relational concepts such as 'environment' and 'system', the research suggests three study models: the Typical Plan, the Single Plan and the Equivalents Plan. In each of these cases, although the fundamental issue is programmatic neutrality, it also recognizes the presence of geometric mechanisms and conceptual operations that the Neutral uses to generate respectively 'support', 'frame' or 'field' conditions. These three spatial conditions point to an understanding of the Neutral which associates its double negation formula (neither one nor the other) with the most incipient state of matter, that in which it not yet is, but already contains every element of the possibility of being: the neutral as potentiality. That which logic does not allow us to affirm, that one thing is and is-not at the same time, it is granted by the Aristotelian category of potentiality. Therefore, in the last part of the thesis, the topics relating these three types of space which are based on renouncement are more autonomously developed, addressing the issue of potentiality from the standpoint of denial. Starting from two basic surface conditions, the vertical wall and the horizontal floor, some speeches based on a radical restriction on these two elements are analyzed. Thus, the blind wall finds its artistic precedent in the blank canvas and the tabula rasa attitude gets in relation to the concept of ‘terrain vague’. Finally, the possibility of any potency of not being updated leads to explore the not-doing as voluntary resignation and its ability to transform itself into an act of resistance.

Soundscape quality analysis by fuzzy logic: A field study in Cordoba, Argentina

This research studies urban soundscapes through the comparative analysis of twelve public open spaces in the city of Córdoba (Argentina), taken as case studies. The work aims to examine selection of indicators and assessment tools intended to characterize soundscape quality. The field study was carried out through surveys and acoustic and psychoacoustic indicators, that are used together to objectively describe the sound quality of urban spaces. The study shows that, while there is a relationship of these indicators with the sound quality of the spaces, this is not linear. Their relative importance or influence depends on the interrelations occurring between the parameters studied. A model analyzing and correlating the parameters with the sound quality, based on the postulates of fuzzy logic, was applied as a tool of analysis, and it was seen to achieve a very close approximation to the subjective or perceptual response of the inhabitants. This close match between the model results and the perceptual response of the users confirms the fuzzy model as an effective tool for the study, not only of soundscapes, but also for those situations in which objective parameters must be related to the perceptual response of users.

Small molecule developmental screens reveal the logic and timing of vertebrate development

Much has been learned about vertebrate development by random mutagenesis followed by phenotypic screening and by targeted gene disruption followed by phenotypic analysis in model organisms. Because the timing of many developmental events is critical, it would be useful to have temporal control over modulation of gene function, a luxury frequently not possible with genetic mutants. Here, we demonstrate that small molecules capable of conditional gene product modulation can be identified through developmental screens in zebrafish. We have identified several small molecules that specifically modulate various aspects of vertebrate ontogeny, including development of the central nervous system, the cardiovascular system, the neural crest, and the ear. Several of the small molecules identified allowed us to dissect the logic of melanocyte and otolith development and to identify critical periods for these events. Small molecules identified in this way offer potential to dissect further these and other developmental processes and to identify novel genes involved in vertebrate development.

Logic gates using high Rydberg states

Connected logic gates can be operated on the levels of one molecule by making use of the special properties of high Rydberg states. Explicit experimental results for the NO molecule are provided as an example. A number of other options, including that of several gates concatenated so as to operate as a full adder, are discussed. Specific properties of high Rydberg states that are used are: their autoionization is delayed so that they can be distinguished from direct multiphoton ionization, during their long life such states also can decay by energy transfer to the molecular core in a way that can be controlled by the judicious application of very weak external electrical fields, and the Rydberg states can be detected by the application of an ionizing electrical field. The combination of two (or three) color photons with and without external weak fields allows the construction of quite elaborate logic circuit diagrams and shows that taking advantage of the different intramolecular dynamics of levels that differ by their excitation enables the compounding of logic operations on one molecular frame.

Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming.

We present a general approach to forming structure-activity relationships (SARs). This approach is based on representing chemical structure by atoms and their bond connectivities in combination with the inductive logic programming (ILP) algorithm PROGOL. Existing SAR methods describe chemical structure by using attributes which are general properties of an object. It is not possible to map chemical structure directly to attribute-based descriptions, as such descriptions have no internal organization. A more natural and general way to describe chemical structure is to use a relational description, where the internal construction of the description maps that of the object described. Our atom and bond connectivities representation is a relational description. ILP algorithms can form SARs with relational descriptions. We have tested the relational approach by investigating the SARs of 230 aromatic and heteroaromatic nitro compounds. These compounds had been split previously into two subsets, 188 compounds that were amenable to regression and 42 that were not. For the 188 compounds, a SAR was found that was as accurate as the best statistical or neural network-generated SARs. The PROGOL SAR has the advantages that it did not need the use of any indicator variables handcrafted by an expert, and the generated rules were easily comprehensible. For the 42 compounds, PROGOL formed a SAR that was significantly (P < 0.025) more accurate than linear regression, quadratic regression, and back-propagation. This SAR is based on an automatically generated structural alert for mutagenicity.

Clarity, Light, and Logic : Parallels between Olafur Eliasson’s The weather project and the Gothic Cathedral

This Master’s Research Paper investigates Olafur Eliasson’s The weather project as a case study for the dialogue between Gothic artistic principles and prominent elements of contemporary art. A product of a post-modern mindset, weakened historicity allows us to examine these connections anew; past, present, and future blur and artists (and viewers) have the whole of time from which to gain inspiration and meaning in works of art. I demonstrate similarities through theories on phenomenology; the spatiotemporal relationship between viewer and artwork; the convergence of art and science; and the communal, quasi-liminal experience of pilgrimage. I embrace Eliasson’s belief in the self-reflexive potential of art and the importance of the viewer’s own values, memories, and methods of seeing. This new interpretive layer will hopefully offer a richer experience for future participants of both Gothic cathedrals and environments produced by Studio Olafur Eliasson.

An approach based on Logic Forms and WordNet relationships to Textual Entailment performance

This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.