Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page

Incorporating psychology into cyber security education: A pedagogical approach

The role of the human in cyber security is well acknowledged. Many cyber security incidents rely upon targets performing specific behavioural actions, such as opening a link within a phishing email. Cyber adversaries themselves are driven by psychological processes such as motivation, group dynamics and social identity. Furthermore, both intentional and unintentional insider threats are associated with a range of psychological factors, including cognitive load, mental wellbeing, trust and interpersonal relations. By incorporating psychology into cyber security education, practitioners will be better equipped with the skills they need to address cyber security issues. However, there are challenges in doing so. Psychology is a broad discipline, and many theories, approaches and methods may have little practical significance to cyber security. There is a need to sift through the literature to identify what can be applied to cyber security. There are also pedagogical differences in how psychology and cyber security are taught and also psychological differences in the types of student that may typically study psychology and cyber security. To engage with cyber security students, it is important that these differences are identified and positively addressed. Essential to this endeavor is the need to discuss and collaborate across the two disciplines. In this paper, we explore these issues and discuss our experiences as psychology and cyber security academics who work across disciplines to deliver psychology education to cyber security students, practitioners and commercial clients

More than Mere Numbers: The Impact of Lethal Control on the Social Stability of a Top-Order Predator

Population control of socially complex species may have profound ecological implications that remain largely invisible if only their abundance is considered. Here we discuss the effects of control on a socially complex top-order predator, the dingo (Canis lupus dingo). Since European occupation of Australia, dingoes have been controlled over much of the continent. Our aim was to investigate the effects of control on their abundance and social stability. We hypothesized that dingo abundance and social stability are not linearly related, and proposed a theoretical model in which dingo populations may fluctuate between three main states: (A) below carrying capacity and socially fractured, (B) above carrying capacity and socially fractured, or (C) at carrying capacity and socially stable. We predicted that lethal control would drive dingoes into the unstable states A or B, and that relaxation of control would allow recovery towards C. We tested our predictions by surveying relative abundance (track density) and indicators of social stability (scent-marking and howling) at seven sites in the arid zone subject to differing degrees of control. We also monitored changes in dingo abundance and social stability following relaxation and intensification of control. Sites where dingoes had been controlled within the previous two years were characterized by low scent-marking activity, but abundance was similar at sites with and without control. Signs of social stability steadily increased the longer an area was allowed to recover from control, but change in abundance did not follow a consistent path. Comparison of abundance and stability among all sites and years demonstrated that control severely fractures social groups, but that the effect of control on abundance was neither consistent nor predictable. Management decisions involving large social predators must therefore consider social stability to ensure their conservation and ecological functioning

Cellular Radiosensitivity: How much better do we understand it?

Purpose: Ionizing radiation exposure gives rise to a variety of lesions in DNA that result in genetic instability and potentially tumorigenesis or cell death. Radiation extends its effects on DNA by direct interaction or by radiolysis of H2O that generates free radicals or aqueous electrons capable of interacting with and causing indirect damage to DNA. While the various lesions arising in DNA after radiation exposure can contribute to the mutagenising effects of this agent, the potentially most damaging lesion is the DNA double strand break (DSB) that contributes to genome instability and/or cell death. Thus in many cases failure to recognise and/or repair this lesion determines the radiosensitivity status of the cell. DNA repair mechanisms including homologous recombination (HR) and non-homologous end-joining (NHEJ) have evolved to protect cells against DNA DSB. Mutations in proteins that constitute these repair pathways are characterised by radiosensitivity and genome instability. Defects in a number of these proteins also give rise to genetic disorders that feature not only genetic instability but also immunodeficiency, cancer predisposition, neurodegeneration and other pathologies. Conclusions: In the past fifty years our understanding of the cellular response to radiation damage has advanced enormously with insight being gained from a wide range of approaches extending from more basic early studies to the sophisticated approaches used today. In this review we discuss our current understanding of the impact of radiation on the cell and the organism gained from the array of past and present studies and attempt to provide an explanation for what it is that determines the response to radiation

Analytic philosophy for biomedical research: the imperative of applying yesterday's timeless messages to today's impasses

The mantra that "the best way to predict the future is to invent it" (attributed to the computer scientist Alan Kay) exemplifies some of the expectations from the technical and innovative sides of biomedical research at present. However, for technical advancements to make real impacts both on patient health and genuine scientific understanding, quite a number of lingering challenges facing the entire spectrum from protein biology all the way to randomized controlled trials should start to be overcome. The proposal in this chapter is that philosophy is essential in this process. By reviewing select examples from the history of science and philosophy, disciplines which were indistinguishable until the mid-nineteenth century, I argue that progress toward the many impasses in biomedicine can be achieved by emphasizing theoretical work (in the true sense of the word 'theory') as a vital foundation for experimental biology. Furthermore, a philosophical biology program that could provide a framework for theoretical investigations is outlined

Assessing Predation Risk to Threatened Fauna from their Prevalence in Predator Scats: Dingoes and Rodents in Arid Australia

The prevalence of threatened species in predator scats has often been used to gauge the risks that predators pose to threatened species, with the infrequent occurrence of a given species often considered indicative of negligible predation risks. In this study, data from 4087 dingo (Canis lupus dingo and hybrids) scats were assessed alongside additional information on predator and prey distribution, dingo control effort and predation rates to evaluate whether or not the observed frequency of threatened species in dingo scats warrants more detailed investigation of dingo predation risks to them. Three small rodents (dusky hopping-mice Notomys fuscus; fawn hopping-mice Notomys cervinus; plains mice Pseudomys australis) were the only threatened species detected in <8% of dingo scats from any given site, suggesting that dingoes might not threaten them. However, consideration of dingo control effort revealed that plains mice distribution has largely retracted to the area where dingoes have been most heavily subjected to lethal control. Assessing the hypothetical predation rates of dingoes on dusky hopping-mice revealed that dingo predation alone has the potential to depopulate local hopping-mice populations within a few months. It was concluded that the occurrence of a given prey species in predator scats may be indicative of what the predator ate under the prevailing conditions, but in isolation, such data can have a poor ability to inform predation risk assessments. Some populations of threatened fauna assumed to derive a benefit from the presence of dingoes may instead be susceptible to dingo-induced declines under certain conditions

An assessment of functioning and non-functioning distractors in multiple-choice questions: a descriptive analysis

<p>Abstract</p> <p>Background</p> <p>Four- or five-option multiple choice questions (MCQs) are the standard in health-science disciplines, both on certification-level examinations and on in-house developed tests. Previous research has shown, however, that few MCQs have three or four functioning distractors. The purpose of this study was to investigate non-functioning distractors in teacher-developed tests in one nursing program in an English-language university in Hong Kong.</p> <p>Methods</p> <p>Using item-analysis data, we assessed the proportion of non-functioning distractors on a sample of seven test papers administered to undergraduate nursing students. A total of 514 items were reviewed, including 2056 options (1542 distractors and 514 correct responses). Non-functioning options were defined as ones that were chosen by fewer than 5% of examinees and those with a positive option discrimination statistic.</p> <p>Results</p> <p>The proportion of items containing 0, 1, 2, and 3 functioning distractors was 12.3%, 34.8%, 39.1%, and 13.8% respectively. Overall, items contained an average of 1.54 (SD = 0.88) functioning distractors. Only 52.2% (n = 805) of all distractors were functioning effectively and 10.2% (n = 158) had a choice frequency of 0. Items with more functioning distractors were more difficult and more discriminating.</p> <p>Conclusion</p> <p>The low frequency of items with three functioning distractors in the four-option items in this study suggests that teachers have difficulty developing plausible distractors for most MCQs. Test items should consist of as many options as is feasible given the item content and the number of plausible distractors; in most cases this would be three. Item analysis results can be used to identify and remove non-functioning distractors from MCQs that have been used in previous tests.</p

Regulation of fibroblast Fas expression by soluble and mechanical pro-fibrotic stimuli

Abstract Background Fibroblast apoptosis is a critical component of normal repair and the acquisition of an apoptosis-resistant phenotype contributes to the pathogenesis of fibrotic repair. Fibroblasts from fibrotic lungs of humans and mice demonstrate resistance to apoptosis induced by Fas-ligand and prior studies have shown that susceptibility to apoptosis is enhanced when Fas (CD95) expression is increased in these cells. Moreover, prior work shows that Fas expression in fibrotic lung fibroblasts is reduced by epigenetic silencing of the Fas promoter. However, the mechanisms by which microenvironmental stimuli such as TGF-β1 and substrate stiffness affect fibroblast Fas expression are not well understood. Methods Primary normal human lung fibroblasts (IMR-90) were cultured on tissue culture plastic or on polyacrylamide hydrogels with Young’s moduli to recapitulate the compliance of normal (400 Pa) or fibrotic (6400 Pa) lung tissue and treated with or without TGF-β1 (10 ng/mL) in the presence or absence of protein kinase inhibitors and/or inflammatory cytokines. Expression of Fas was assessed by quantitative real time RT-PCR, ELISA and Western blotting. Soluble Fas (sFas) was measured in conditioned media by ELISA. Apoptosis was assessed using the Cell Death Detection Kit and by Western blotting for cleaved PARP. Results Fas expression and susceptibility to apoptosis was diminished in fibroblasts cultured on 6400 Pa substrates compared to 400 Pa substrates. TGF-β1 reduced Fas mRNA and protein in a time- and dose-dependent manner dependent on focal adhesion kinase (FAK). Surprisingly, TGF-β1 did not significantly alter cell-surface Fas expression, but did stimulate secretion of sFas. Finally, enhanced Fas expression and increased susceptibility to apoptosis was induced by combined treatment with TNF-α/IFN-γ and was not inhibited by TGF-β1. Conclusions Soluble and matrix-mediated pro-fibrotic stimuli promote fibroblast resistance to apoptosis by decreasing Fas transcription while stimulating soluble Fas secretion. These findings suggest that distinct mechanisms regulating Fas expression in fibroblasts may serve different functions in the complex temporal and spatial evolution of normal and fibrotic wound-repair responses.https://deepblue.lib.umich.edu/bitstream/2027.42/143539/1/12931_2018_Article_801.pd

Compression of Auditory Space during Forward Self-Motion

<div><h3>Background</h3><p>Spatial inputs from the auditory periphery can be changed with movements of the head or whole body relative to the sound source. Nevertheless, humans can perceive a stable auditory environment and appropriately react to a sound source. This suggests that the inputs are reinterpreted in the brain, while being integrated with information on the movements. Little is known, however, about how these movements modulate auditory perceptual processing. Here, we investigate the effect of the linear acceleration on auditory space representation.</p> <h3>Methodology/Principal Findings</h3><p>Participants were passively transported forward/backward at constant accelerations using a robotic wheelchair. An array of loudspeakers was aligned parallel to the motion direction along a wall to the right of the listener. A short noise burst was presented during the self-motion from one of the loudspeakers when the listener’s physical coronal plane reached the location of one of the speakers (null point). In Experiments 1 and 2, the participants indicated which direction the sound was presented, forward or backward relative to their subjective coronal plane. The results showed that the sound position aligned with the subjective coronal plane was displaced ahead of the null point only during forward self-motion and that the magnitude of the displacement increased with increasing the acceleration. Experiment 3 investigated the structure of the auditory space in the traveling direction during forward self-motion. The sounds were presented at various distances from the null point. The participants indicated the perceived sound location by pointing a rod. All the sounds that were actually located in the traveling direction were perceived as being biased towards the null point.</p> <h3>Conclusions/Significance</h3><p>These results suggest a distortion of the auditory space in the direction of movement during forward self-motion. The underlying mechanism might involve anticipatory spatial shifts in the auditory receptive field locations driven by afferent signals from vestibular system.</p> </div