Representing Autoepistemic Logic in Modal Logic

The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold.

Representing human expertise by the OWL web ontology language to support knowledge engineering in decision support systems

Clinical decision support systems (CDSSs) often base their knowledge and advice on human expertise. Knowledge representation needs to be in a format that can be easily understood by human users as well as supporting ongoing knowledge engineering, including evolution and consistency of knowledge. This paper reports on the development of an ontology specification for managing knowledge engineering in a CDSS for assessing and managing risks associated with mental-health problems. The Galatean Risk and Safety Tool, GRiST, represents mental-health expertise in the form of a psychological model of classification. The hierarchical structure was directly represented in the machine using an XML document. Functionality of the model and knowledge management were controlled using attributes in the XML nodes, with an accompanying paper manual for specifying how end-user tools should behave when interfacing with the XML. This paper explains the advantages of using the web-ontology language, OWL, as the specification, details some of the issues and problems encountered in translating the psychological model to OWL, and shows how OWL benefits knowledge engineering. The conclusions are that OWL can have an important role in managing complex knowledge domains for systems based on human expertise without impeding the end-users' understanding of the knowledge base. The generic classification model underpinning GRiST makes it applicable to many decision domains and the accompanying OWL specification facilitates its implementation.

The challenges of representing human behaviour in simulation models:some case examples from supply chain, evacuation modelling and rail disruption

As more of the economy moves from traditional manufacturing to the service sector, the nature of work is becoming less tangible and thus, the representation of human behaviour in models is becoming more important. Representing human behaviour and decision making in models is challenging, both in terms of capturing the essence of the processes, and also the way that those behaviours and decisions are or can be represented in the models themselves. In order to advance understanding in this area, a useful first step is to evaluate and start to classify the various types of behaviour and decision making that are required to be modelled. This talk will attempt to set out and provide an initial classification of the different types of behaviour and decision making that a modeller might want to represent in a model. Then, it will be useful to start to assess the main methods of simulation in terms of their capability in representing these various aspects. The three main simulation methods, System Dynamics, Agent Based Modelling and Discrete Event Simulation all achieve this to varying degrees. There is some evidence that all three methods can, within limits, represent the key aspects of the system being modelled. The three simulation approaches are then assessed for their suitability in modelling these various aspects. Illustration of behavioural modelling will be provided from cases in supply chain management, evacuation modelling and rail disruption.

Representing Equivalence Problems for Combinatorial Objects

Methods for representing equivalence problems of various combinatorial objects as graphs or binary matrices are considered. Such representations can be used for isomorphism testing in classification or generation algorithms. Often it is easier to consider a graph or a binary matrix isomorphism problem than to implement heavy algorithms depending especially on particular combinatorial objects. Moreover, there already exist well tested algorithms for the graph isomorphism problem (nauty) and the binary matrix isomorphism problem as well (Q-Extension). ACM Computing Classification System (1998): F.2.1, G.4.

Representing supply chain events on the Web of data

The Electronic Product Code Information Service (EPCIS) is an EPCglobal standard, that aims to bridge the gap between the physical world of RFID1 tagged artifacts, and information systems that enable their tracking and tracing via the Electronic Product Code (EPC). Central to the EPCIS data model are "events" that describe specific occurrences in the supply chain. EPCIS events, recorded and registered against EPC tagged artifacts, encapsulate the "what", "when", "where" and "why" of these artifacts as they flow through the supply chain. In this paper we propose an ontological model for representing EPCIS events on the Web of data. Our model provides a scalable approach for the representation, integration and sharing of EPCIS events as linked data via RESTful interfaces, thereby facilitating interoperability, collaboration and exchange of EPC related data across enterprises on a Web scale.

Who speaks up for Inés Fonseca? Representing violence against vulnerable subjects and the ethics of care in fictional narrative about Alzheimer’s disease:Ahora tocad música de baile (2004) by Andrés Barba

This paper studies the Spanish fictional novel by Andrés Barba, Ahora tocad música de baile (2004), one of the first cultural texts dealing entirely with Alzheimer’s disease (AD) to appear in Spain. It argues that the significance of Barba’s fictional novel rests on two important issues: the ethics of representation of violence against vulnerable subjects and the ethics of care. The paper analyses how these two issues allow Barba to create a story in which the verbal and physical abuse to which the person living with Alzheimer’s disease is subjected places the reader, on the one hand, as voyeur/witness of the abuse; and, on the other, as interpreter, and ultimately judge, of the fine line that separates euthanasia, assisted suicide, and murder. The open ending of the novel defers all ethical and moral judgment to the reader. It examines how the novel offers a monolithic perspective about AD, in which care is presented as a burden. In fact, this study shows that the novel’s multi-layered structure and polyphonic nature places the emphasis on stigmas, stereotypes and negative metaphors around AD, as found in contemporary social discourses.

Representing spray zone with cross flow as a well-mixed compartment in a high shear granulator

The spray zone is an important region to control nucleation of granules in a high shear granulator. In this study, a spray zone with cross flow is quantified as a well-mixed compartment in a high shear granulator. Granulation kinetics is quantitatively derived at both particle-scale and spray zone-scale. Two spatial decay rates, DGSDR (droplet-granule spatial decay rate) ζDG and DPSDR (droplet-primary particle spatial decay rate) ζDP, which are functions of volume fraction and diameter of particulate species within the powder bed, are defined to simplify the deduction. It is concluded that in cross flow, explicit analytical results show that the droplet concentration is subject to exponential decay with depth which produces a numerically infinite depth of spray zone in a real penetration process. In a well-mixed spray zone, the depth of the spray zone is 4/(ζDG + ζDP) and π2/3(ζDG + ζDP) in cuboid and cylinder shape, respectively. The first-order droplet-based collision rates of, nucleation rate B0 and rewetting rate RW0 are uncorrelated with the flow pattern and shape of the spray zone. The second-order droplet-based collision rate, nucleated granule-granule collision rate RGG, is correlated with the mixing pattern. Finally, a real formulation case of a high shear granulation process is used to estimate the size of the spray zone. The results show that the spray zone is a thin layer at the powder bed surface. We present, for the first time, the spray zone as a well-mixed compartment. The granulation kinetics of a well-mixed spray zone could be integrated into a Population Balance Model (PBM), particularly to aid development of a distributed model for product quality prediction.

Una sociedad legalista: Abogados, procuradores de causas y la creación de una cultura legal colonial en Lima y Potosí, 1540–1670

This study deals with the formation, reproduction, and the role in litigation of two branches of the legal profession, lawyers and procurators. They were the experts in charge of civil, criminal, and ecclesiastical litigation during the Old Regime. While the lawyers provided erudite legal advice, procurators oriented and drove the procedure as legal representatives of their clients. The European legal revolutions of the twelfth and thirteenth centuries forged a new legal culture in which the lawsuit was reputed to be the best way to settle disputes. Likewise, that legal culture conferred an important place to specialists as legal facilitators of the contending parties. When Castilians exported their legal system to the New World, they spread a complex and bureaucratic framework, contributing to the reproduction of a class of experts in urban spaces. Lima and Potosi, two urban centers created in the sixteenth century, quickly became significant ‘legal cities’. This dissertation explores how the legal markets of these cities operated, the careers of their specialists, their professional options, social images regarding them, and litigation costs. This study examines the careers of 267 facilitators and demonstrates that they constituted a class of distinctive legal professionals. Legal culture embodies the representation and use of law. The closeness of specialists with litigants, in particular of procurators familiarized the parties with litigation and its complex processes. These specialists forged dominant legal discourses and manipulated juridical order. Litigants were not passive agents of their specialists. Caciques and members of the Hispanicized communities appropriated the law in a visible way as the growing litigiousness illustrates. Colonial law (of a pluralistic basis) was an arena of assertion and discussion of rights by different social actors, encomenderos, leading citizens, widows, native chieftains, artisans, and commoners. This study concludes that this struggle and manipulation served to legitimate the role of those legal experts and gave birth to a complex legalistic society in the Andes under Spanish Habsburg rule.

Navigating health sources on the Internet: A mixed-methods examination of online consumer reviews and expert text on psychotropic drugs

Purpose. The Internet has provided an unprecedented opportunity for psychotropic medication consumers, a traditionally silenced group in clinical trial research, to have voice by contributing to the construction of drug knowledge in an immediate, direct manner. Currently, there are no systematic appraisals of the potential of online consumer drug reviews to contribute to drug knowledge. The purpose of this research was to explore the content of drug information on various websites representing themselves as consumer- and expert-constructed, and as a practical consideration, to examine how each source may help and hinder treatment decision-making.^ Methodology. A mixed-methods research strategy utilizing a grounded theory approach was used to analyze drug information on 5 exemplar websites (3 consumer- and 2 expertconstructed) for 2 popularly prescribed psychotropic drugs (escitalopram and quetiapine). A stratified simple random sample was used to select 1,080 consumer reviews from the websites (N=7,114) through February 2009. Text was coded using QDA Miner 3.2 software by Provalis Research. A combination of frequency tables, descriptive excerpts from text, and chi-square tests for association were used throughout analyses.^ Findings. The most frequently mentioned effects by consumers taking either drug were related to psychological/behavioral symptoms and sleep. Consumers reported many of the same effects as found on expert health sites, but provided more descriptive language and situational examples. Expert labels of less serious on certain effects were not congruent with the sometimes tremendous burden described by consumers. Consumers mentioned more than double the themes mentioned in expert text, and demonstrated a diversity and range of discourses around those themes.^ Conclusions. Drug effects from each source were complete relative to the information provided in the other, but each also offered distinct advantages. Expert health sites provided concise summaries of medications’ effects, while consumer reviews had the added advantage of concrete descriptions and greater context. In short, consumer reviews better prepared potential consumers for what it’s like to take psychotropic drugs. Both sources of information benefit clinicians and consumers in making informed treatment-related decisions. Social work practitioners are encouraged to thoughtfully utilize online consumer drug reviews as a legitimate additional source for assisting clients in learning about treatment options.^

Empowerment through education : enhancing quality of life of clients on anticoagulant therapy

This particular study was a sub-study of an on-going investigation by Porter and Kazcaraba (1994) at the Veterans Administration Medical Center in Miami. While the Porter and Kazcaraba study utilizes multiple measures to determine the impact of nurse patient collaborative care on quality of life of cardiovascular patients receiving anticoagulant therapy, this study sought to find whether health education could empower similar clients to improve their quality of life. A health education program based on Freire's belief that shared collective knowledge empowers individuals to improve their lives and their community and Porter's nurse patient collaborative care model was used. Findings on a sample of thirty-eight subjects revealed strong correlations between self-esteem and life satisfaction as well as a trend towards increased power post-treatment. No group comparisons were made at posttest because the sample size was too small for meaningful statistical analysis.

A postcolonial queer analysis of aboriginal queer clients' experiences of health care services in St. John's, Newfoundland

This thesis examines the gaps between health care services aimed at Aboriginal queer individuals living in St. John’s, Newfoundland and their health care needs. I used a multi-methods research design that includes interviews and demographic surveys, unobtrusive observation and qualitative content analysis. I conducted semi-structured interviews with institutional representatives from selected health related organizations – Eastern Health, Planned Parenthood Newfoundland and Labrador, the AIDS Committee of Newfoundland and Labrador, and St. John’s Native Friendship Center; as well as a transgender activist and three people who identify as Aboriginal and queer. I conducted observational research at two public seminars on Aboriginal people and health. Finally, I carried out qualitative content analysis of organizational reports and webpages of the selected community organizations. Using a postcolonial queer framework that analyzes how Newfoundland and Labrador’s colonial history is reflected in current health care realities I argue that the lack of appropriate services and culturally insensitive delivery of services reproduce the historical marginalization of an already vulnerable group.

Development of an education resource for families and clients navigating through end-of-life care with at-home palliation

Background: Community health nurses (CHNs) play a pivotal role in providing end-of-life care to clients diagnosed with a life-threatening illness. Providing quality end-of-life care is an ethical obligation. Eastern Health’s palliative end-of-life care program (PEOLC) offers nursing care, equipment, services, and support. However, the caregiver’s need for practical information about end-of-life issues is not addressed. Purpose: To develop an educational resource to assist clients and families during end-of-life and to provide a framework for new CHNs in home palliation. Methods: An informal Needs Assessment, a literature review, an environmental scan, and consultations with four CHNs involved with home palliation. Results: An educational resource was developed to address the practical end-of-life issues identified in the literature review and consultations. Conclusion: An improved delivery of care for at-home palliation in the community for clients and families, and a framework for new CHNs.

Representing Enlightenment Space

Preprint

Introspection Planning: Representing Metacognitive Experience

Postprint

Carolyn Reed representing Wages for Housework

General note: Title and date provided by Bettye Lane.