Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective

Diagnostic reasoning has been characterized logically as consistency-based reasoning or abductive reasoning. Previous analyses in the literature have shown, on the one hand, that choosing the (in general more restrictive) abductive definition may be appropriate or not, depending on the content of the knowledge base [Console&Torasso91], and, on the other hand, that, depending on the choice of the definition the same knowledge should be expressed in different form [Poole94]. Since in Model-Based Diagnosis a major problem is finding the right way of abstracting the behavior of the system to be modeled, this paper discusses the relation between modeling, and in particular abstraction in the model, and the notion of diagnosis.Comment: 5 pages, 8th Int. Workshop on Nonmonotonic Reasoning, 200

Can the UNAIDS 90-90-90 target be achieved? A systematic analysis of national HIV treatment cascades

Background In 2014, the Joint United Nations Programme on HIV and AIDS (UNAIDS) and partners set the ‘90-90-90 targets’; aiming to diagnose 90% of all HIV positive people, provide antiretroviral therapy (ART) for 90% of those diagnosed and achieve viral suppression for 90% of those treated, by 2020. This results in 81% of all HIV positive people on treatment and 73% of all HIV positive people achieving viral suppression. We aimed to analyse how effective national HIV treatment programmes are at meeting these targets, using HIV care continuums or cascades. Methods We searched for HIV treatment cascades for 196 countries in published papers, conference presentations, UNAIDS databases and national reports. Cascades were constructed using reliable, generalisable, recent data from national, cross-sectional and longitudinal study cohorts. Data were collected for four stages; total HIV positive people, diagnosed, on treatment and virally suppressed. The cascades were categorised as complete (four stages) or partial (3 stages), and analysed for ‘break points’ defined as a drop >10% in coverage between consecutive 90-90-90 targets. Results 69 country cascades were analysed (32 complete, 37 partial). Diagnosis (target one—90%) ranged from 87% (the Netherlands) to 11% (Yemen). Treatment coverage (target two—81% on ART) ranged from 71% (Switzerland) to 3% (Afghanistan). Viral suppression (target three—73% virally suppressed) was between 68% (Switzerland) and 7% (China). Conclusions No country analysed met the 90-90-90 targets. Diagnosis was the greatest break point globally, but the most frequent key break point for individual countries was providing ART to those diagnosed. Large disparities were identified between countries. Without commitment to standardised reporting methodologies, international comparisons are complex

Peri-implant diseases and metabolic syndrome components: a systematic review

OBJECTIVE: Metabolic syndrome (MetS) is defined as a spectrum of conditions associated with an increased risk of developing CVD and type 2 diabetes. MetS include: hyperglycemia, hypertension, visceral obesity, dyslipidemia with elevated values of triglycerides (TG) and low levels of HDL. The aim of this review is to provide current knowledge of the relationship between MetS, its components and peri-implant diseases. MATERIALS AND METHODS: An electronic literature search was conducted in the English language in several databases. The Newcastle-Ottawa Scale was used for quality assessment of cohort and cross-sectional studies; while systematic reviews were evaluated through AMSTAR; results were reported according to the PRISMA Statement. RESULTS: A total of 272 records were identified through database searching, six studies were included for qualitative analysis. No study directly related to MetS was found, there was inconsistent and controversial evidence regarding association with cardiovascular disease. A higher risk of peri-implantitis was detected in people with hyperglycemia. CONCLUSIONS: Future research should be orientated in assessing the risk of peri-implant diseases, evaluating patient's therapeutic response, analyzing directionality of the relationship between MetS, its components and biologic implant complications. Few studies have investigated the possible relationship between systemic conditions and peri-implant diseases. The aim of this review is to present, in a systematic manner, current evidence and knowledge regarding possible association between cardiovascular disease and implant biologic complications. Out of the one-hundred-eighty-nine studies screened, just five studies were selected for qualitative analysis: three cohort studies (one prospective and two retrospectives) and two cross-sectional studies. According to their results, there is inconsistent and controversial evidence regarding association of cardiovascular disease and implant biologic complications. Future research should be orientated in conducting longitudinal studies, evaluating patients affected by cardiovascular disease rehabilitated with dental implants

Query-Answer Causality in Databases: Abductive Diagnosis and View-Updates

Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between query causality and consistency-based diagnosis and database repairs (wrt. integrity constrain violations) have been established in the literature. In this work we establish connections between query causality and abductive diagnosis and the view-update problem. The unveiled relationships allow us to obtain new complexity results for query causality -the main focus of our work- and also for the two other areas.Comment: To appear in Proc. UAI Causal Inference Workshop, 2015. One example was fixe

An extended spectrum of logical definitions for diagnostic sytems

The goal of this work is to develop a single uniform theory, which enables us to describe many different diagnostic systems. We will give a general definition of diagnostic systems. Our claim is that a large number of very different diagnostic systems can be described by this definition by choosing the right values for six parameters in this definition. Our work is an extension of the spectrum of logical definitions of Console and Torasso