On-line norm synthesis for open Multi-Agent systems

[eng] Multi Agent Systems (MAS) are computerised systems composed of autonomous software agents that interact to solve complex problems. Within a MAS, agents require some mechanism to coordinate their activities. In the MAS literature, norms have been widely used to coordinate agents’ activities. Thus, given a MAS, a major research challenge is how to synthesise a normative system, namely a collection of norms, which supports its agents’ coordination. This dissertation focuses on the automated synthesis of norms for open Multi- Agent Systems. In an open MAS, the agent population may change along time, agents may be developed by third parties and their behaviours are not known beforehand. These particular conditions make specially challenging to synthesise a normative system to govern an open MAS. The MAS literature has mainly investigated two general approaches to norm synthesis: off-line design, and on-line synthesis. The first approach aims at synthesising a normative system at design time. With this aim, it assumes that the MAS state space is known at design time and does not change at runtime. This goes against the nature of open MAS, and thus off-line design is not appropriate to synthesise their norms. Alternatively, on-line norm synthesis considers that norms are synthesised at runtime. Most on-line synthesis research has focused on norm emergence, which considers that agents synthesise their own norms, thus assuming that they have norm synthesis capabilities. Again, this cannot be assumed in open MAS. Against this background, this dissertation introduces a whole computational framework to perform on-line norm synthesis for open Multi-Agent Systems. Firstly, this framework provides a computational model to synthesise norms for a MAS at runtime. Such computational model requires neither knowledge about agents’ behaviours beforehand nor their participation in the norm synthesis pro- cess. Instead, it considers a regulatory entity that observes agents’ interactions at runtime, identifying situations that are undesirable for coordination to sub- sequently synthesise norms that regulate these situations. Our computational model has been conceived to be of general purpose so that it can be employed to synthesise norms in a wide range of application domains by providing little domain-dependent information. Secondly, our framework provides an abstract architecture to implement such regulatory entity (the so-called Norm Synthesis Machine), which observes a MAS and executes a synthesis strategy to synthe- sise norms. Thirdly, our framework encompasses a family of norm synthesis strategies intended to be executed by the Norm Synthesis Machine. Overall, this family of strategies supports multi-objective on-line norm synthesis Our first synthesis strategy, the so-called base, aims at synthesising effective normative systems that successfully avoid situations that are undesirable for a MAS’ coordination. Then, two further strategies (called iron and simon) go beyond effectiveness and also consider compactness as a norm synthesis goal. iron and simon take alternative approaches to synthesise compact normative systems that, in addition to effectively achieve coordination, are as synthetic as possible. This allows them to reduce agents’ computational efforts when reasoning about norms. A fourth strategy, the so-called lion, goes beyond effectiveness and compactness to also consider liberality as a synthesis goal. lion aims at synthesising normative systems that are effective and compact while preserving agents’ freedom to the greatest possible extent. Our final strategy is desmon, which is capable of synthesising norms by considering different degrees of reactivity. desmon allows to adjust the amount of information that is required to decide whether a norm must be included in a normative system or not. Thus, desmon can synthesise norms either by being reactive (i.e., by considering little information), or by being more deliberative (by employing more information). We provide empirical evaluations of our norm synthesis strategies in two application domains: a road traffic domain, and an on-line community domain. In this former domain, we employ these strategies to synthesise effective, compact and liberal normative systems that successfully avoid collisions between cars. In the latter domain, our strategies synthesise normative systems based on users’ complaints about inappropriate contents. In this way, our strategies implement a regulatory approach that synthesises norms when there is enough user consensus about the need for norms. Overall, this thesis advances in the state of the art in norm synthesis by providing a novel computational model, an abstract architecture and a family of strategies for on-line norm synthesis for open Multi-Agent Systems.[cat] Els sistemes Multi-Agent (MAS) són sistemes computeritzats composats d’agents autònoms que interaccionen per resoldre problemes complexos. A un MAS, els agents requereixen algun mecanisme per a coordinar les seves activitats. A la literatura en Sistemes Multi-Agent, les normes han estat àmpliament utilitzades per coordinar les activitats dels agents. Per tant, donat un MAS, un dels majors reptes d’investigació és el de sintetizar el sistema normatiu, és a dir, la col·lecció de normes, que suporti la coordinació dels agents. Aquesta tesi es centra en la síntesi automàtica de normes per sistemes Multi-Agent oberts. A un MAS obert, la població d’agents pot canviar amb el temps, els agents poden ésser desenvolupats per terceres parts, i els comportaments dels agents són desconeguts per endavant. Aquestes condicions particulars fan especialment complicat sintetizar el sistema normatiu que reguli un sistema Multi-Agent obert. En general, la literatura en Sistemes Multi-Agent ha investigat dues aproximacions a la síntesi de normes: disseny off-line, i síntesi on-line. La primera aproximació consisteix a sintetizar un sistema normatiu en temps de disseny. Amb aquest propòsit, aquesta aproximació assumeix que l’espai d’estats d’un MAS és conegut en temps de disseny i no canvia en temps d’execució. Això va contra la natura dels sistemes Multi-Agent oberts, i per tant el disseny off-line no és apropiat per a sintetitzar les seves normes. Com a alternativa, la síntesi on-line considera que les normes són sintetizades en temps d’execució. La majoria de recerca en síntesi on-line s’ha centrat en la emergència de normes, que considera que els agents sintetizen les seves pròpies normes, per tant assumint que tenen la capacitat de sintetitzar-les. Aquestes condicions tampoc no es poden assumir en un MAS obert. Donat això, aquesta tesi introdueix un marc computacional per la síntesi on-line de normes en sistemes Multi-Agent oberts. Primer, aquest marc proveeix un model computacional per sintetizar normes per un MAS en temps d’execució. Aquest model computacional no requereix ni coneixement sobre els comportaments dels agents per endavant ni la seva participación en la síntesi de normes. En canvi, considera que una entitat reguladora observa les interaccions dels agents en temps d’execució, identificant situacions indesitjades per la coordinació i sintetizant normes que regulen aquestes situacions. El nostre model computacional ha estat dissenyat per a ésser de propòsit general per tal que pugui ser utilitzat a la síntesi de normes en un ampli ventall de dominis d’aplicació proporcionant només información clau sobre el domini. Segon, el nostre marc proveeix una arquitectura abstracta per implementar aquesta entitat reguladora, anomenada Màquina de Síntesi, que observa un MAS en temps d’execució i executa una estratègia de síntesi que s’encarrega de sintetizar normes. Tercer, el nostre marc incorpora una familia d’estratègies de síntesi destinades a ésser executades per una màquina de síntesi. En general, aquesta familia d’estratègies soporta la síntesi multi-objectiu i on-line de normes. La nostra primera estratègia, anomenada BASE, està dissenyada per sintetitzar sistemes normatius eficaços que evitin de manera satisfactòria situacions indesitjades per la coordinació d’un sistema Multi-Agent. Després, dues estratègies de síntesi, anomenades IRON i SIMON, van més enllà de la eficàcia i també consideren la compacitat com a objectiu de síntesi. IRON i SIMON prenen aproximacions alternatives a la síntesi de sistemes normatius compactes que, a més d’aconseguir la coordinació de manera efectiva, siguin tant sintètics com fos possible. Això permet a aquestes estratègies reduir els esforços computacionals dels agents a l’hora de raonar sobre les normes. Una quarta estratègia, anomenada LION, va més enllà de la eficàcia i la compacitat per considerar també la liberalitat com a objectiu de síntesi. Lion sintetitza sistemes normatius que són eficaços i compactes mentre preserven la llibertat dels agents tant com sigui possible. La nostra última estratègia és desmon, que és capaç de sintetizar normes considerant diferents graus de reactivitat. desmon permet ajustar la quantitat d’informació necessària per decidir si una norma cal que sigui o no inclosa a un sistema normatiu. DESMON pot sintetizar normes essent reactiu (considerant poca informació), o essent més deliberatiu (considerant més informació). En aquesta tesi presentem avaluacions empíriques de les nostres estratègies de síntesi en dos dominis d’aplicació: el domini del tràfic, i el domini de les comunitats on-line. En aquest primer domini, utilitzem les nostres estratègies per a sintetizar sistemes normatius eficaços, compactes i liberals que eviten colisions entre cotxes. Al segon domini, les nostres estratègies sintetizen sistemes normatius basant-se en les queixes dels usuaris de la comunitat sobre continguts inapropiats. D’aquesta manera, les nostres estratègies implementen un mecanisme de regulació que sintetiza normes quan hi ha suficient consens entre els usuaris sobre la necessitat de normes. Aquesta tesi avança en l’estat de l’art en síntesi de normes al proporcionar un novedós model computacional, una arquitectura abstracta i una familia d’estratègies per la síntesi on-line de normes per sistemes Multi-Agent oberts

Automated Synthesis of Compact Normative Systems

Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results

RICORS2040 : The need for collaborative research in chronic kidney disease

Chronic kidney disease (CKD) is a silent and poorly known killer. The current concept of CKD is relatively young and uptake by the public, physicians and health authorities is not widespread. Physicians still confuse CKD with chronic kidney insufficiency or failure. For the wider public and health authorities, CKD evokes kidney replacement therapy (KRT). In Spain, the prevalence of KRT is 0.13%. Thus health authorities may consider CKD a non-issue: very few persons eventually need KRT and, for those in whom kidneys fail, the problem is 'solved' by dialysis or kidney transplantation. However, KRT is the tip of the iceberg in the burden of CKD. The main burden of CKD is accelerated ageing and premature death. The cut-off points for kidney function and kidney damage indexes that define CKD also mark an increased risk for all-cause premature death. CKD is the most prevalent risk factor for lethal coronavirus disease 2019 (COVID-19) and the factor that most increases the risk of death in COVID-19, after old age. Men and women undergoing KRT still have an annual mortality that is 10- to 100-fold higher than similar-age peers, and life expectancy is shortened by ~40 years for young persons on dialysis and by 15 years for young persons with a functioning kidney graft. CKD is expected to become the fifth greatest global cause of death by 2040 and the second greatest cause of death in Spain before the end of the century, a time when one in four Spaniards will have CKD. However, by 2022, CKD will become the only top-15 global predicted cause of death that is not supported by a dedicated well-funded Centres for Biomedical Research (CIBER) network structure in Spain. Realizing the underestimation of the CKD burden of disease by health authorities, the Decade of the Kidney initiative for 2020-2030 was launched by the American Association of Kidney Patients and the European Kidney Health Alliance. Leading Spanish kidney researchers grouped in the kidney collaborative research network Red de Investigación Renal have now applied for the Redes de Investigación Cooperativa Orientadas a Resultados en Salud (RICORS) call for collaborative research in Spain with the support of the Spanish Society of Nephrology, Federación Nacional de Asociaciones para la Lucha Contra las Enfermedades del Riñón and ONT: RICORS2040 aims to prevent the dire predictions for the global 2040 burden of CKD from becoming true

Colombian consensus recommendations for diagnosis, management and treatment of the infection by SARS-COV-2/ COVID-19 in health care facilities - Recommendations from expert´s group based and informed on evidence

La Asociación Colombiana de Infectología (ACIN) y el Instituto de Evaluación de Nuevas Tecnologías de la Salud (IETS) conformó un grupo de trabajo para desarrollar recomendaciones informadas y basadas en evidencia, por consenso de expertos para la atención, diagnóstico y manejo de casos de Covid 19. Estas guías son dirigidas al personal de salud y buscar dar recomendaciones en los ámbitos de la atención en salud de los casos de Covid-19, en el contexto nacional de Colombia

VirtualCPR: Virtual Reality Mobile Application for Training in Cardiopulmonary Resuscitation Techniques

Deaths due to heart diseases are a leading cause of death in Mexico. Cardiovascular diseases are considered a public health problem because they produce cardiorespiratory arrests. During an arrest, cardiac and/or respiratory activity stops. A cardiorespiratory arrest is rapidly fatal without a quick and efficient intervention. As a response to this problem, the VirtualCPR system was designed in the present work. VirtualCPR is a mobile virtual reality application to support learning and practicing of basic techniques of cardiopulmonary resuscitation (CPR) for experts or non-experts in CPR. VirtualCPR implements an interactive virtual scenario with the user, which is visible by means of employment of virtual reality lenses. User’s interactions, with our proposal, are by a portable force sensor for integration with training mannequins, whose development is based on an application for the Android platform. Furthermore, this proposal integrates medical knowledge in first aid, related to the basic CPR for adults using only the hands, as well as technological knowledge, related to development of simulations on a mobile virtual reality platform by three main processes: (i) force measurement and conversion, (ii) data transmission and (iii) simulation of a virtual scenario. An experiment by means of a multifactorial analysis of variance was designed considering four factors for a CPR session: (i) previous training in CPR, (ii) frequency of compressions, (iii) presence of auditory suggestions and (iv) presence of color indicator. Our findings point out that the more previous training in CPR a user of the VirtualCPR system has, the greater the percentage of correct compressions obtained from a virtual CPR session. Setting the rate to 100 or 150 compressions per minute, turning on or off the auditory suggestions and turning the color indicator on or off during the session have no significant effect on the results obtained by the user

Revolution: Museo de las estrellas un paseo por la fama : Hollywood

Convocatoria proyectos de innovación de Extremadura 2020/2021Se describe un proyecto llevado a cabo entre 13 centros educativos extremeños que consistió en desarrollar cinco unidades de trabajo gamificadas, cinco historias detectivescas con misterios por resolver, donde se ponían a prueba las habilidades de lógica, la capacidad de observación, de concentración y de atención de los alumnos. Los objetivos principales de la propuesta fueron: promover la puesta en práctica de proyectos intercentros; impulsar pedagogías activas; desarrollar la competencia digital a través del uso de las pedagogías emergentes lo que ha permitido llevar a cabo una enseñanza presencial, híbrida y virtual y atender a la diversidadExtremaduraES

Effect of the COVID-19 pandemic on surgery for indeterminate thyroid nodules (THYCOVID): a retrospective, international, multicentre, cross-sectional study

Background: Since its outbreak in early 2020, the COVID-19 pandemic has diverted resources from non-urgent and elective procedures, leading to diagnosis and treatment delays, with an increased number of neoplasms at advanced stages worldwide. The aims of this study were to quantify the reduction in surgical activity for indeterminate thyroid nodules during the COVID-19 pandemic; and to evaluate whether delays in surgery led to an increased occurrence of aggressive tumours. Methods: In this retrospective, international, cross-sectional study, centres were invited to participate in June 22, 2022; each centre joining the study was asked to provide data from medical records on all surgical thyroidectomies consecutively performed from Jan 1, 2019, to Dec 31, 2021. Patients with indeterminate thyroid nodules were divided into three groups according to when they underwent surgery: from Jan 1, 2019, to Feb 29, 2020 (global prepandemic phase), from March 1, 2020, to May 31, 2021 (pandemic escalation phase), and from June 1 to Dec 31, 2021 (pandemic decrease phase). The main outcomes were, for each phase, the number of surgeries for indeterminate thyroid nodules, and in patients with a postoperative diagnosis of thyroid cancers, the occurrence of tumours larger than 10 mm, extrathyroidal extension, lymph node metastases, vascular invasion, distant metastases, and tumours at high risk of structural disease recurrence. Univariate analysis was used to compare the probability of aggressive thyroid features between the first and third study phases. The study was registered on ClinicalTrials.gov, NCT05178186. Findings: Data from 157 centres (n=49 countries) on 87 467 patients who underwent surgery for benign and malignant thyroid disease were collected, of whom 22 974 patients (18 052 [78·6%] female patients and 4922 [21·4%] male patients) received surgery for indeterminate thyroid nodules. We observed a significant reduction in surgery for indeterminate thyroid nodules during the pandemic escalation phase (median monthly surgeries per centre, 1·4 [IQR 0·6-3·4]) compared with the prepandemic phase (2·0 [0·9-3·7]; p<0·0001) and pandemic decrease phase (2·3 [1·0-5·0]; p<0·0001). Compared with the prepandemic phase, in the pandemic decrease phase we observed an increased occurrence of thyroid tumours larger than 10 mm (2554 [69·0%] of 3704 vs 1515 [71·5%] of 2119; OR 1·1 [95% CI 1·0-1·3]; p=0·042), lymph node metastases (343 [9·3%] vs 264 [12·5%]; OR 1·4 [1·2-1·7]; p=0·0001), and tumours at high risk of structural disease recurrence (203 [5·7%] of 3584 vs 155 [7·7%] of 2006; OR 1·4 [1·1-1·7]; p=0·0039). Interpretation: Our study suggests that the reduction in surgical activity for indeterminate thyroid nodules during the COVID-19 pandemic period could have led to an increased occurrence of aggressive thyroid tumours. However, other compelling hypotheses, including increased selection of patients with aggressive malignancies during this period, should be considered. We suggest that surgery for indeterminate thyroid nodules should no longer be postponed even in future instances of pandemic escalation. Funding: None