Logic, Probability and Action: A Situation Calculus Perspective

The unification of logic and probability is a long-standing concern in AI, and more generally, in the philosophy of science. In essence, logic provides an easy way to specify properties that must hold in every possible world, and probability allows us to further quantify the weight and ratio of the worlds that must satisfy a property. To that end, numerous developments have been undertaken, culminating in proposals such as probabilistic relational models. While this progress has been notable, a general-purpose first-order knowledge representation language to reason about probabilities and dynamics, including in continuous settings, is still to emerge. In this paper, we survey recent results pertaining to the integration of logic, probability and actions in the situation calculus, which is arguably one of the oldest and most well-known formalisms. We then explore reduction theorems and programming interfaces for the language. These results are motivated in the context of cognitive robotics (as envisioned by Reiter and his colleagues) for the sake of concreteness. Overall, the advantage of proving results for such a general language is that it becomes possible to adapt them to any special-purpose fragment, including but not limited to popular probabilistic relational models

CMB Telescopes and Optical Systems

The cosmic microwave background radiation (CMB) is now firmly established as a fundamental and essential probe of the geometry, constituents, and birth of the Universe. The CMB is a potent observable because it can be measured with precision and accuracy. Just as importantly, theoretical models of the Universe can predict the characteristics of the CMB to high accuracy, and those predictions can be directly compared to observations. There are multiple aspects associated with making a precise measurement. In this review, we focus on optical components for the instrumentation used to measure the CMB polarization and temperature anisotropy. We begin with an overview of general considerations for CMB observations and discuss common concepts used in the community. We next consider a variety of alternatives available for a designer of a CMB telescope. Our discussion is guided by the ground and balloon-based instruments that have been implemented over the years. In the same vein, we compare the arc-minute resolution Atacama Cosmology Telescope (ACT) and the South Pole Telescope (SPT). CMB interferometers are presented briefly. We conclude with a comparison of the four CMB satellites, Relikt, COBE, WMAP, and Planck, to demonstrate a remarkable evolution in design, sensitivity, resolution, and complexity over the past thirty years.Comment: To appear in: Planets, Stars and Stellar Systems (PSSS), Volume 1: Telescopes and Instrumentatio

So Different, yet So Similar: Meta-Analysis and Policy Modeling of Willingness to Participate in Clinical Trials among Brazilians and Indians

BACKGROUND: With the global expansion of clinical trials and the expectations of the rise of the emerging economies known as BRICs (Brazil, Russia, India and China), the understanding of factors that affect the willingness to participate in clinical trials of patients from those countries assumes a central role in the future of health research. METHODS: We conducted a systematic review and meta-analysis (SRMA) of willingness to participate in clinical trials among Brazilian patients and then we compared it with Indian patients (with results of another SRMA previously conducted by our group) through a system dynamics model. RESULTS: Five studies were included in the SRMA of Brazilian patients. Our main findings are 1) the major motivation for Brazilian patients to participate in clinical trials is altruism, 2) monetary reimbursement is the least important factor motivating Brazilian patients, 3) the major barrier for Brazilian patients to not participate in clinical trials is the fear of side effects, and 4) Brazilian patients are more likely willing to participate in clinical trials than Indians. CONCLUSION: Our study provides important insights for investigators and sponsors for planning trials in Brazil (and India) in the future. Ignoring these results may lead to unnecessary fund/time spending. More studies are needed to validate our results and for better understanding of this poorly studied theme

How Friendship Network Characteristics Influence Subjective Well-Being

This article explores how friendship network characteristics influence subjective well-being (SWB). Using data from the 2003 General Social Survey of Canada, three components of the friendship network are differentiated: number of friends, frequency of contact, and heterogeneity of friends. We argue that these characteristics shape SWB through the benefits they bring. Benefits considered are more social trust, less stress, better health, and more social support. Results confirm that higher frequency of contacts and higher number of friends, as well as lower heterogeneity of the friendship network are related to more social trust, less stress, and a better health. Frequency of contact and number of friends, as well as more heterogeneity of the friendship network increase the chance of receiving help from friends. With the exception of receiving help from friends, these benefits are in turn related to higher levels of SWB. Only the frequency of meeting friends face-to-face has a remaining positive direct influence on SWB

The Cellular Mechanism for Water Detection in the Mammalian Taste System

Initiation of drinking behavior relies on both internal state and peripheral water detection. While central neural circuits regulating thirst have been well studied, it is still unclear how mammals recognize external water. Here we show that acid-sensing taste receptor cells (TRCs) that were previously suggested as the sour taste sensors also mediate taste responses to water. Genetic silencing of these TRCs abolished water-evoked responses in taste nerves. Optogenetic self-stimulation of acid-sensing TRCs in thirsty animals induced robust drinking responses toward light even without water. This behavior was only observed when animals were water-deprived but not under food- or salt-depleted conditions, indicating that the hedonic value of water-evoked responses is highly internal-state dependent. Conversely, thirsty animals lacking functional acid-sensing TRCs showed compromised discrimination between water and nonaqueous fluids. Taken together, this study revealed a function of mammalian acid-sensing TRCs that provide a cue for external water

Interactive Marine Spatial Planning: Siting Tidal Energy Arrays around the Mull of Kintyre

The rapid development of the offshore renewable energy sector has led to an increased requirement for Marine Spatial Planning (MSP) and, increasingly, this is carried out in the context of the ‘ecosystem approach’ (EA) to management. We demonstrate a novel method to facilitate implementation of the EA. Using a real-time interactive mapping device (touch-table) and stakeholder workshops we gathered data and facilitated negotiation of spatial trade-offs at a potential site for tidal renewable energy off the Mull of Kintyre (Scotland). Conflicts between the interests of tidal energy developers and commercial and recreational users of the area were identified, and use preferences and concerns of stakeholders were highlighted. Social, cultural and spatial issues associated with conversion of common pool to private resource were also revealed. The method identified important gaps in existing spatial data and helped to fill these through interactive user inputs. The workshops developed a degree of consensus between conflicting users on the best areas for potential development suggesting that this approach should be adopted during MSP

Multiple-look effects on temporal discrimination within sound sequences

The multiple-look notion holds that the difference limen (DL) decreases with multiple observations. We investigated this notion for temporal discrimination in isochronous sound sequences. In Experiment 1, we established a multiple-look effect when sequences comprised nine standard time intervals (S) followed by an increasing number of comparison time intervals (C), but no multiple-look effect when one trailing C interval was preceded by an increasing number of S intervals. In Experiment 2, we extended the design. There were four sequential conditions: (a) 9 leading S intervals followed by 1, 2, …, or 9 C-intervals; (b) 9 leading C intervals followed by 1, 2, …, or 9 S intervals; (c) 9 trailing C-intervals preceded by 1, 2, …, or 9 S-intervals; and (d) 9 trailing S-intervals preceded by 1, 2, …, or 9 C-intervals. Both the interval accretions before and after the tempo change caused multiple-look effects, irrespective of the time order of S and C. Complete deconfounding of the number of intervals before and after the tempo change was accomplished in Experiment 3. The multiple-look effect of interval accretion before the tempo change was twice as big as that after the tempo change. The diminishing returns relation between the DL and interval accretion could be described well by a reciprocal function

Sex matters during adolescence: Testosterone-related cortical thickness maturation differs between boys and girls

Age-related changes in cortical thickness have been observed during adolescence, including thinning in frontal and parietal cortices, and thickening in the lateral temporal lobes. Studies have shown sex differences in hormone-related brain maturation when boys and girls are age-matched, however, because girls mature 1-2 years earlier than boys, these sex differences could be confounded by pubertal maturation. To address puberty effects directly, this study assessed sex differences in testosterone-related cortical maturation by studying 85 boys and girls in a narrow age range and matched on sexual maturity. We expected that testosterone-by-sex interactions on cortical thickness would be observed in brain regions known from the animal literature to be high in androgen receptors. We found sex differences in associations between circulating testosterone and thickness in left inferior parietal lobule, middle temporal gyrus, calcarine sulcus, and right lingual gyrus, all regions known to be high in androgen receptors. Visual areas increased with testosterone in boys, but decreased in girls. All other regions were more impacted by testosterone levels in girls than boys. The regional pattern of sex-by-testosterone interactions may have implications for understanding sex differences in behavior and adolescent-onset neuropsychiatric disorders. © 2012 Bramen et al

Self-medication of migraine and tension-type headache: summary of the evidence-based recommendations of the Deutsche Migräne und Kopfschmerzgesellschaft (DMKG), the Deutsche Gesellschaft für Neurologie (DGN), the Österreichische Kopfschmerzgesellschaft (ÖKSG) and the Schweizerische Kopfwehgesellschaft (SKG)

The current evidence-based guideline on self-medication in migraine and tension-type headache of the German, Austrian and Swiss headache societies and the German Society of Neurology is addressed to physicians engaged in primary care as well as pharmacists and patients. The guideline is especially concerned with the description of the methodology used, the selection process of the literature used and which evidence the recommendations are based upon. The following recommendations about self-medication in migraine attacks can be made: The efficacy of the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine and the monotherapies with ibuprofen or naratriptan or acetaminophen or phenazone are scientifically proven and recommended as first-line therapy. None of the substances used in self-medication in migraine prophylaxis can be seen as effective. Concerning the self-medication in tension-type headache, the following therapies can be recommended as first-line therapy: the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine as well as the fixed combination of acetaminophen and caffeine as well as the monotherapies with ibuprofen or acetylsalicylic acid or diclofenac. The four scientific societies hope that this guideline will help to improve the treatment of headaches which largely is initiated by the patients themselves without any consultation with their physicians