A Syntax-based approach to measuring the degree of inconsistency for belief bases

Measuring the degree of inconsistency of a belief base is an important issue in many real world applications. It has been increasingly recognized that deriving syntax sensitive inconsistency measures for a belief base from its minimal inconsistent subsets is a natural way forward. Most of the current proposals along this line do not take the impact of the size of each minimal inconsistent subset into account. However, as illustrated by the well-known Lottery Paradox, as the size of a minimal inconsistent subset increases, the degree of its inconsistency decreases. Another lack in current studies in this area is about the role of free formulas of a belief base in measuring the degree of inconsistency. This has not yet been characterized well. Adding free formulas to a belief base can enlarge the set of consistent subsets of that base. However, consistent subsets of a belief base also have an impact on the syntax sensitive normalized measures of the degree of inconsistency, the reason for this is that each consistent subset can be considered as a distinctive plausible perspective reflected by that belief base,whilst eachminimal inconsistent subset projects a distinctive viewof the inconsistency. To address these two issues,we propose a normalized framework formeasuring the degree of inconsistency of a belief base which unifies the impact of both consistent subsets and minimal inconsistent subsets. We also show that this normalized framework satisfies all the properties deemed necessary by common consent to characterize an intuitively satisfactory measure of the degree of inconsistency for belief bases. Finally, we use a simple but explanatory example in equirements engineering to illustrate the application of the normalized framework.

Behavioural, physiological and morphological adaptations of the shanny (Blennius pholis) to the intertidal habitat

Immersed shannies (Blennius pholis) showed peak locomotory activity coincident with daylight high tides. Emersion caused cessation of breathing and bradycardia though Q02 was little affected. Q02 fell, however, when the abdomen was enclosed in an impermeable sheath to block cutaneous respiration. Gulping of air into the extensively vascular oesophagus probably also acts as a means of aerial respiration. Reimmersion of fish caused a transient bradycardia followed by a tachycardia and a fall in Q02 followed subsequently by a rise. The results are discussed in relation to the behavioural, circulatory, respiratory and morphological adaptations of the shanny to the intertidal habitat.

Bereavement: A behavioural process

Sixty-seven widows whose husbands had been killed in the context of sectarian violence in Northern Ireland were assessed in relation to the cause of death, the quality of their marital relationship and the level of worry prior to the loss. Results reported here show that the violent cause of death led to a greater level of long-term psychological distress than other causes of death. Furthermore, widows who reported happiness regarding their marital relationship showed more signs of distress after the loss than those who reported less happiness. Widows who had not worried about their husband showed less signs of psychological distress after the loss than those who had worried. The interpretation of the findings is based on recent thinking in behaviour analysis.

Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort

In this preliminary study, we investigate how inconsistency in a network intrusion detection rule set can be measured. To achieve this, we first examine the structure of these rules which are based on Snort and incorporate regular expression (Regex) pattern matching. We then identify primitive elements in these rules in order to translate the rules into their (equivalent) logical forms and to establish connections between them. Additional rules from background knowledge are also introduced to make the correlations among rules more explicit. We measure the degree of inconsistency in formulae of such a rule set (using the Scoring function, Shapley inconsistency values and Blame measure for prioritized knowledge) and compare the informativeness of these measures. Finally, we propose a new measure of inconsistency for prioritized knowledge which incorporates the normalized number of atoms in a language involved in inconsistency to provide a deeper inspection of inconsistent formulae. We conclude that such measures are useful for the network intrusion domain assuming that introducing expert knowledge for correlation of rules is feasible.

Novel anti-inflammatory compound SEN1176 alleviates behavioural deficits induced following bilateral intrahippocampal injection of aggregated amyloid-beta(1-42).

Behavioral effects of a novel anti-inflammatory SEN1176 were investigated. This pyrrolo[3,2-e][1,2,4]triazolo[1,5-a]pyrimidine suppresses amyloid-ß (Aß)1-42-induced macrophage production of nitric oxide, TNF-a, IL-1ß, and IL-6 in a dose-dependent fashion, an activity profile consistent with SEN1176 being a neuroinflammation inhibitor. Using male Sprague-Dawley rats, SEN1176 was examined relative to detrimental behavioral effects induced following bilateral intrahippocampal (IH) injections of aggregated Aß1-42. The rats were trained to respond under an alternating-lever cyclic-ratio (ALCR) schedule of food reinforcement, enabling measurement of parameters of operant performance that reflect aspects of learning and memory. Under the ALCR schedule, orally administered SEN1176 at 5, 20, or 30 mg/kg was effective in reducing the behavioral deficit caused by bilateral IH aggregated Aß1-42 injections in a dose-related manner over a 90-day treatment period. SEN1176 at 20 and 30 mg/kg significantly reduced lever switching errors and, at doses of 5, 10, and 30 mg/kg, significantly reduced incorrect lever perseverations, indicating a reduction of the behavioral deficit induced as a result of inflammation following IH Aß1-42 injections. When treatment with SEN1176 was instigated 30 days after IH Aß1-42 injections, it resulted in progressive protection, and withdrawal of SEN1176 treatment 60 days after IH Aß1-42 injections revealed partial retention of the protective effect. SEN1176 also significantly reduced numbers of activated astrocytes adjacent to the aggregated Aß1-42 injection sites. These results indicate the potential of SEN1176 for alleviating chronic neuroinflammatory processes related to brain Aß deposition that affect learning and memory in Alzheimer's disease.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

Cognitive-behavioural interventions for children who have been sexually abused

Background: Despite differences in how it is defined, there is a general consensus amongst clinicians and researchers that the sexual abuse of children and adolescents (’child sexual abuse’) is a substantial social problem worldwide. The effects of sexual abuse manifest in a wide range of symptoms, including fear, anxiety, post-traumatic stress disorder and various externalising and internalising behaviour problems, such as inappropriate sexual behaviours. Child sexual abuse is associated with increased risk of psychological problems in adulthood. Cognitive-behavioural approaches are used to help children and their non-offending or ’safe’ parent tomanage the sequelae of childhood sexual abuse. This review updates the first Cochrane review of cognitive-behavioural approaches interventions for children who have been sexually abused, which was first published in 2006.

Objectives: To assess the efficacy of cognitive-behavioural approaches (CBT) in addressing the immediate and longer-term sequelae of sexual abuse on children and young people up to 18 years of age.

Search methods: We searched the Cochrane Central Register of Controlled Trials (CENTRAL) (2011 Issue 4); MEDLINE (1950 to November Week
3 2011); EMBASE (1980 to Week 47 2011); CINAHL (1937 to 2 December 2011); PsycINFO (1887 to November Week 5 2011); LILACS (1982 to 2 December 2011) and OpenGrey, previously OpenSIGLE (1980 to 2 December 2011). For this update we also searched ClinicalTrials.gov and the International Clinical Trials Registry Platform (ICTRP).

Selection criteria: We included randomised or quasi-randomised controlled trials of CBT used with children and adolescents up to age 18 years who had experienced being sexually abused, compared with treatment as usual, with or without placebo control.

Data collection and analysis: At least two review authors independently assessed the eligibility of titles and abstracts identified in the search. Two review authors independently extracted data from included studies and entered these into Review Manager 5 software. We synthesised and presented data in both written and graphical form (forest plots).

Main results: We included 10 trials, involving 847 participants. All studies examined CBT programmes provided to children or children and a nonoffending parent. Control groups included wait list controls (n = 1) or treatment as usual (n = 9). Treatment as usual was, for the most part, supportive, unstructured psychotherapy. Generally the reporting of studies was poor. Only four studies were judged ’low risk of bias’ with regards to sequence generation and only one study was judged ’low risk of bias’ in relation to allocation concealment. All studies were judged ’high risk of bias’ in relation to the blinding of outcome assessors or personnel; most studies did not report on these, or other issues of bias. Most studies reported results for study completers rather than for those recruited.

Depression, post-traumatic stress disorder (PTSD), anxiety and child behaviour problems were the primary outcomes. Data suggest that CBT may have a positive impact on the sequelae of child sexual abuse, but most results were not statistically significant. Strongest evidence for positive effects of CBT appears to be in reducing PTSD and anxiety symptoms, but even in these areas effects tend to be 'moderate’ at best. Meta-analysis of data from five studies suggested an average decrease of 1.9 points on the Child Depression Inventory immediately after intervention (95% confidence interval (CI) decrease of 4.0 to increase of 0.4; I2 = 53%; P value for heterogeneity = 0.08), representing a small to moderate effect size. Data from six studies yielded an average decrease of 0.44 standard deviations on a variety of child post-traumatic stress disorder scales (95% CI 0.16 to 0.73; I2 = 46%; P value for heterogeneity = 0.10). Combined data from five studies yielded an average decrease of 0.23 standard deviations on various child anxiety scales (95% CI 0.3 to 0.4; I2=0%; P value for heterogeneity = 0.84). No study reported adverse effects.

Authors’ conclusions: The conclusions of this updated review remain the same as those when it was first published. The review confirms the potential of CBT to address the adverse consequences of child sexual abuse, but highlights the limitations of the evidence base and the need for more carefully conducted and better reported trials.

Behavioural and cognitive behavioural training interventions for assisting foster carers in the management of difficult behaviour.

Background The provision of training for foster carers is now seen as an important factor contributing to the successful outcome of foster care placements. Since the late 1960s, foster carer training programs have proliferated, and few of the many published and unpublished training curricula have been systematically evaluated. The advent of cognitive-behavioural therapy (CBT) and the research evidence demonstrating its effectiveness as a psychotherapeutic treatment of choice for a range of emotional and behavioural problems, has prompted the development of CBT-based training programmes. CBT approaches to foster care training derive from a ’skill-based’ training format that also seeks to identify and correct problematic thinking patterns that are associated with dysfunctional behaviour by changing and/or challenging maladaptive thoughts and beliefs. Objectives To assess the effectiveness of cognitive-behavioural training interventions in improving a) looked-after children’s behavioural/relationship problems, b) foster carers’ psychological well-being and functioning, c) foster family functioning, d) foster agency outcomes. Search methods We searched databases including: CENTRAL (Cochrane Library Issue 3, 2006), MEDLINE (January 1966 to September 2006), EMBASE (January 1980 to September 2006), CINAHL (January 1982 to September 2006), PsycINFO (January 1872 to September 2006), ASSIA (January 1987 to September 2006), LILACS (up to September 2006), ERIC (January 1965 to September 2006), Sociological Abstracts (January 1963 to September 2006), and the National Research Register 2006 (Issue 3).We contacted experts in the field concerning current research. Selection criteria Random or quasi randomised studies comparing behavioural or cognitive-behavioural-base Data collection and analysis Two authors independently assessed trial quality and extracted data. We contacted study authors for additional information. Main results Six trials involving 463 foster carers were included. Behavioural and cognitive-behavioural training interventions evaluated to date appear to have very little effect on outcomes relating to looked-after children, assessed in relation to psychological functioning, extent of behavioural problems and interpersonal functioning. Results relating to foster carer(s) outcomes also show no evidence of effectiveness in measures of behavioural management skills, attitudes and psychological functioning. Analysis pertaining to fostering agency outcomes did not show any significant results. However, caution is needed in interpreting these findings as their confidence intervals are wide. Authors’ conclusions There is currently little evidence about the efficacy of behavioural or cognitive-behavioural training intervention for foster carers. The need for further research in this area is highlighted.