On the notion of fuzzy adjunctions between fuzzy orders

Las adjunciones (también denominadas conexiones de Galois isótonas) entre dos estructuras matemáticas proporcionan una manera de conectar ambas teorías que permite compartir las ventajas de ambas. Hay varios resultados en la literatura previa acerca de las condiciones necesarias y suficientes para la existencia de conexiones de Galois entre dos conjuntos parcialmente ordenados. En otros trabajos anteriores, los autores han estudiado la existencia y construcción del adjunto por la derecha de una aplicación dada entre conjuntos preordenados o dotados de un orden difuso, entendido éste como una relación binaria difusa satisfaciendo reflexividad, transitividad y antisimetría. Se entiende el término adjunción difusa como una pareja de aplicaciones entre dos conjuntos crisp que están dotados de órdenes difusos para las culaes se verifica la condición ρ(a,g(b)) = ρ(f(a),b). Esta definición no está suficientemente justificada en un contexto difuso puesto que las aplicaciones que se consideran se dan entre conjuntos clásicos. En este trabajo se explica la forma en la que la citada definición está relacionada con las funciones difusas, mostrando así que la definición sí es adecuada en ambiente difuso también. La extensión natural de la noción difusa de adjunción contempla dos posibilidades, según si uno considera igualdades difusas o equivalencias difusas asociadas al orden difuso o no.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Homomorphisms between fuzzy information systems revisited

Recently, Wang et al. discussed the properties of fuzzy information systems under homomorphisms in the paper [C. Wang, D. Chen, L. Zhu, Homomorphisms between fuzzy information systems, Applied Mathematics Letters 22 (2009) 1045-1050], where homomorphisms are based upon the concepts of consistent functions and fuzzy relation mappings. In this paper, we classify consistent functions as predecessor-consistent and successor-consistent, and then proceed to present more properties of consistent functions. In addition, we improve some characterizations of fuzzy relation mappings provided by Wang et al.Comment: 10 page

Planar Refrains

My practice explores phenomenal poetic truths that exist in fissures between the sensual and physical qualities of material constructs. Magnifying this confounding interspace, my work activates specific instruments within mutable, relational systems of installation, movement, and documentation. The tools I fabricate function within variable orientations and are implemented as both physical barriers and thresholds into alternate, virtual domains. Intersecting fragments of sound and moving image build a nexus of superimposed spatialities, while material constructions are enveloped in ephemeral intensities. Within this compounded environment, both mind and body are charged as active sites through which durational, contemplative experiences can pass. Reverberation, the ghostly refrain of a sound calling back to our ears from a distant plane, can intensify our emotional experience of place. My project Planar Refrains utilizes four electro-mechanical reverb plates, analog audio filters designed to simulate expansive acoustic arenas. Historically these devices have provided emotive voicings to popular studio recordings, dislocating the performer from the commercial studio and into a simulated reverberant territory of mythic proportions. The material resonance of steel is used to filter a recorded signal, shaping the sound of a human performance into something more transformative, a sound embodying otherworldly dynamics. In subverting the designed utility of reverb plates, I am exploring their value as active surfaces extending across different spatial realities. The background of ephemeral sonic residue is collapsed into the foreground, a filter becomes sculpture, and this sculpture becomes an instrument in an evolving soundscape

Statistical relational learning with soft quantifiers

Quantification in statistical relational learning (SRL) is either existential or universal, however humans might be more inclined to express knowledge using soft quantifiers, such as ``most'' and ``a few''. In this paper, we define the syntax and semantics of PSL^Q, a new SRL framework that supports reasoning with soft quantifiers, and present its most probable explanation (MPE) inference algorithm. To the best of our knowledge, PSL^Q is the first SRL framework that combines soft quantifiers with first-order logic rules for modelling uncertain relational data. Our experimental results for link prediction in social trust networks demonstrate that the use of soft quantifiers not only allows for a natural and intuitive formulation of domain knowledge, but also improves the accuracy of inferred results

A Declarative Semantics for CLP with Qualification and Proximity

Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10

The Evolution of Homochirality

It is possible to reconsider the origin of biological homochirality in a novel way by formally invoking the standard groupoid approach to stereochemistry in a thermodynamic context that generalizes Landau's spontaneous symmetry breaking arguments. On Earth, limited metabolic free energy may have served as a low temperature analog to 'freeze' the system in the lowest energy state, i.e., the set of simplest homochiral transitive groupoids representing reproductive chemistries. These engaged in a Darwinian competition until a single configuration survived. Subsequent path dependent evolutionary process locked in this initial condition, in spite of increases in available metabolic free energy. Astrobiological outcomes, given higher initial metabolic free energy densities, could well be considerably richer, for example, of mixed chirality. One result would be a complicated distribution of biological chirality across a statistically large sample of extraterrestrial stereochemisty, in marked contrast with published predictions of a racemic average

Severity-sensitive norm-governed multi-agent planning

This research was funded by Selex ES. The software developed during this research, including the norm analysis and planning algorithms, the simulator and harbour protection scenario used during evaluation is freely available from doi:10.5258/SOTON/D0139Peer reviewedPublisher PD