Reasoning with incomplete and imprecise preferences

Preferences are present in many real life situations but it is often difficult to quantify them giving a precise value. Sometimes preference values may be missing because of privacy reasons or because they are expensive to obtain or to produce. In some other situations the user of an automated system may have a vague idea of whats he wants. In this thesis we considered the general formalism of soft constraints, where preferences play a crucial role and we extended such a framework to handle both incomplete and imprecise preferences. In particular we provided new theoretical frameworks to handle such kinds of preferences. By admitting missing or imprecise preferences, solving a soft constraint problem becomes a different task. In fact, the new goal is to find solutions which are the best ones independently of the precise value the each preference may have. With this in mind we defined two notions of optimality: the possibly optimal solutions and the necessary optimal solutions, which are optimal no matter we assign a precise value to a missing or imprecise preference. We provided several algorithms, bases on both systematic and local search approaches, to find such kind of solutions. Moreover, we also studied the impact of our techniques also in a specific class of problems (the stable marriage problems) where imprecision and incompleteness have a specific meaning and up to now have been tackled with different techniques. In the context of the classical stable marriage problem we developed a fair method to randomly generate stable marriages of a given problem instance. Furthermore, we adapted our techniques to solve stable marriage problems with ties and incomplete lists, which are known to be NP-hard, obtaining good results both in terms of size of the returned marriage and in terms of steps need to find a solution.

A moment symbolic representation of Lévy processes with applications

By using a symbolic method, known in the literature as the classical umbral calculus, a symbolic representation of Lévy processes is given and a new family of time-space harmonic polynomials with respect to such processes, which includes and generalizes the exponential complete Bell polynomials, is introduced. The usefulness of time-space harmonic polynomials with respect to Lévy processes is that it is a martingale the stochastic process obtained by replacing the indeterminate x of the polynomials with a Lévy process, whereas the Lévy process does not necessarily have this property. Therefore to find such polynomials could be particularly meaningful for applications. This new family includes Hermite polynomials, time-space harmonic with respect to Brownian motion, Poisson-Charlier polynomials with respect to Poisson processes, Laguerre and actuarial polynomials with respect to Gamma processes , Meixner polynomials of the first kind with respect to Pascal processes, Euler, Bernoulli, Krawtchuk, and pseudo-Narumi polynomials with respect to suitable random walks. The role played by cumulants is stressed and brought to the light, either in the symbolic representation of Lévy processes and their infinite divisibility property, either in the generalization, via umbral Kailath-Segall formula, of the well-known formulae giving elementary symmetric polynomials in terms of power sum symmetric polynomials. The expression of the family of time-space harmonic polynomials here introduced has some connections with the so-called moment representation of various families of multivariate polynomials. Such moment representation has been studied here for the first time in connection with the time-space harmonic property with respect to suitable symbolic multivariate Lévy processes. In particular, multivariate Hermite polynomials and their properties have been studied in connection with a symbolic version of the multivariate Brownian motion, while multivariate Bernoulli and Euler polynomials are represented as powers of multivariate polynomials which are time-space harmonic with respect to suitable multivariate Lévy processes.

Cognition in context: Evidence on affordances and verbal language

This thesis investigated affordances and verbal language to demonstrate the flexibility of embodied simulation processes. Starting from the assumption that both object/action understanding and language comprehension are tied to the context in which they take place, six studies clarified the factors that modulate simulation. The studies in chapter 4 and 5 investigated affordance activation in complex scenes, revealing the strong influence of the visual context, which included either objects and actions, on compatibility effects. The study in chapter 6 compared the simulation triggered by visual objects and objects names, showing differences depending on the kind of materials processed. The study in chapter 7 tested the predictions of the WAT theory, confirming that the different contexts in which words are acquired lead to the difference typically observed in the literature between concrete and abstract words. The study in chapter 8 on the grounding of abstract concepts tested the mapping of temporal contents on the spatial frame of reference of the mental timeline, showing that metaphoric congruency effects are not automatic, but flexibly mediated by the context determined by the goals of different tasks. The study in chapter 9 investigated the role of iconicity in verbal language, showing sound-to-shape correspondences when every-day object figures, result that validated the reality of sound-symbolism in ecological contexts. On the whole, this evidence favors embodied views of cognition, and supports the hypothesis of a high flexibility of simulation processes. The reported conceptual effects confirm that the context plays a crucial role in affordances emergence, metaphoric mappings activation and language grounding. In conclusion, this thesis highlights that in an embodied perspective cognition is necessarily situated and anchored to a specific context, as it is sustained by the existence of a specific body immersed in a specific environment.

Dynamic analysis of the motorcycle chattering behaviour by means of symbolic multibody modelling

Aim of this research is the development and validation of a comprehensive multibody motorcycle model featuring rigid-ring tires, taking into account both slope and roughness of road surfaces. A novel parametrization for the general kinematics of the motorcycle is proposed, using a mixed reference-point and relative-coordinates approach. The resulting description, developed in terms of dependent coordinates, makes it possible to efficiently include rigid-ring kinematics as well as road elevation and slope. The equations of motion for the multibody system are derived symbolically and the constraint equations arising from the dependent-coordinate formulation are handled using a projection technique. Therefore the resulting system of equations can be integrated in time domain using a standard ODE algorithm. The model is validated with respect to maneuvers experimentally measured on the race track, showing consistent results and excellent computational efficiency. More in detail, it is also capable of reproducing the chatter vibration of racing motorcycles. The chatter phenomenon, appearing during high speed cornering maneuvers, consists of a self-excited vertical oscillation of both the front and rear unsprung masses in the range of frequency between 17 and 22 Hz. A critical maneuver is numerically simulated, and a self-excited vibration appears, consistent with the experimentally measured chatter vibration. Finally, the driving mechanism for the self-excitation is highlighted and a physical interpretation is proposed.

Symbolic Dynamics Analysis: a new methodology for foetal heart rate variability analysis

Cardiotocography (CTG) is a widespread foetal diagnostic methods. However, it lacks of objectivity and reproducibility since its dependence on observer's expertise. To overcome these limitations, more objective methods for CTG interpretation have been proposed. In particular, many developed techniques aim to assess the foetal heart rate variability (FHRV). Among them, some methodologies from nonlinear systems theory have been applied to the study of FHRV. All the techniques have proved to be helpful in specific cases. Nevertheless, none of them is more reliable than the others. Therefore, an in-depth study is necessary. The aim of this work is to deepen the FHRV analysis through the Symbolic Dynamics Analysis (SDA), a nonlinear technique already successfully employed for HRV analysis. Thanks to its simplicity of interpretation, it could be a useful tool for clinicians. We performed a literature study involving about 200 references on HRV and FHRV analysis; approximately 100 works were focused on non-linear techniques. Then, in order to compare linear and non-linear methods, we carried out a multiparametric study. 580 antepartum recordings of healthy fetuses were examined. Signals were processed using an updated software for CTG analysis and a new developed software for generating simulated CTG traces. Finally, statistical tests and regression analyses were carried out for estimating relationships among extracted indexes and other clinical information. Results confirm that none of the employed techniques is more reliable than the others. Moreover, in agreement with the literature, each analysis should take into account two relevant parameters, the foetal status and the week of gestation. Regarding the SDA, results show its promising capabilities in FHRV analysis. It allows recognizing foetal status, gestation week and global variability of FHR signals, even better than other methods. Nevertheless, further studies, which should involve even pathological cases, are necessary to establish its reliability.

Language lateralization correlates with verbal memory performance in children with focal epilepsy

PURPOSE: Assessment of language dominance with functional magnetic resonance imaging (fMRI) and neuropsychological evaluation is often used prior to epilepsy surgery. This study explores whether language lateralization and cognitive performance are systematically related in young patients with focal epilepsy. METHODS: Language fMRI and neuropsychological data (language, visuospatial functions, and memory) of 40 patients (7-18 years of age) with unilateral, refractory focal epilepsy in temporal and/or frontal areas of the left (n = 23) or right hemisphere (n = 17) were analyzed. fMRI data of 18 healthy controls (7-18 years) served as a normative sample. A laterality index was computed to determine the lateralization of activation in three regions of interest (frontal, parietal, and temporal). RESULTS: Atypical language lateralization was demonstrated in 12 (30%) of 40 patients. A correlation between language lateralization and verbal memory performance occurred in patients with left-sided epilepsy over all three regions of interest, with bilateral or right-sided language lateralization being correlated with better verbal memory performance (Word Pairs Recall: frontal r = -0.4, p = 0.016; parietal r = -0.4, p = 0.043; temporal r = -0.4, p = 0.041). Verbal memory performance made the largest contribution to language lateralization, whereas handedness and side of seizures did not contribute to the variance in language lateralization. DISCUSSION: This finding reflects the association between neocortical language and hippocampal memory regions in patients with left-sided epilepsy. Atypical language lateralization is advantageous for verbal memory performance, presumably a result of transfer of verbal memory function. In children with focal epilepsy, verbal memory performance provides a better idea of language lateralization than handedness and side of epilepsy and lesion.

Soil conservation in Swiss agriculture - Approaching abstract and symbolic meanings in farmers' life-worlds

This paper explores the significance of ‘life-worlds’ for better understanding why farmers adopt or reject soil conservation measures and for identifying basic dimensions to be covered by social learning processes in Swiss agricultural soil protection. The study showed that farmers interpret soil erosion and soil conservation measures against the background of their entire life-world. By doing so, farmers consider abstract and symbolic meanings of soil conservation. This is, soil conservation measures have to be feasible and practical in the everyday farming routine, however, they also have to correspond with their aesthetic perception, their value system and their personal and professional identities. Consequently, by switching to soil conservation measures such as no-tillage farmers have to adapt not only the routines of their daily farming life, but also their perception of the aesthetics of cultivated land, underlying values and images of themselves. Major differences between farmers who adopt and farmers who reject no-tillage were found to depend on the degree of coherence they could create between the abstract and symbolic meanings of the soil conservation measure. From this perspective, implementation of soil protection measures faces the challenge of facilitating interactions between farmers, experts and scientists at a ‘deeper’ level, with an awareness of all significant dimensions that characterise the life-world. The paper argues that a certain level of shared symbolic meaning is essential to achieving mutual understanding in social learning processes.

Possible dysregulation of cortical plasticity in auditory verbal hallucinations-A cortical thickness study in schizophrenia

Investigations of gray matter changes in relation with auditory verbal hallucinations (AVH) have reported conflicting results. Assuming that alterations in gray matter might be related to certain symptoms in schizophrenia this study aimed to investigate changes in cortical thickness specific to AVH. It was hypothesized that schizophrenia patients suffering from persistent AVH would show significant differences in cortical thickness in regions involved in language-production and perception when compared to schizophrenia patients which had never experienced any hallucinations.

Resting-state EEG in schizophrenia: auditory verbal hallucinations are related to shortening of specific microstates

Abnormal perceptions and cognitions in schizophrenia might be related to abnormal resting states of the brain. Previous research found that a specific class (class D) of sub-second electroencephalography (EEG) microstates was shortened in schizophrenia. This shortening correlated with positive symptoms. We questioned if this reflected positive psychotic traits or present psychopathology.