Weak and strong disjunction in possibilistic ASP

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.

Interpretable and Reconfigurable Clustering of Document Datasets by Deriving Word-based Rules

Clusters of text documents output by clustering algorithms are often hard to interpret. We describe motivating real-world scenarios that necessitate reconfigurability and high interpretability of clusters and outline the problem of generating clusterings with interpretable and reconfigurable cluster models. We develop two clustering algorithms toward the outlined goal of building interpretable and reconfigurable cluster models. They generate clusters with associated rules that are composed of conditions on word occurrences or nonoccurrences. The proposed approaches vary in the complexity of the format of the rules; RGC employs disjunctions and conjunctions in rule generation whereas RGC-D rules are simple disjunctions of conditions signifying presence of various words. In both the cases, each cluster is comprised of precisely the set of documents that satisfy the corresponding rule. Rules of the latter kind are easy to interpret, whereas the former leads to more accurate clustering. We show that our approaches outperform the unsupervised decision tree approach for rule-generating clustering and also an approach we provide for generating interpretable models for general clusterings, both by significant margins. We empirically show that the purity and f-measure losses to achieve interpretability can be as little as 3 and 5%, respectively using the algorithms presented herein.

Free-roaming dogs control activities in one Italian province (2000-2013): Is the implemented approach effective?

In Italy, standards for the management of free-roaming dogs (FRDs) are defined by regional norms, generating a high variability of approaches around the country. Despite efforts carried out by the competent authorities, FRDs are still a reality impacting upon animal health and welfare and public costs. A similar scenario can be found in many other Mediterranean and Balkan counties. Here we present 14 years of data (2000–2013) retrieved from the admission dog registry of a public shelter (PS) responsible for the collection of stray dogs from one Italian province. The aim of this retrospective study was to describe the local FRD population, identifying its source and to evaluate the effectiveness of the actions implemented by the local authorities. In the investigated period, 7,475 dogs were admitted to the PS. Despite the intense sterilisation plan (mean 381.7 sterilisations per year), the overall number of dogs entering PS did not decrease consistently across the years. Results highlighted a lack of responsibility of owners by failing to sterilise and identify their dogs and allowing intact animals to roam free, therefore producing uncontrolled and unwanted litters. The current dog population management strategy, based on both sheltering and capture-neuter-release programmes, is insufficient to tackle the straying phenomenon. Educational and sterilisation programmes should be an integral part of a successfully implemented FRD control plan. Our results provide further insight on free-roaming dog population dynamics and control systems, and may have important implications for many other local contexts across Europe trying to overcome the straying phenomenon.