Solving Conflicting Beliefs with a Distributed Belief Revision Approach

The ability to solve conflicting beliefs is crucial for multi- agent systems where the information is dynamic, incomplete and dis- tributed over a group of autonomous agents. The proposed distributed belief revision approach consists of a distributed truth maintenance sy- stem and a set of autonomous belief revision methodologies. The agents have partial views and, frequently, hold disparate beliefs which are au- tomatically detected by system’s reason maintenance mechanism. The nature of these conflicts is dynamic and requires adequate methodolo- gies for conflict resolution. The two types of conflicting beliefs addressed in this paper are Context Dependent and Context Independent Conflicts which result, in the first case, from the assignment, by different agents, of opposite belief statuses to the same belief, and, in the latter case, from holding contradictory distinct beliefs. The belief revision methodology for solving Context Independent Con- flicts is, basically, a selection process based on the assessment of the cre- dibility of the opposing belief statuses. The belief revision methodology for solving Context Dependent Conflicts is, essentially, a search process for a consensual alternative based on a “next best” relaxation strategy.

Permeable Reactive Barriers using nanoparticles to remediate nitrate pollution

Nitrat e (NO3 - ) i s per vasi ve i n t he bi ospher e[ 1, 2]. Cont emporar y agri cult ural pr acti ces are a mong t he maj or ant hr opogeni c sources of r eacti ve nitrogen speci es, wher e nitrat ei s t he most abundant of t hese [ 2]. Excessi ve a mount s of r eacti ve nitrogen i n soil s and gr oundwat er ar e creati ng si gnifi cant t hr eat s t o hu man healt h and saf et y [ 3] as well as a host of undesirabl e environment al i mpact s [ 2]; it i s curr ently consi der ed t he second most r el evant environment al i ssue, aft er car bon di oxide e mi ssi ons. Nowadays, a mong t he most r el evant and pr omi si ng appr oaches t o r educe nitrat e concentrati on i n wat er, na mel y gr oundwat er, ar e denitrifi cati on- based pr ocesses [ 4]. Per meabl e r eacti ve barri ers ( PRB) have been pr oven eff ecti ve i n r educi ng vari ous cont ami nant s i n copi ous a mount s, parti cul arl y i n shall ow gr oundwat er [ 5]. However t he possi bl e added eff ecti veness of usi ng nanoparti cl es i n t hese structur es t o obt ai n nitrogen gas from nitrat es requires f urt her i nvesti gati on.

Efeitos imediatos da MWM na dor, amplitude de movimento e funcionalidade, na osteoartrite da anca.

Introdução: A mobilização com movimento (MWM), segundo o Conceito Mulligan tem apresentado bons resultados na melhoria da dor, amplitude de movimento e funcionalidade em diversas disfunções. No entanto, existem poucos estudos sobre a articulação da anca e, até este momento, não foi avaliada a sua efetividade em indivíduos com osteoartrite da anca. Objectivo(s): Avaliar os efeitos imediatos da técnica de MWM na dor, na amplitude de movimento e na função física em indivíduos com osteoartrite da anca. Métodos: Foram incluídos 40 participantes com osteoartrite da anca, divididas de forma aleatória em dois grupos (experimental e placebo). Foram avaliadas as amplitudes de movimento de flexão e rotação medial da anca recorrendo ao goniómetro universal, a intensidade da dor através da Escala Numérica da Dor e a funcionalidade através de testes de função física, antes e imediatamente após a intervenção. Para o tratamento estatístico, foi utilizado um nível de significância de 0,05. Resultados: A aplicação de MWM resultou em diferenças significativas, com redução da dor na Escala Numérica da Dor (p=0,005), um aumento de amplitude de movimento de flexão (p=0,001) e de rotação medial (p=0,011), uma diminuição nos tempos dos testes de função física, o teste Timed “Up and Go” (p=0,037) e o teste “40m Self Placed Walk” (p=0,019), e um aumento nas repetições do teste ―30 seg Sit to Stand” (p=0,009), comparativamente ao grupo placebo. Conclusão: Os resultados sugerem que a técnica MWM parece produzir um efeito imediato significativo na diminuição da dor, aumento de amplitude articular e melhoria da função física em indivíduos com osteoartrite da anca. Este efeito foi maior para dor, para as amplitudes de movimento e para o teste de função física - ―30 seg Sit to Stand” quando se analisou a magnitude do efeito.

Intelligent Micro Grid Management using a Multi-Agent approach

Recent changes in electricity markets (EMs) have been potentiating the globalization of distributed generation. With distributed generation the number of players acting in the EMs and connected to the main grid has grown, increasing the market complexity. Multi-agent simulation arises as an interesting way of analysing players’ behaviour and interactions, namely coalitions of players, as well as their effects on the market. MASCEM was developed to allow studying the market operation of several different players and MASGriP is being developed to allow the simulation of the micro and smart grid concepts in very different scenarios This paper presents a methodology based on artificial intelligence techniques (AI) for the management of a micro grid. The use of fuzzy logic is proposed for the analysis of the agent consumption elasticity, while a case based reasoning, used to predict agents’ reaction to price changes, is an interesting tool for the micro grid operator.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Immediate effects of hip mobilization with movement in patients with hip osteoarthritis: A randomised controlled trial

Background Mobilization with movement (MWM) has been shown to reduce pain, increase range of motion (ROM) and physical function in a range of different musculoskeletal disorders. Despite this evidence, there is a lack of studies evaluating the effects of MWM for hip osteoarthritis (OA). Objectives To determine the immediate effects of MWM on pain, ROM and functional performance in patients with hip OA. Design Randomized controlled trial with immediate follow-up. Method Forty consenting patients (mean age 78 ± 6 years; 54% female) satisfied the eligibility criteria. All participants completed the study. Two forms of MWM techniques (n = 20) or a simulated MWM (sham) (n = 20) were applied. Primary outcomes: pain recorded by numerical rating scale (NRS). Secondary outcomes: hip flexion and internal rotation ROM, and physical performance (timed up and go, sit to stand, and 40 m self placed walk test) were assessed before and after the intervention. Results For the MWM group, pain decreased by 2 points on the NRS, hip flexion increased by 12.2°, internal rotation by 4.4°, and functional tests were also improved with clinically relevant effects following the MWM. There were no significant changes in the sham group for any outcome variable. Conclusions Pain, hip flexion ROM and physical performance immediately improved after the application of MWM in elderly patients suffering hip OA. The observed immediate changes were of clinical relevance. Future studies are required to determine the long-term effects of this intervention.

Influence of cardiorespiratory fitness and parental lifestyle on adolescents' abdominal obesity

The aims of this study were (1) to analyse the influence of cardiorespiratory fitness (CRF) and parental overweight status (POS) and socioeconomic status (SES) on abdominal obesity. This study was comprised of 779 adolescents (12-18 years). Waist-height ratio (WHtR), 20 m shuttle-run test to ascertain CRF, POS according to World Health Organization recommendations and SES of parents using level of education were analysed. Using WHtR, the prevalence of abdominal obesity was 21.3% (23.5% girls and 17.9% boys; p = 0.062). Regardless of gender, participants who belonged to the WHtR risk group had significantly (p ≤ 0.05) lower CRF scores than the WHtR non-risk group; 84.4% of girls who belonged to the WHtR risk group had one or two overweight parents (p ≤ 0.05). Boys with low CRF (OR: 6.43; CI: 3.33-12.39) were more likely to belong to the WHtR risk group compared with their lean peers. Girls with low CRF (OR: 1.78; CI: 1.14-2.78) and with at least one overweight parent (OR: 2.50; CI: 1.07-5.85) or two overweight parents (OR: 4.90; CI: 2.08-11.54) were associated with the risk of abdominal obesity. This study highlights the influence of adolescents' family on abdominal obesity, especially in girls. Further, the data suggested that low CRF was a strong predictor of risk values of abdominal obesity in adolescence.