Interactive Unawareness Revisited

We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of validity. These axiomatizations allow us to compare the HMS approach to both the standard (S5) epistemic logic and two other approaches to unawareness: that of Fagin and Halpern and that of Modica and Rustichini. We show that the differences between the HMS approach and the others are mainly due to the notion of validity used and the fact that the HMS is based on a 3-valued propositional logic.Comment: 26 page

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic

There has been a great of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the validity problem for all logics between K, T, and S4 is {\sl PSPACE}-complete, while for S5 it is {\sl NP}-complete. We show that, in a precise sense, it is \emph{negative introspection}, the axiom \neg K p \rimp K \neg K p, that causes the gap. In a precise sense, if we require this axiom, then the satisfiability problem is {\sl NP}-complete; without it, it is {\sl PSPACE}-complete.Comment: 6 page

Reasoning About Knowledge of Unawareness

Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot express the fact that an agent knows that there are facts of which he is unaware without there being an explicit fact that the agent knows he is unaware of. We propose a logic for reasoning about knowledge of unawareness, by extending Fagin and Halpern's \emph{Logic of General Awareness}. The logic allows quantification over variables, so that there is a formula in the language that can express the fact that ``an agent explicitly knows that there exists a fact of which he is unaware''. Moreover, that formula can be true without the agent explicitly knowing that he is unaware of any particular formula. We provide a sound and complete axiomatization of the logic, using standard axioms from the literature to capture the quantification operator. Finally, we show that the validity problem for the logic is recursively enumerable, but not decidable.Comment: 32 page

The Paradox of Chocolate.

If any man has drunk a little too deeply from the cup of physical pleasure; if he has spent too much time at his desk that should have been spent asleep ; if his fine spirits have become temporarily dulled; if he finds the air too damp, the minutes too slow, and the atmosphere too heavy to withstand; if he is obsessed by a fixed idea which bars him from any freedom of thought: if he is any of these poor creatures, we say, let him be given a good pint of amber-flavoured chocolate and marvels will be performed” — Anthelme Brillat-Savarin (1755–1826) Scientifically proven to be a mood elevator due to its ability to promote serotonin in the brain, chocolate is popular for it s aphrodisiac, relaxing, euphoric and stimulating characteristics. Renowned as a universally craved food, a majority of chocolate cravers, or chocoholics, have failed to find any close substitutes that can replace this divine invention (Parker, Parker and Brotchie, 2006). Chocolate holds the ability to transcend beyond merely a food, stimulating irrational behavioural tendencies within people even turning them into addicts. The history of chocolate dates back to approximately 600 AD when the cocoa beans were discovered in the lowlands of south Yucatan in the Maya. It was initially consumed as a beverage known as chocolate only by the emperors until it was developed as edible chocolate. Chocolate had an unpleasant taste and its transformation to a desirable flavour is an interesting historical mystery. Chemically, chocolate is composed of cocoa mass, cocoa butter and added sugar. Cocoa mass forms the base product which is obtained by processing the cocoa bean while cocoa butter is the natural fat fro m the cocoa bean which melts at room temperature to provide the creamy “melt in the mouth” sensation. Sugar was added as a primary ingredient by Europeans to appeal to their palate when chocolate was introduced from America (Parker, Parker and Brotchie, 2006). The present day chocolate industry is a mature and vibrant one consistently generating sale

Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems

This paper presents new methods for set-valued state estimation of nonlinear discrete-time systems with unknown-but-bounded uncertainties. A single time step involves propagating an enclosure of the system states through the nonlinear dynamics (prediction), and then enclosing the intersection of this set with a bounded-error measurement (update). When these enclosures are represented by simple sets such as intervals, ellipsoids, parallelotopes, and zonotopes, certain set operations can be very conservative. Yet, using general convex polytopes is much more computationally demanding. To address this, this paper presents two new methods, a mean value extension and a first-order Taylor extension, for efficiently propagating constrained zonotopes through nonlinear mappings. These extend existing methods for zonotopes in a consistent way. Examples show that these extensions yield tighter prediction enclosures than zonotopic estimation methods, while largely retaining the computational benefits of zonotopes. Moreover, they enable tighter update enclosures because constrained zonotopes can represent intersections much more accurately than zonotopes.Comment: This includes the supplement "Supplementary material for: Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems

COVID-19 vaccine hesitancy among non-refugees and refugees in Kenya

Factors associated with COVID-19 vaccine hesitancy (which we define as refusal to be vaccinated when asked, resulting in delayed or non- vaccination) are poorly studied in sub-Saharan Africa and among refugees, particularly in Kenya. Using survey data from wave five (March to June 2021) of the Kenya Rapid Response Phone Survey (RRPS), a household survey representative of the population of Kenya, we estimated the self-reported rates and factors associated with vaccine hesitancy among non-refugees and refugees in Kenya. Non-refugee households were recruited through sampling of the 2015/16 Kenya Household Budget Survey and random digit dialing. Refugee households were recruited through random sampling of registered refugees. Binary response questions on misinformation and information were transformed into a scale. We performed a weighted (to be representative of the overall population of Kenya) multivariable logistic regression including interactions for refugee status, with the main outcome being if the respondent self-reported that they would not take the COVID-19 vaccine if available at no cost. We calculated the marginal effects of the various factors in the model. The weighted univariate analysis estimated that 18.0% of non-refugees and 7.0% of refugees surveyed in Kenya would not take the COVID-19 vaccine if offered at no cost. Adjusted, refugee status was associated with a -13.1[95%CI:-17.5,-8.7] percentage point difference (ppd) in vaccine hesitancy. For the both refugees and non-refugees, having education beyond the primary level, having symptoms of COVID-19, avoiding handshakes, and washing hands more often were also associated with a reduction in vaccine hesitancy. Also for both, having used the internet in the past three months was associated with a 8.1[1.4,14.7] ppd increase in vaccine hesitancy; and disagreeing that the government could be trusted in responding to COVID-19 was associated with a 25.9[14.2,37.5]ppd increase in vaccine hesitancy. There were significant interactions between refugee status and some variables (geography, food security, trust in the Kenyan government’s response to COVID-19, knowing somebody with COVID-19, internet use, and TV ownership). These relationships between refugee status and certain variables suggest that programming between refugees and non-refugees be differentiated and specific to the contextual needs of each group

LOGISTICS IN CONTESTED ENVIRONMENTS

This report examines the transport and delivery of logistics in contested environments within the context of great-power competition (GPC). Across the Department of Defense (DOD), it is believed that GPC will strain our current supply lines beyond their capacity to maintain required warfighting capability. Current DOD efforts are underway to determine an appropriate range of platforms, platform quantities, and delivery tactics to meet the projected logistics demand in future conflicts. This report explores the effectiveness of various platforms and delivery methods through analysis in developed survivability, circulation, and network optimization models. Among other factors, platforms are discriminated by their radar cross-section (RCS), noise level, speed, cargo capacity, and self-defense capability. To maximize supply delivered and minimize the cost of losses, the results of this analysis indicate preference for utilization of well-defended convoys on supply routes where bulk supply is appropriate and smaller, and widely dispersed assets on shorter, more contested routes with less demand. Sensitivity analysis on these results indicates system survivability can be improved by applying RCS and noise-reduction measures to logistics assets.Director, Warfare Integration (OPNAV N9I)Major, Israel Defence ForcesCivilian, Singapore Technologies Engineering Ltd, SingaporeCommander, Republic of Singapore NavyCommander, United States NavyCaptain, Singapore ArmyLieutenant, United States NavyLieutenant, United States NavyMajor, Republic of Singapore Air ForceCaptain, United States Marine CorpsLieutenant, United States NavyLieutenant, United States NavyLieutenant, United States NavyLieutenant, United States NavyLieutenant, United States NavyCaptain, Singapore ArmyLieutenant Junior Grade, United States NavyCaptain, Singapore ArmyLieutenant Colonel, Republic of Singapore Air ForceApproved for public release. distribution is unlimite

The impact of emotional intelligence in health care professionals on caring behaviour towards patients in clinical and long-term care settings: Findings from an integrative review

Background: Over recent years there has been criticism within the United Kingdom’s health service regarding a lack of care and compassion, resulting in adverse outcomes for patients. The impact of emotional intelligence in staff on patient health care outcomes has been recently highlighted. Many recruiters now assess emotional intelligence as part of their selection process for health care staff. However, it has been argued that the importance of emotional intelligence in health care has been overestimated. Objectives: To explore relationships between emotional intelligence in health care professionals, and caring behaviour. To further explore any additional factors related to emotional intelligence that may impact upon caring behaviour. Design: An integrative review design was used. Data sources: Psychinfo, Medline, CINAHL Plus, Social Sciences Citation Index, Science Citation Index, and Scopus were searched for studies from 1995 to April 2017. Review methods: Studies providing quantitative or qualitative exploration of how any healthcare professionals’ emotional intelligence is linked to caring in healthcare settings were selected. Results: Twenty two studies fulfilled the inclusion criteria. Three main types of health care professional were identified: nurses, nurse leaders, and physicians. Results indicated that the emotional intelligence of nurses was related to both physical and emotional caring, but emotional intelligence may be less relevant for nurse leaders and physicians. Age, experience, burnout, and job satisfaction may also be relevant factors for both caring and emotional intelligence. Conclusions: This review provides evidence that developing emotional intelligence in nurses may positively impact upon certain caring behaviours, and that there may be differences within groups that warrant further investigation. Understanding more about which aspects of emotional intelligence are most relevant for intervention is important, and directions for further large scale research have been identified