Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

The relative salience of facial features when differentiating faces based on an interference paradigm

Research on face recognition and social judgment usually addresses the manipulation of facial features (eyes, nose, mouth, etc.). Using a procedure based on a Stroop-like task, Montepare and Opeyo (J Nonverbal Behav 26(1):43-59, 2002) established a hierarchy of the relative salience of cues based on facial attributes when differentiating faces. Using the same perceptual interference task, we established a hierarchy of facial features. Twenty-three participants (13 men and 10 women) volunteered for the experiment to compare pairs of frontal faces. The participants had to judge if the eyes, nose, mouth and chin in the pair of images were the same or different. The factors manipulated were the target-distractive factor (4 face components 9 3 distractive factors), interference (absent vs. present) and correct answer (the same vs. different). The analysis of reaction times and errors showed that the eyes and mouth were processed before the chin and nose, thus highlighting the critical importance of the eyes and mouth, as shown by previous research.

Life-time growth patterns of pumpkinseed Lepomis gibbosus introduced to Europe, relative to North American populations

The pumpkinseed Lepomis gibbosus, an omnivorous, nest guarding North American sunfish, was introduced into European waters about 100 years ago. To assess growth performance following introduction, we reviewed the available data for North American and European populations of pumpkinseed and compared the back-calculated age-specific growth for juveniles (standard length, SL, at age two) and adults (age two to five increment) as well as adult body size (SL at age five), von Bertalanffy growth model parameters and the index of growth (in length) performance (φ′). For continental comparisons of growth trajectory, mean growth curves for North American and Europe were calculated with the von Bertalanffy model using pooled data sets for each continent. Juvenile growth rate did not differ between European and North American pumpkinseed, but mean adult body size and adult growth rate were both significantly greater in North American than European populations. Adult body size decreased with increasing latitude (ANOVA) in North American populations, but this was not observed with adult growth rate. In contrast, adult body size tended to increase with latitude in European populations. Adult body size correlated significantly with φ′. The von Bertalanffy model described the overall growth patterns of North American and European populations reasonably well, but on the individual population level, length asymptotes were unrealistic (estimates that were > 20 % of the mean back-calculated size for the oldest age class) for a third of European populations and 80% of the North American populations. In contrast to North American pumpkinseed populations, somatic growth in European populations appears to be compromised by limited, but adequate, food resources, probably due to strong intraspecific interactions. This appears to be especially acute in adults, having potential ramifications for life span and reproductive allocation

Diseño del controlador ”fuzzy” de un robot autónomo, a través de algoritmos genéticos

Creació d’un sistema format per un algoritme genètic que permeti dissenyar de forma automática, les dades dels valors lingüístics d’un controlador fuzzy, per a un robot amb tracció diferencial. Les dades que s’han d’obtenir han de donar-li al robot, la capacitat d’arribar a un destí, evitant els obstacles que vagi trobant al llarg del camí

Measurement of the relative rate of prompt χ c0, χ c1 and χ c2 production at TeV

Prompt production of charmonium χ c0, χ c1 and χ c2 mesons is studied using proton-proton collisions at the LHC at a centre-of-mass energy of TeX TeV. The χ c mesons are identified through their decay to J/ψγ, with J/ψ → μ + μ − using photons that converted in the detector. A data sample, corresponding to an integrated luminosity of 1.0 fb−1 collected by the LHCb detector, is used to measure the relative prompt production rate of χ c1 and χ c2 in the rapidity range 2.0 < y < 4.5 as a function of the J/ψ transverse momentum from 3 to 20 GeV/c. First evidence for χ c0 meson production at a high-energy hadron collider is also presented.

Financial stress transmission in EMU sovereign bond market volatility: a connectedness analysis

This paper measures the connectedness in EMU sovereign market volatility between April 1999 and January 2014, in order to monitor stress transmission and to identify episodes of intensive spillovers from one country to the others. To this end, we first perform a static and dynamic analysis to measure the total volatility connectedness in the entire period (the system-wide approach) using a framework recently proposed by Diebold and Yılmaz (2014). Second, we make use of a dynamic analysis to evaluate the net directional connectedness for each country and apply panel model techniques to investigate its determinants. Finally, to gain further insights, we examine the timevarying behaviour of net pair-wise directional connectedness at different stages of the recent sovereign debt crisis.

Bifurcation of relative equilibria of the (1+3)-body problem

We study the relative equilibria of the limit case of the pla- nar Newtonian 4{body problem when three masses tend to zero, the so-called (1 + 3){body problem. Depending on the values of the in- nitesimal masses the number of relative equilibria varies from ten to fourteen. Always six of these relative equilibria are convex and the oth- ers are concave. Each convex relative equilibrium of the (1 + 3){body problem can be continued to a unique family of relative equilibria of the general 4{body problem when three of the masses are su ciently small and every convex relative equilibrium for these masses belongs to one of these six families.