Justified Belief Change

Justification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy--Groeneveld-style public announcements.

Randomized controlled trial of an intervention to change cardiac misconceptions in myocardial infarction patients

There is converging evidence that changing beliefs about an illness leads to positive recovery outcomes. However, cardiac misconceptions interventions have been investigated mainly in Angina or Coronary Heart Disease patients, and less in patients following Myocardial Infarction (MI). In these patients, cardiac misconceptions may play a role in the adjustment or lifestyle changes. This article reports a randomized controlled trial of an intervention designed to reduce the strength of misconceptions in patients after a first MI. The primary outcome was the degree of change in misconceptions and the secondary outcomes were: exercise, smoking status, return to work and mood (anxiety and depression). Patients in the intervention condition (n = 60) were compared with a control group (n = 67) receiving usual care. Both groups were evaluated at baseline and 4, 8 and 12 months after hospital discharge. There was a significant time-by-group interaction for the total score of cardiac misconceptions. Patients in the intervention group significantly decreased their total score of cardiac misconceptions at 4 months compared with the control group and this difference was sustained over time. Patients in the intervention group were also more likely to exercise at the follow-up period after MI than the control group. This intervention was effective in reducing the strength of cardiac misconceptions in MI patients and had a positive impact on health behaviour outcomes. These results support the importance of misconceptions in health behaviours and the utility of belief change interventions in promoting health in patients with Myocardial Infarction.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

On AGM for Non-Classical Logics

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what is still missing for each approach.

On theory multiple contraction

The one which is considered the standard model of theory change was presented in [AGM85] and is known as the AGM model. In particular, that paper introduced the class of partial meet contractions. In subsequent works several alternative constructive models for that same class of functions were presented, e.g.: safe/kernel contractions ([AM85, Han94]), system of spheres-based contractions ([Gro88]) and epistemic entrenchment-based contractions ([G ar88, GM88]). Besides, several generalizations of such model were investigated. In that regard we emphasise the presentation of models which accounted for contractions by sets of sentences rather than only by a single sentence, i.e. multiple contractions. However, until now, only two of the above mentioned models have been generalized in the sense of addressing the case of contractions by sets of sentences: The partial meet multiple contractions were presented in [Han89, FH94], while the kernel multiple contractions were introduced in [FSS03]. In this thesis we propose two new constructive models of multiple contraction functions, namely the system of spheres-based and the epistemic entrenchment-based multiple contractions which generalize the models of system of spheres-based and of epistemic entrenchment-based contractions, respectively, to the case of contractions (of theories) by sets of sentences. Furthermore, analogously to what is the case in what concerns the corresponding classes of contraction functions by one single sentence, those two classes are identical and constitute a subclass of the class of partial meet multiple contractions. Additionally, and as the rst step of the procedure that is here followed to obtain an adequate de nition for the system of spheres-based multiple contractions, we present a possible worlds semantics for the partial meet multiple contractions analogous to the one proposed in [Gro88] for the partial meet contractions (by one single sentence). Finally, we present yet an axiomatic characterization for the new class(es) of multiple contraction functions that are here introduced.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Policy-Oriented Learning Among National Forest Stakeholders in the Pacific Northwest: Changes in Policy Beliefs Since Adoption of the Northwest Forest Plan

Thesis (Master's)--University of Washington, 2016-06

Luonnonhaltijat ‒ haltijoita luonnonympäristössä? : Nature spirits : continuity and change : Conference of Belief Narrative Network of ISFNR, Zugdidi, Georgia 1.‒4.10.2014

Konferenssiraportti

Cues to action : do they result in belief and behavioural change in women?

With incidence rates of osteoporosis increasing (Osteoporosis Canada, 2007), preventative efforts to minimize costs associated with condition diagnosis are a public health priority. Cues to action are specific internal (e.g., physical symptoms, family member with a condition) or external stimuli (e.g., public service announcements, health education campaigns) that are necessary to trigger appropriate health behaviours and serve to create an awareness of the health threat (Mattson, 1999). To date, limited understanding of the scope of influence cues to action have on health beliefs and behaviour associated with osteoporosis is known. The present investigation was designed to address this gap in the literature. More specifically, the influence of cues to action, a public service announcement (PSA) developed by Osteoporosis Canada and a bone screening by way of Quantitative Ultrasound, on health beliefs and health-enhancing physical activity (HEPA) across a four week period was investigated. Peri-and postmenopausal women (N= 174) were randomly assigned to one of three conditions 1) an osteoporosis public service announcement (PSA) condition; 2) a bone screening condition via quantitative ultrasound techniques, and 3) a PSA attention control condition. Health beliefs associated with osteoporosis were taken at three time points: prior to the cue to action intervention, immediately following the intervention, and four weeks post intervention. Knowledge of osteorporosis risk factors and HEP A were assessed pre and post-intervention only. Results of a regression analysis suggested that baseline health beliefs predicted baseline HEPA (R2 adj = .24; F (9, 161) = 6.49,p = .000; 95% CI = .12 - .35) with exercise barriers (p = -.33) being a negative predictor and health motivation (p = .21) being a positive predictor of HEP A. Baseline health beliefs predicted With incidence rates of osteoporosis increasing (Osteoporosis Canada, 2007), preventative efforts to minimize costs associated with condition diagnosis are a public health priority. Cues to action are specific internal (e.g., physical symptoms, family member with a condition) or external stimuli (e.g., public service announcements, health education campaigns) that are necessary to trigger appropriate health behaviours and serve to create an awareness of the health threat (Mattson, 1999). To date, limited understanding of the scope of influence cues to action have on health beliefs and behaviour associated with osteoporosis is known. The present investigation was designed to address this gap in the literature. More specifically, the influence of cues to action, a public service announcement (PSA) developed by Osteoporosis Canada and a bone screening by way of Quantitative Ultrasound, on health beliefs and health-enhancing physical activity (HEPA) across a four week period was investigated. Peri-and postmenopausal women (N= 174) were randomly assigned to one of three conditions 1) an osteoporosis public service announcement (PSA) condition; 2) a bone screening condition via quantitative ultrasound techniques, and 3) a PSA attention control condition. Health beliefs associated with osteoporosis were taken at three time points: prior to the cue to action intervention, immediately following the intervention, and four weeks post intervention. Knowledge of osteorporosis risk factors and HEP A were assessed pre and post-intervention only. Results of a regression analysis suggested that baseline health beliefs predicted baseline HEPA (R2 adj = .24; F (9, 161) = 6.49,p = .000; 95% CI = .12 - .35) with exercise barriers (p = -.33) being a negative predictor and health motivation (p = .21) being a positive predictor of HEP A. Baseline health beliefs predicted

Transformations of taste: Americanisation, generational change and Australian cultural consumption

Researchers within the field of cultural imperialism as well as the more recently developed globalisation paradigm have tended to dwell upon the economic or corporate dimensions of global cultural flows and have been largely indifferent to the domain of the everyday cultural tastes and forms of cultural consumption that exist in particular national contexts. This article seeks to redress this focus through an examination of one particular instance of cultural imperialism, the widely held belief in ?he Americanisation of Australian society. Using data from a major research project inquiring into Australian everyday culture the article focuses on the changes in cultural tastes and preferences that are evident in three generational cohorts: contemporary young adults, a segment of the 'baby-boom' generation now in middle age, and a group of older Australians born in the years following World War I and the 1920s. The article documents a trend in which overseas influences, particularly those originating from America, appear to be increasingly shaping Australians' tastes in a wide range of cultural domains. Nevertheless, despite these changes in cultural taste Australians of ail ages retain a strong sense of a distinctive national identity. Such findings have implications for an understanding of cultural globalisation as a process of hybridisation and intermixing.

Tracks of Change - the changing value commitments of non-profit organisations

If nonprofit organisations are moving towards more market oriented ways of operating, is this changing the traditional meanings and value of commitments associated with their activities? This article discusses the findings of a research project conducted by the University of Queensland into the impact that changes in government policies are having on the community services sector, in particular disability services. The values and belief systems traditionally associated with the sector were found to be fundamentally unaltered.

Drawing insight from pictures: The development of concepts of false drawing and false belief in children with deafness, normal hearing, and autism

Theory-of-mind concepts in children with deafness, autism, and normal development (N = 154) were examined in three experiments using a set of standard inferential false-belief tasks and matched sets of tasks involving false drawings. Results of all three experiments replicated previously published findings by showing that primary school children with deafness or autism, aged 6 to 13 years, scored significantly lower than normal-developing 4-year-old preschoolers on standard misleading-container and unseen-change tests of false-belief understanding. Furthermore, deaf and autistic children generally scored higher on drawing-based tests than on corresponding standard tests and, on the most challenging of the false-drawing tests in Experiment 2, they significantly outperformed the normal-developing preschoolers by clearly understanding their own false intentions and another person's false beliefs about an actively misleading drawing. In Experiment 3, preschoolers; outperformed older deaf and autistic children on standard tasks, but did less well on a task that required the drawing of a false belief. Methodological factors could not fully explain the findings, but early social and conversational experiences in the family were deemed likely contributors.

Improving Assumption based Distributed Belief Revision

Belief revision is a critical issue in real world DAI applications. A Multi-Agent System not only has to cope with the intrinsic incompleteness and the constant change of the available knowledge (as in the case of its stand alone counterparts), but also has to deal with possible conflicts between the agents’ perspectives. Each semi-autonomous agent, designed as a combination of a problem solver – assumption based truth maintenance system (ATMS), was enriched with improved capabilities: a distributed context management facility allowing the user to dynamically focus on the more pertinent contexts, and a distributed belief revision algorithm with two levels of consistency. This work contributions include: (i) a concise representation of the shared external facts; (ii) a simple and innovative methodology to achieve distributed context management; and (iii) a reduced inter-agent data exchange format. The different levels of consistency adopted were based on the relevance of the data under consideration: higher relevance data (detected inconsistencies) was granted global consistency while less relevant data (system facts) was assigned local consistency. These abilities are fully supported by the ATMS standard functionalities.