21 resultados para Logical consequence

em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast


Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is often assumed that membership in a stigmatized group has negative consequences for the self-concept. However, this relationship is neither straightforward nor inevitable, and there is evidence suggesting that negative consequences may not necessarily occur (Psychol. Rev. 96(4) (1989) 608). This paper argues that the relationship has not been sufficiently theorized, and that a more detailed analysis is called for in order to understand the relationship between stigma and the self. The paper presents a critical examination of modified labeling theory (Am. Sociol. Rev. 52 (1987) 96), with examples from a study examining perceptions of stigma and their relationship to self-evaluation in women with chronic mental health problems. Open-ended interviews and qualitative analyses were used in preference to global measures of self-esteem. It was found that although the women were aware of society's unfavorable representations of mental illness, and the effects this had on their lives, they did not accept these representations as valid and therefore rejected them as applicable to the self. The participants did not deny their mental health problems, but their acceptance of labels was critical and pragmatic. Labels were rejected when they were perceived as carrying an unrealistic and negative stereotype, or when the women felt that their symptoms did not fit with the diagnostic criteria. The research illustrates the importance of considering people's subjective understandings of stigmatized conditions and societal reactions in order to understand the relation between stigma and the self. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We investigate the behavior of a two-level atom coupled to a one-dimensional, ultracold Fermi gas. The sudden switching on of the scattering between the two entities leads to the loss of any coherence in the initial state of the impurity and we show that the exact dynamics of this process is strongly influenced by the effect of the orthogonality catastrophe within the gas. We highlight the relationship between the Loschmidt echo and the retarded Green's function-typically used to formulate the dynamical theory of the catastrophe-and demonstrate that the effect is reflected in the impurity dynamics. We show that the expected nonexponential decay of the spectral function can be observed using Ramsey interferometry on the two-level atom and comment on finite temperature effects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper introduces a logical model of inductive generalization, and specifically of the machine learning task of inductive concept learning (ICL). We argue that some inductive processes, like ICL, can be seen as a form of defeasible reasoning. We define a consequence relation characterizing which hypotheses can be induced from given sets of examples, and study its properties, showing they correspond to a rather well-behaved non-monotonic logic. We will also show that with the addition of a preference relation on inductive theories we can characterize the inductive bias of ICL algorithms. The second part of the paper shows how this logical characterization of inductive generalization can be integrated with another form of non-monotonic reasoning (argumentation), to define a model of multiagent ICL. This integration allows two or more agents to learn, in a consistent way, both from induction and from arguments used in the communication between them. We show that the inductive theories achieved by multiagent induction plus argumentation are sound, i.e. they are precisely the same as the inductive theories built by a single agent with all data. © 2012 Elsevier B.V.