Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS' results.Comment: 18 pages, 2 figures, proceedings of DaLi conference 202

DIAGNOSTIC AND PREVENTIVE SERVICES IN A NATIONAL INCREMENTAL DENTAL PLAN FOR CHILDREN

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65579/1/j.1752-7325.1977.tb02874.x.pd

The Rise of the Resilient Local Authority?

The term resilience is increasingly being utilised within the study of public policy to depict how individuals, communities and organisations can adapt, cope, and ‘bounce back’ when faced with external shocks such as climate change, economic recession and cuts in public expenditure. In focussing on the local dimensions of the resilience debate, this article argues that the term can provide useful insights into how the challenges facing local authorities in the UK can be reformulated and reinterpreted. The article also distinguishes between resilience as ‘recovery’ and resilience as ‘transformation’, with the latter's focus on ‘bouncing forward’ from external shocks seen as offering a more radical framework within which the opportunities for local innovation and creativity can be assessed and explained. While also acknowledging some of the weaknesses of the resilience debate, the dangers of conceptual ‘stretching’, and the extent of local vulnerabilities, the article highlights a range of examples where local authorities – and crucially, local communities – have enhanced their adaptive capacity, within existing powers and responsibilities. From this viewpoint, some of the barriers to the development of resilient local government are not insurmountable, and can be overcome by ‘digging deep’ to draw upon existing resources and capabilities, promoting a strategic approach to risk, exhibiting greater ambition and imagination, and creating space for local communities to develop their own resilience

Assessing the authority of political office-holders: the leadership capital index

This article argues that the extent to which political office-holders can effectively attain and wield authority is a function of the stock of ‘leadership capital.’ Drawing on the concept of political capital, we define leadership capital as aggregate authority composed of three dimensions: skills; relations; and reputation of a leader. Leadership capital ebbs and flows over time within a trajectory of acquisition, expenditure and inevitable depreciation. We present a Leadership Capital Index (LCI) that systematically maps out the three broad areas combining concrete measures with interpretive aspects. This can be used as a tool for systematically tracking and comparing the political fortunes of leaders in a way that is both more nuanced and robust than exclusive reliance on the latest approval ratings. We offer an illustrative case study of Tony Blair demonstrating the LCI. We conclude by discerning several promising paths for future development of the LCI

Gravity Probe B: Final Results of a Space Experiment to Test General Relativity

Gravity Probe B, launched 20 April 2004, is a space experiment testing two fundamental predictions of Einstein's theory of General Relativity (GR), the geodetic and frame-dragging effects, by means of cryogenic gyroscopes in Earth orbit. Data collection started 28 August 2004 and ended 14 August 2005. Analysis of the data from all four gyroscopes results in a geodetic drift rate of -6,601.8+/- 18.3 mas/yr and a frame-dragging drift rate of -37.2 +/- 7.2 mas/yr, to be compared with the GR predictions of -6,606.1 mas/yr and -39.2 mas/yr, respectively (`mas' is milliarc-second; 1mas = 4.848 x 10-9 rad)

Caring Leadership: A Heideggerian Perspective

This paper develops the idea of caring leadership based on Heidegger’s philosophy of care. From this perspective, caring leadership is grounded in the practices of ‘leaping-in’ and ‘leaping-ahead’ as modes of intervention in the affairs of the world and the efforts of others. This involves gauging and taking responsibility for the ramifications of intervention, balancing the urge for certainty of outcome and visibility of contribution with the desire to encourage and enable others. Our analysis suggests several twists to contemporary leadership debates. We argue that the popular models of transactional and transformational leadership are to be critiqued not for their over-reliance, but rather, their under-reliance on agency. This is a different kind of agency to that of heroic or charismatic models. It involves tolerance of complexity and ambivalence; a rich sense of temporal trajectory; concern for one’s presence in the world; and crucially, the ability to resist the soothing normativity of ‘best practice’. From this position, we argue that the problem with the growing scholarly interest in an ethic of care is that it provides too tempting a recipe to follow. In a Heideggerian view, caring leadership has little to do with compassion, kindness or niceness; it involves and requires a fundamental organization and leadership of self

The Octopamine Receptor OAMB Mediates Ovulation via Ca2+/Calmodulin-Dependent Protein Kinase II in the Drosophila Oviduct Epithelium

Ovulation is an essential physiological process in sexual reproduction; however, the underlying cellular mechanisms are poorly understood. We have previously shown that OAMB, a Drosophila G-protein-coupled receptor for octopamine (the insect counterpart of mammalian norepinephrine), is required for ovulation induced upon mating. OAMB is expressed in the nervous and reproductive systems and has two isoforms (OAMB-AS and OAMB-K3) with distinct capacities to increase intracellular Ca2+ or intracellular Ca2+ and cAMP in vitro. Here, we investigated tissue specificity and intracellular signals required for OAMB's function in ovulation. Restricted OAMB expression in the adult oviduct epithelium, but not the nervous system, reinstated ovulation in oamb mutant females, in which either OAMB isoform was sufficient for the rescue. Consistently, strong immunoreactivities for both isoforms were observed in the wild-type oviduct epithelium. To delineate the cellular mechanism by which OAMB regulates ovulation, we explored protein kinases functionally interacting with OAMB by employing a new GAL4 driver with restricted expression in the oviduct epithelium. Conditional inhibition of Ca2+/Calmodulin-dependent protein kinase II (CaMKII), but not protein kinase A or C, in the oviduct epithelium inhibited ovulation. Moreover, constitutively active CaMKII, but not protein kinase A, expressed only in the adult oviduct epithelium fully rescued the oamb female's phenotype, demonstrating CaMKII as a major downstream molecule conveying the OAMB's ovulation signal. This is consistent with the ability of both OAMB isoforms, whose common intracellular signal in vitro is Ca2+, to reinstate ovulation in oamb females. These observations reveal the critical roles of the oviduct epithelium and its cellular components OAMB and CaMKII in ovulation. It is conceivable that the OAMB-mediated cellular activities stimulated upon mating are crucial for secretory activities suitable for egg transfer from the ovary to the uterus

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