A framework for managing uncertain inputs: An axiomization of rewarding

The success postulate in belief revision ensures that new evidence (input) is always trusted. However, admitting uncertain input has been questioned by many researchers. Darwiche and Pearl argued that strengths of evidence should be introduced to determine the outcome of belief change, and provided a preliminary definition towards this thought. In this paper, we start with Darwiche and Pearl’s idea aiming to develop a framework that can capture the influence of the strengths of inputs with some rational assumptions. To achieve this, we first define epistemic states to represent beliefs attached with strength, and then present a set of postulates to describe the change process on epistemic states that is determined by the strengths of input and establish representation theorems to characterize these postulates. As a result, we obtain a unique rewarding operator which is proved to be a merging operator that is in line with many other works. We also investigate existing postulates on belief merging and compare them with our postulates. In addition, we show that from an epistemic state, a corresponding ordinal conditional function by Spohn can be derived and the result of combining two epistemic states is thus reduced to the result of combining two corresponding ordinal conditional functions proposed by Laverny and Lang. Furthermore, when reduced to the belief revision situation, we prove that our results induce all the Darwiche and Pearl’s postulates as well as the Recalcitrance postulate and the Independence postulate.

Managing Risk: From Regulation to the Reintegration of Sexual Offenders

In the last number of years the management of the dangerous in the community, particularly sex offenders, has generated enormous concern. This concern has been reflected at a number of different levels - in media and popular responses to the risk posed by released sex offenders in the community and in official discourses where an abundance of legislation and policy reforms have been enacted within a relatively short period of time. This analysis seeks to critically evaluate these developments within the context of contemporary criminal justice policy and practice in relation to the management of sex offenders in the community. The article analyses the contemporary focus on risk management or preventative governance which underpins the current regulatory framework and has been reflected in both the sentencing options and in control in the community initiatives for sex offenders. In this respect, the article highlights the gap between policy and practice in terms of the effective risk management of sex offenders. Given the failure of the traditional justice system with respect to these types of offences, it will be argued that the retributive framework could usefully be supplemented by the theory and practice of reintegrative or restorative community justice, and public education in particular, in order to better manage the risk presented by sex offenders in the community.

Managing Software Requirements Changes Based On Negotiation-Style Revision

For any proposed software project, when the software requirements specification has been established, requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development. Then it is necessary to provide effective and flexible requirements changes management. In this paper, we present an approach to managing requirements changes based on Booth’s negotiation-style framework for belief revision. Informally, we consider the current requirements specification as a belief set about the system-to-be. The request of requirements change is viewed as new information about the same system-to-be. Then the process of executing the requirements change is a process of revising beliefs about the system-to-be. We design a family of belief negotiation models appropriate for different processes of requirements revision, including the setting of the request of requirements change being fully accepted, the setting of the current requirements specification being fully preserved, and that of the current specification and the request of requirements change reaching a compromise. In particular, the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.