Weak and strong disjunction in possibilistic asp

Abstract. Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

A systematic review of evidence to inform HIV prevention interventions among men who have sex with men in Europe.

An estimated 42% of all newly diagnosed HIV cases in Europe in 2013 were transmitted during sex between men. This review was performed to identify and describe studies evaluating the efficacy and effectiveness of HIV prevention interventions among men who have sex with men (MSM), in relation to implementation data from European settings. A systematic search was performed individually for 24 interventions.Data were extracted from studies including efficacy or implementation data from European settings,appraised for efficacy, implementation and plausibility, and assigned a grade (1-4) according to the Highest Attainable Standard of Evidence (HASTE)framework. Four interventions (condom use, peer outreach,peer-led groups, and using universal coverage of antiretroviral treatment and treatment as prevention)were assigned the highest HASTE grade, 1. Another four interventions were assigned 2a for probable recommendation, including voluntary counseling and testing for HIV, using condom-compatible lubricant,using post-exposure prophylaxis, and individual counselling for MSM living with HIV. In addition, seven interventions were assigned a grade of 2b, for possible recommendation. Encouragingly, 15 interventions were graded to be strongly, probably or possibly recommended.In the relatively resource-rich European setting, there is an opportunity to provide global leadership with regard to the regional scale-up of comprehensive HIV prevention interventions for MSM

Deconstructing Local Adaptation Plans for Action (LAPAs) - Analysis of Nepal and Pakistan LAPA initiatives

This paper analyses the organizational and implementation design strategies of two ongoing Local Adaptation Plan for Action (LAPA) initiatives in Nepal and Pakistan. LAPA is considered an answer for institutionalized local-level adaptation planning that aims to capture local needs and direct resources to where, when and by whom these are most needed. While both Nepal and Pakistan LAPAs have similar objectives of bottom-up planning, the operational and structural designs of the two LAPAs are very distinct, leading to different outcomes. Different internal and external factors such as age and size of LAPA, technology, local institutional arrangements, core process and environment also exert significant structural tensions on the planned organizational design of LAPAs that may inhibit delivery of their objectives

Modeling Stable Matching Problems with Answer Set Programming

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley (1962). Several variants and extensions to this problem have since been investigated to cover a wider set of applications. Each time a new variant is considered, however, a new algorithm needs to be developed and implemented. As an alternative, in this paper we propose an encoding of the SMP using Answer Set Programming (ASP). Our encoding can easily be extended and adapted to the needs of specific applications. As an illustration we show how stable matchings can be found when individuals may designate unacceptable partners and ties between preferences are allowed. Subsequently, we show how our ASP based encoding naturally allows us to select specific stable matchings which are optimal according to a given criterion. Each time, we can rely on generic and efficient off-the-shelf answer set solvers to find (optimal) stable matchings.Comment: 26 page

Implementation of and Early Outcomes From Anal Cancer Screening at a Community-Engaged Health Care Facility Providing Care to Nigerian Men Who Have Sex With Men.

PurposeAnal cancer risk is substantially higher among HIV-infected men who have sex with men (MSM) as compared with other reproductive-age adults, but screening is rare across sub-Saharan Africa. We report the use of high-resolution anoscopy (HRA) as a first-line screening tool and the resulting early outcomes among MSM in Abuja, Nigeria.MethodsFrom August 2016 to August 2017, 424 MSM enrolled in an anal cancer screening substudy of TRUST/RV368, a combined HIV prevention and treatment cohort. HRA-directed biopsies were diagnosed by histology, and ablative treatment was offered for high-grade squamous intraepithelial lesions (HSIL). HRA proficiency was assessed by evaluating the detection of squamous intraepithelial lesions (SIL) over time and the proportion biopsied. Prevalence estimates of low-grade squamous intraepithelial lesions and HSIL with 95% CIs were calculated. Multinomial logistic regression was used to identify those at the highest risk of SIL.ResultsMedian age was 25 years (interquartile range [IQR], 22-29), median time since sexual debut was 8 years (IQR, 4-12), and 59% (95% CI, 54.2% to 63.6%) were HIV infected. Rate of detection of any SIL stabilized after 200 screenings, and less than 20% had two or more biopsies. Preliminary prevalence estimates of low-grade squamous intraepithelial lesions and HSIL were 50.0% (95% CI, 44.7% to 55.3%) and 6.3% (95% CI, 4.0% to 9.3%). HIV infection, at least 8 years since anal coital debut, concurrency, and external warts were independently statistically associated with SIL.ConclusionProficiency with HRA increased with experience over time. However, HSIL detection rates were low, potentially affected by obstructed views from internal warts and low biopsy rates, highlighting the need for ongoing evaluation and mentoring to validate this finding. HRA is a feasible first-line screening tool at an MSM-friendly health care facility. Years since anal coital debut and external warts could prioritize screening

Answer Set Programming for Non-Stationary Markov Decision Processes

Non-stationary domains, where unforeseen changes happen, present a challenge for agents to find an optimal policy for a sequential decision making problem. This work investigates a solution to this problem that combines Markov Decision Processes (MDP) and Reinforcement Learning (RL) with Answer Set Programming (ASP) in a method we call ASP(RL). In this method, Answer Set Programming is used to find the possible trajectories of an MDP, from where Reinforcement Learning is applied to learn the optimal policy of the problem. Results show that ASP(RL) is capable of efficiently finding the optimal solution of an MDP representing non-stationary domains

A Taxonomy of Causality-Based Biological Properties

We formally characterize a set of causality-based properties of metabolic networks. This set of properties aims at making precise several notions on the production of metabolites, which are familiar in the biologists' terminology. From a theoretical point of view, biochemical reactions are abstractly represented as causal implications and the produced metabolites as causal consequences of the implication representing the corresponding reaction. The fact that a reactant is produced is represented by means of the chain of reactions that have made it exist. Such representation abstracts away from quantities, stoichiometric and thermodynamic parameters and constitutes the basis for the characterization of our properties. Moreover, we propose an effective method for verifying our properties based on an abstract model of system dynamics. This consists of a new abstract semantics for the system seen as a concurrent network and expressed using the Chemical Ground Form calculus. We illustrate an application of this framework to a portion of a real metabolic pathway