Answer Sets and Qualitative Decision Making

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making.     

Open answer set programming for the semantic web

We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guarding knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting extended forest logic programs (EFoLPs) can be reduced to finite answer set programming, for which reasoners are available.We argue that extended forest logic programming is a useful tool for uniformly representing and reasoning with both ontological and rule-based knowledge, as they can capture a large fragment of the OWL DL ontology language equipped with DL-safe rules. Furthermore, EFoLPs enable nonmonotonic reasoning, a desirable feature in locally closed subareas of the Semantic Web.     

Sets and Classes as Many

In this paper the view is developed that classes should not be understood as individuals, but, rather, as classes as many of individuals. To correlate classes with individuals labelling and colabelling functions are introduced and sets identified with a certain subdomain of the classes on which the labelling and colabelling functions are mutually inverse. A minimal axiomatization of the resulting system is formulated and some of its extensions are related to various systems of set theory, including nonwellfounded set theories.     

行为治疗中的质变形式

行为治疗的最终目的,是促使异常行为发生根本性的质变。系统脱敏疗法促成的质变,是缓慢的、渐进的非爆发式的质变;满灌疗法促成的质变,是短暂的、突然的爆发式的质变。     

Logics with the Qualitative Probability Operator

The paper presents several strongly complete axiomatizationsof qualitative probability within the framework of probabilisticlogic. We show that in the proposed semantics qualitative probabilitiesare characterized by probability functions, so they also arecomparative probabilities.     

Fusing Horizons: Exploring Qualitative Research and Psychotherapeutic Applications of Social Constructionism

This article describes how social constructionist theory can be applied to the processes of data collection and analysis in qualitative research. In doing so, we borrow from previous discussions of social constructionism within the psychotherapeutic literature. Social constructionist theory, particularly the idea of a not-knowing stance, addresses the methodological concern of validity. Furthermore, because a not-knowing stance entails a leveling of the hierarchy and minimizing of the power differential between researcher and participant, there is also the potential for turning the research process into an freeing experience for both the researcher and participant.     

Administering Quantitative Instruments With Qualitative Interviews: A Mixed Research Approach

The authors demonstrate how collecting quantitative data via psychometrically sound quantitative instruments during the qualitative interview process enhances interpretations by helping researchers better contextualize qualitative findings, specifically through qualitative dominant crossover mixed analyses. They provide an example of this strategy, whereby a baseline was established using a quantitative scale and normative data to help interpret qualitative interviews, resulting in what they call a mixed methods interview. Philosophical and practical implications are discussed.     

抑郁障碍患者心理治疗感受的质性研究

探索抑郁障碍患者在心理治疗前后及其过程中的内心体验。使用立意取样法选9例抑郁患者,深入访谈法收集资料,Colaizzi法分析资料。结果显示:(1)发病前压力大,对心理治疗基本没概念;(2)心理治疗过程中喜忧掺半:既有正性的感受,又有负性的感受;(3)经济压力大;(4)对医院和学校不满;(5)对疾病有病耻感。因此,社会需要加大心理卫生知识的普及,抑郁障碍患者需要深切的人文关怀,医生应努力为患者减轻病耻感,同时要注意其社会功能的恢复。     

糖皮质激素对骨作用的量变与质变

糖皮质激素是人体内分泌的一类激素,正常人血液中的糖皮质激素应保持在一定的范围内,如果体内糖皮质激素的浓度长期高于此范围就会产生副作用,骨质疏松症就是其中之一。所以在使用糖皮质激素时应保持一定的度,使其变化在量变的范围内,预防糖皮质激素诱导的骨质疏松症的发生。     

Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality

In this paper, we prove that Heyting's arithmetic can be interpreted in an intuitionistic version of Russell's Simple Theory of Types without extensionality.     

A Qualitative Study of the Career Aspirations of Resettled Young Sudanese and Somali Refugees

The study documents and explicates the academic experiences, visions, hopes and desires which shape the vocational aspirations of young Sudanese and a Somali refugee who have resettled in Australia. Semi-structured interviews were conducted to examine the experiences of a sample of 14 young resettled refugees in Brisbane, Australia. Adopting a qualitative methodology, the interviews covered the aspirations of the participants across three time periods: life in the country of origin, transit and resettlement. Participants expressed high ambitions despite their experiences of school disruption pre resettlement and language difficulties post resettlement. The situation in the country of origin emerged as influential upon their aspirations in both pre and resettlement life. English language difficulties emerged as the most common consideration influencing aspirations following resettlement. A number of considerations were found that influenced their vocational aspirations before and after resettlement. Such considerations may enlighten service providers working with resettled young African refugees.     

Problem Definition in Marital and Family Therapy: A Qualitative Study

This paper describes findings from a grounded theory study on the process of constructing problem definitions by marital and family therapists. Coding of the observations and interviews resulted in two meta-problem definition processes. In the first meta-process clinicians kept their definitions internal to themselves during the therapy session. In contrast, the second meta-definition process involved clinicians bringing forth their internal problem definitions and incorporating them into the therapeutic conversation. Implications for existing conceptualizations and marital and family therapy practice and supervision are discussed, as well as suggestions for further consideration.     

Nuance, Complexity, and Context: Qualitative Methods in Genetic Counseling Research

Because of its potential for capturing complexity and process and its focus on communicating the meaning in human action, qualitative research is rapidly gaining acceptance in a wide variety of disciplines. Various qualitative approaches to research support its potential usefulness in genetic counseling research. Formulation of research questions and selection of appropriate qualitative methods are the first step. Interviewing, narrative analysis, focus groups, ethnography/participant observation, and participatory action research are only some of the most popular techniques that may be suitable in various situations. Processes of evaluation, analysis, and even ethical issues often differ somewhat from quantitative research. This article discusses these issues and the potential value of qualitative methods for research related to genetic counseling.     

Encouraging Bystanders to Promote Positive Parenting and Prevent Child Maltreatment in Retail Settings: Results of an Exploratory Qualitative Study

Community-level bystander approaches with media campaigns have successfully reduced sexual violence, but these programs have not been developed for child maltreatment prevention. This study informs the development of such programs in retail settings. Data were collected using focus groups with parents (n = 29) and surveys with child abuse experts (n = 10). Participants were asked how retail environments and employees could support parents during shopping excursions and what employees should do if they witnessed a concerning interaction. Participants highlighted (a) the need for in-depth training of employees to engage with parents and children to promote positive interactions and intervene in concerning situations; (b) the importance of the built environment (i.e., physical design and layout) to reduce stress and establish positive social norms through store-wide messaging; and (c) the role of parents in establishing expectations and actively including children in shopping. Future research should test approaches to training and engaging retail employees as supportive bystanders.     

Propositions, Sets, and Worlds

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy of mathematics during my Resident Research Fellowship in 2005-2006.     

Incongruent Perceptions Among Nurses and Patients: A Qualitative Study of Patient's Dignity in Iran

Dignity is the most fundamental right of every human being, patients in particular. Despite being a fairly disputed concept, dignity is a multidimensional issue, the interpretation of which is affected by a multitude of factors. Semistructured interviews and observation data from 35 patients, their companions, and nurses were performed to highlight their views with regard to patients’ dignity in health care centers. Although findings reveal that nearly all patients felt that their dignity had been violated, there is a considerable difference between participants’ viewpoints of dignity. Interactions among participants can increase their awareness of dignity and may lead to its maintenance.