Consolidation of Belief in Two Logics of Evidence

Recently, several logics have emerged with the goal of modelling evidence in a more relaxed sense than that of justifications. Here, we explore two of these logics, one based on neighborhood models and the other being a four-valued modal logic. We establish grounds for comparing these logics, finding, for any model, a counterpart in the other logic which represents roughly the same evidential situation. Then we propose operations for consolidation, answering our central question: What should the doxastic state of a rational agent be in a given evidential situation? These operations map evidence models to Kripke models. We then compare the consolidations in the two logics, finding conditions under which they are isomorphic. By taking this dynamic perspective on belief formation we pave the way for, among other things, a study of the complexity, and an AGM-style analysis of rationality of these belief-forming processes

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Revealing structural evolution occurring from photo-initiated polymer network formation

Acomplete account of the structural evolution occurring during photopolymerisation is lacking. Here the physical changes occurring on the nanometer scale during photopolymerisation of acrylates are followed over time by FTIR, X-ray reflectometry, AFM, and GISAXS, offering insight into the mechanism by which initial composition influences the final morphology

The influence of maternal obesity on macrophage subsets in the human decidua

Obesity is seen as a low grade inflammatory state, and is associated with adverse pregnancy outcomes. Disturbed macrophage characteristics might be essential in obesity associated pregnancy pathology via effects on the regulation of angiogenesis and placental development. This study aims to address the effects of maternal obesity on macrophage subsets in the decidua of women with term uncomplicated pregnancies. Macrophages were isolated from the decidua basalis and decidua parietalis of women with pre-gravid BMI <25 (control) and BMI > 30 (obese). Macrophages were characterized and quantified using multi-color flow cytometry. Placentas of 10 obese and 10 control women after an uncomplicated term pregnancy were included. The decidua parietalis, but not decidua basalis, showed significantly lower levels of M1-type (HLA-DR+, CD163(-)) macrophages (p <0.05) in obese women (4,3% of total macrophages) compared to control women (5,3% of total macrophages). The lower levels of M1 macrophages, considered to be pro-inflammatory, might indicate a mechanism to compensate for the pro-inflammatory environment in obese women to ensure healthy pregnancy outcomes

Self-replenishing ability of cross-linked low surface energy polymer films investigated by a complementary experimental-simulation approach

Nowadays, many self-healing strategies are available for recovering mechanical damage of bulk polymeric materials. The recovery of surface-dependent functionalities on polymer films is, however, equally important and has been less investigated. In this work we study the ability of low surface energy cross-linked poly(ester urethane) networks containing perfluorinated dangling chains to self-replenish their surface, after being submitted to repeated surface damage. For this purpose we used a combined experimental-simulation approach. Experimentally, the cross-linked films were intentionally damaged by cryo-microtoming to remove top layers and create new surfaces which were characterized by water Contact Angle measurements and X-Ray Photoelectron Spectroscopy. The same systems were simultaneously represented by a Dissipative Particles Dynamics simulation method, where the damage was modeled by removing the top film layers in the simulation box and replacing it by new "air" beads. The influence of different experimental parameters, such as the concentration of the low surface energy component and the molecular mobility span of the dangling chains, on the surface recovery is discussed. The combined approach reveals important details of the self-replenishing ability of damaged polymer films such as the occurrence of multiple-healing events, the self-replenishing efficiency, and the minimum "healing agent" concentration for a maximum recovery

Constructive Hybrid Games

Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This is the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel static and dynamic semantics as well as soundness and consistency.Comment: 60 pages, preprint, under revie

Systematic tight-binding analysis of ARPES spectra of transition-metal oxides

We have performed systematic tight-binding (TB) analyses of the angle-resolved photoemission spectroscopy (ARPES) spectra of transition-metal (TM) oxides A$M$O$_3$ ($M=$ Ti, V, Mn, and Fe) with the perovskite-type structure and compared the obtained parameters with those obtained from configuration-interaction (CI) cluster-model analyses of photoemission spectra. The values of $\epsilon_d-\epsilon_p$ from ARPES are found to be similar to the charge-transfer energy $\Delta$ from O $2p$ orbitals to empty TM 3d orbitals and much larger than $\Delta-U/2$ ($U$: on-site Coulomb energy) expected for Mott-Hubbard-type compounds including SrVO$_3$. $\epsilon_d-\epsilon_p$ values from {\it ab initio} band-structure calculations show similar behaviors to those from ARPES. The values of the $p-d$ transfer integrals to describe the global electronic structure are found to be similar in all the estimates, whereas additional narrowing beyond the TB description occurs in the ARPES spectra of the $d$ band.Comment: 5 pages, 3 figure

Studying strategies and types of players:Experiments, logics and cognitive models

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments

Rewritable nanoscale oxide photodetector

Nanophotonic devices seek to generate, guide, and/or detect light using structures whose nanoscale dimensions are closely tied to their functionality. Semiconducting nanowires, grown with tailored optoelectronic properties, have been successfully placed into devices for a variety of applications. However, the integration of photonic nanostructures with electronic circuitry has always been one of the most challenging aspects of device development. Here we report the development of rewritable nanoscale photodetectors created at the interface between LaAlO3 and SrTiO3. Nanowire junctions with characteristic dimensions 2-3 nm are created using a reversible AFM writing technique. These nanoscale devices exhibit a remarkably high gain for their size, in part because of the large electric fields produced in the gap region. The photoconductive response is gate-tunable and spans the visible-to-near-infrared regime. The ability to integrate rewritable nanoscale photodetectors with nanowires and transistors in a single materials platform foreshadows new families of integrated optoelectronic devices and applications.Comment: 5 pages, 5 figures. Supplementary Information 7 pages, 9 figure