Abstract Interpretation of Supermodular Games

Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract interpretation, a well established and known framework used for designing static analyses of programming languages. This is obtained by extending the theory of abstract interpretation in order to handle approximations of multivalued functions and by providing some methods for abstracting supermodular games, in order to obtain approximate Nash equilibria which are shown to be correct within the abstract interpretation framework

Constructive thinking skills and impulsivity dimensions in conduct and substance use disorders: differences and relationships in an adolescents' sample.

Impact of conduct disorder (CD) and substance use disorder (SUD) on constructive thinking skills and impulsivity was explored. 71 offending adolescents were assessed for CD and SUD. Furthermore, the constructive thinking inventory, the immediate and delayed memory tasks and the UPPS impulsive behaviour scale were administered. Results showed that youths with CD, independently from SUD, presented higher personality impulsivity (urgency) and altered constructive thinking skills (categorical thinking and personal superstitious thinking). Furthermore, trait-impulsivity explained variation in constructive thinking skills. The implications of these results were discussed

What Geoscience Experts And Novices Look At, And What They See, When Viewing Data Visualizations

This study examines how geoscience experts and novices make meaning from an iconic type of data visualization: shaded relief images of bathymetry and topography.  Participants examined, described, and interpreted a global image, two high-resolution seafloor images, and 2 high-resolution continental images, while having their gaze direction eye-tracked and their utterances and gestures videoed. In addition, experts were asked about how they would coach an undergraduate intern on how to interpret this data.  Not unexpectedly, all experts were more skillful than any of the novices at describing and explaining what they were seeing.  However, the novices showed a wide range of performance.  Along the continuum from weakest novice to strongest expert, proficiency developed in the following order: making qualitative observations of salient features, making simple interpretations, making quantitative observations.  The eye-tracking analysis examined how the experts and novices invested 20 seconds of unguided exploration, after the image came into view but before the researcher began to ask questions.  On the cartographic elements of the images, experts and novices allocated their exploration time differently:  experts invested proportionately more fixations on the latitude and longitude axes, while students paid more attention to the color bar.  In contrast, within the parts of the image showing the actual geomorphological data, experts and novices on average allocated their attention similarly, attending preferentially to the geologically significant landforms.   Combining their spoken responses with their eye-tracking behavior, we conclude that the experts and novices are looking in the same places but “seeing” different things

From fuzzy to annotated semantic web languages

The aim of this chapter is to present a detailed, selfcontained and comprehensive account of the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such as triple languages RDF/RDFS, conceptual languages of the OWL 2 family and rule languages. We further show how one may generalise them to so-called annotation domains, that cover also e.g. temporal and provenance extensions

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Datil: Learning Fuzzy Ontology Datatypes

International audienceReal-world applications using fuzzy ontologies are increasing in the last years, but the problem of fuzzy ontology learning has not received a lot of attention. While most of the previous approaches focus on the problem of learning fuzzy subclass axioms, we focus on learning fuzzy datatypes. In particular, we describe the Datil system, an implementation using unsupervised clustering algorithms to automatically obtain fuzzy datatypes from different input formats. We also illustrate the practical usefulness with an application: semantic lifestyle profiling