Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Although Answer Set Programming (ASP) is a powerful framework for declarative problem solving, it cannot in an intuitive way handle situations in which some rules are uncertain, or in which it is more important to satisfy some constraints than others. Possibilistic ASP (PASP) is a natural extension of ASP in which certainty weights are associated with each rule. In this paper we contrast two different views on interpreting the weights attached to rules. Under the first view, weights reflect the certainty with which we can conclude the head of a rule when its body is satisfied. Under the second view, weights reflect the certainty that a given rule restricts the considered epistemic states of an agent in a valid way, i.e. it is the certainty that the rule itself is correct. The first view gives rise to a set of weighted answer sets, whereas the second view gives rise to a weighted set of classical answer sets.

Temperament test for re-homed dogs validated through direct behavioral observation in shelter and home environment

This study was the first attempt to carry out a validation of a temperament test (TT) for shelter dogs that addressed the topics of inter- and intra-raters agreements, test-retest reliability, and validity. The TT consisted of 22 subtests. Each dog was approached and handled by an unfamiliar person and made to interact with a same- and an opposite-gender conspecific. Dogs were tested twice in the shelter and once in their new homes 4 months after adoption to evaluate consistency in behavioral assessment. Playfulness, trainability, problem solving abilities, food possessiveness, and reactivity to sudden stimuli were also evaluated. Testers scored dogs' responses in terms of confidence, fearfulness, and aggressiveness. Results highlighted strengths and limits of this TT that was devised to help shelter staff in matching dogs' personality and owners' expectations. Methodological constraints when working with sheltered dogs are unavoidable; however, the test proved to be overall feasible, reliable, and valid although further studies are needed to address the critical issues that emerged. © 2011 Elsevier Inc.