Possibilistic Boolean games: strategic reasoning under incomplete information

Boolean games offer a compact alternative to normal-form games, by encoding the goal of each agent as a propositional formula. In this paper, we show how this framework can be naturally extended to model situations in which agents are uncertain about other agents' goals. We first use uncertainty measures from possibility theory to semantically define (solution concepts to) Boolean games with incomplete information. Then we present a syntactic characterization of these semantics, which can readily be implemented, and we characterize the computational complexity

May measurement month 2018: an analysis of blood pressure screening in the Philippines.

Building on the gains of May Measurement Month 2017 (MMM17), the Philippine Society of Hypertension once again took part in MMM18 to raise awareness of high blood pressure (BP) in the country and to harness opportunistic BP screening in detecting unaware hypertensive individuals and referring them for treatment. We followed the standard MMM18 protocol designed by the International Society of Hypertension, utilizing convenience sampling with volunteer investigators, taking three sitting BP measurements of volunteer adults (≥18 years). Basic data on demographic, lifestyle, and environmental factors were also taken. We analysed 177 176 screened individuals from the Philippines. Of these, 29.1% (51 527) had also participated in MMM17, whereas 68.8% (121 893) were new screenees; and 14.2% (25 232) had their BP taken for the first time ever. After multiple imputation, 39.0% (69 126) were hypertensive. Of these, 50.3% (34 795) were aware they were hypertensive. 49.9% (34 491) were on antihypertensive medication, 58.0% (20 010) of whom had controlled BP <140/90 mmHg. Only 28.9% of all participants with hypertension had controlled BP. Systolic BPs and diastolic BPs were significantly higher in the overweight and obese, in those receiving antihypertensive medications, in patients with diabetes, and significantly lower in pregnant women. MMM18 has again shown that opportunistic BP screening, harnessing volunteers, is a pragmatic public health measure to improve awareness and treatment rates of raised BP

May Measurement Month 2017: an analysis of blood pressure screening in the Philippines-South-East Asia and Australasia

Cardiovascular diseases remain the Philippines' leading cause of mortality, with hypertension as a prevalent contributory risk factor. We took part in May Measurement Month 2017 (MMM17), a global initiative to raise awareness of high blood pressure (BP) and to serve as a temporary solution to the lack of screening programs worldwide. Following the standard MMM protocol, data for 271 604 screened individuals were submitted from the Philippines. After multiple imputation, 91 994 (34.3%) were hypertensive; 28 662 out of 205 158 participants (14.0%) not receiving treatment had hypertension; and of the 60 370 receiving treatment, 25 144 (41.6%) had uncontrolled BP. Blood pressures were significantly higher in the overweight and obese, current smokers, in participants receiving antihypertensive medication, those with previous myocardial infarction or stroke. The BP measurements were relatively lower when taken on the left arm, and in pregnant women. A slightly higher systolic BP was noted in participants who reported no alcohol intake. Blood pressures recorded during the weekends were highest, and the lowest readings were obtained on Tuesdays. MMM17 was the largest BP screening campaign conducted in the Philippines. Opportunistic BP screening, harnessing volunteers, are a cost-effective public health measure to improve awareness and treatment rates of raised BP. These may help provide additional information that can guide medical practitioners and health officials in drafting preventive and therapeutic measures to improve control rates and long-term outcomes of hypertensive individuals in the population

Intelligent negotiation model for ubiquitous group decision scenarios

Supporting group decision-making in ubiquitous contexts is a complex task that must deal with a large amount of factors to succeed. Here we propose an approach for an intelligent negotiation model to support the group decision-making process specially designed for ubiquitous contexts. Our approach can be used by researchers that intend to include arguments, complex algorithms and agents' modelling in a negotiation model. It uses a social networking logic due to the type of communication employed by the agents and it intends to support the ubiquitous group decision-making process in a similar way to the real process, which simultaneously preserves the amount and quality of intelligence generated in face-to-face meetings. We propose a new look into this problematic by considering and defining strategies to deal with important points such as the type of attributes in the multicriteria problems, agents' reasoning and intelligent dialogues.This work has been supported by COMPETE Programme (operational programme for competitiveness) within project POCI-01-0145-FEDER-007043, by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the Projects UID/CEC/00319/2013, UID/EEA/00760/2013, and the João Carneiro PhD grant with the reference SFRH/BD/89697/2012 and by Project MANTIS - Cyber Physical System Based Proactive Collaborative Maintenance (ECSEL JU Grant nr. 662189).info:eu-repo/semantics/publishedVersio

Towards neuro-inspired symbolic models of cognition: linking neural dynamics to behaviors through asynchronous communications

A computational architecture modeling the relation between perception and action is proposed. Basic brain processes representing synaptic plasticity are first abstracted through asynchronous communication protocols and implemented as virtual microcircuits. These are used in turn to build mesoscale circuits embodying parallel cognitive processes. Encoding these circuits into symbolic expressions gives finally rise to neuro-inspired programs that are compiled into pseudo-code to be interpreted by a virtual machine. Quantitative evaluation measures are given by the modification of synapse weights over time. This approach is illustrated by models of simple forms of behaviors exhibiting cognition up to the third level of animal awareness. As a potential benefit, symbolic models of emergent psychological mechanisms could lead to the discovery of the learning processes involved in the development of cognition. The executable specifications of an experimental platform allowing for the reproduction of simulated experiments are given in “Appendix”

Logics of knowledge and action: critical analysis and challenges

International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges

On the dynamics of the adenylate energy system: homeorhesis vs homeostasis.

Biochemical energy is the fundamental element that maintains both the adequate turnover of the biomolecular structures and the functional metabolic viability of unicellular organisms. The levels of ATP, ADP and AMP reflect roughly the energetic status of the cell, and a precise ratio relating them was proposed by Atkinson as the adenylate energy charge (AEC). Under growth-phase conditions, cells maintain the AEC within narrow physiological values, despite extremely large fluctuations in the adenine nucleotides concentration. Intensive experimental studies have shown that these AEC values are preserved in a wide variety of organisms, both eukaryotes and prokaryotes. Here, to understand some of the functional elements involved in the cellular energy status, we present a computational model conformed by some key essential parts of the adenylate energy system. Specifically, we have considered (I) the main synthesis process of ATP from ADP, (II) the main catalyzed phosphotransfer reaction for interconversion of ATP, ADP and AMP, (III) the enzymatic hydrolysis of ATP yielding ADP, and (IV) the enzymatic hydrolysis of ATP providing AMP. This leads to a dynamic metabolic model (with the form of a delayed differential system) in which the enzymatic rate equations and all the physiological kinetic parameters have been explicitly considered and experimentally tested in vitro. Our central hypothesis is that cells are characterized by changing energy dynamics (homeorhesis). The results show that the AEC presents stable transitions between steady states and periodic oscillations and, in agreement with experimental data these oscillations range within the narrow AEC window. Furthermore, the model shows sustained oscillations in the Gibbs free energy and in the total nucleotide pool. The present study provides a step forward towards the understanding of the fundamental principles and quantitative laws governing the adenylate energy system, which is a fundamental element for unveiling the dynamics of cellular life

Central leptin regulates total ceramide content and sterol regulatory element binding protein-1C proteolytic maturation in rat white adipose tissue

Obesity and type 2 diabetes are associated with insulin and leptin resistance, and increased ceramide contents in target tissues. Because the adipose tissue has become a central focus in these diseases, and leptin-induced increases in insulin sensitivity may be related to effects of leptin on lipid metabolism, we investigated herein whether central leptin was able to regulate total ceramide levels and the expression of enzymes involved in ceramide metabolism in rat white adipose tissue (WAT). After 7 d central leptin treatment, the total content of ceramides was analyzed by quantitative shotgun lipidomics mass spectrometry. The effects of leptin on the expression of several enzymes of the sphingolipid metabolism, sterol regulatory element binding protein (SREBP)-1c, and insulin-induced gene 1 (INSIG-1) in this tissue were studied. Total ceramide levels were also determined after surgical WAT denervation. Central leptin infusion significantly decreased both total ceramide content and the long-chain fatty acid ceramide species in WAT. Concomitant with these results, leptin decreased the mRNA levels of enzymes involved in de novo ceramide synthesis (SPT-1, LASS2, LASS4) and ceramide production from sphingomyelin (SMPD-1/2). The mRNA levels of enzymes of ceramide degradation (Asah1/2) and utilization (sphingomyelin synthase, ceramide kinase, glycosyl-ceramide synthase, GM3 synthase) were also down-regulated. Ceramide-lowering effects of central leptin were prevented by local autonomic nervous system denervation of WAT. Finally, central leptin treatment markedly increased INSIG-1 mRNA expression and impaired SREBP-1c activation in epididymal WAT. These observations indicate that in vivo central leptin, acting through the autonomic nervous system, regulates total ceramide levels and SREBP-1c proteolytic maturation in WAT, probably contributing to improve the overall insulin sensitivity