Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

The biology and ecology of the ocean sunfish Mola mola: a review of current knowledge and future research perspectives

Relatively little is known about the biology and ecology of the world's largest (heaviest) bony fish, the ocean sunfish Mola mola, despite its worldwide occurrence in temperate and tropical seas. Studies are now emerging that require many common perceptions about sunfish behaviour and ecology to be re-examined. Indeed, the long-held view that ocean sunfish are an inactive, passively drifting species seems to be entirely misplaced. Technological advances in marine telemetry are revealing distinct behavioural patterns and protracted seasonal movements. Extensive forays by ocean sunfish into the deep ocean have been documented and broad-scale surveys, together with molecular and laboratory based techniques, are addressing the connectivity and trophic role of these animals. These emerging molecular and movement studies suggest that local distinct populations may be prone to depletion through bycatch in commercial fisheries. Rising interest in ocean sunfish, highlighted by the increase in recent publications, warrants a thorough review of the biology and ecology of this species. Here we review the taxonomy, morphology, geography, diet, locomotion, vision, movements, foraging ecology, reproduction and species interactions of M. mola. We present a summary of current conservation issues and suggest methods for addressing fundamental gaps in our knowledge.

Drivers of sales performance: a contemporary meta-analysis. Have salespeople become knowledge brokers?

It has been 25 years since the publication of a comprehensive review of the full spectrum of salesperformance drivers. This study takes stock of the contemporary field and synthesizes empirical evidence from the period 1982–2008. The authors revise the classification scheme for sales performance determinants devised by Walker et al. (1977) and estimate both the predictive validity of its sub-categories and the impact of a range of moderators on determinant-sales performance relationships. Based on multivariate causal model analysis, the results make two major observations: (1) Five sub-categories demonstrate significant relationships with sales performance: selling-related knowledge (ß=.28), degree of adaptiveness (ß=.27), role ambiguity (ß=-.25), cognitive aptitude (ß=.23) and work engagement (ß=.23). (2) These sub-categories are moderated by measurement method, research context, and salestype variables. The authors identify managerial implications of the results and offer suggestions for further research, including the conjecture that as the world is moving toward a knowledge-intensive economy, salespeople could be functioning as knowledge-brokers. The results seem to back this supposition and indicate how it might inspire future research in the field of personal selling.

The Politics of Actually Existing Unsustainability:Human Flourishing in a Climate-Changed, Carbon-Constrained World

Going against both the naive techno-optimist of ‘greening business as usual’ and a resurgent ‘catastrophism’ within green thinking and politics, The Politics of Actually Existing Unsustainability offers an analysis of the causes of unsustainability and diminished human flourishing. The books locates the causes of unsustainability in dominant capitalist modes of production, debt-based consumer culture, the imperative for orthodox economic growth and the dominant ideology of neoclassical economics. It suggests that valuable insights into the causes of and alternatives to unsustainability can be found in a critical embracing of human vulnerability and dependency as both constitutive and ineliminable aspects of what it means to be human. The book defends resilience, the ability to ‘cope with’ rather than somehow ‘solve’ vulnerability. The book offers a trenchant critique of the dominant neoclassical economic ‘groupthink’, viewing it not as some value-neutral form of ‘expert knowledge’, but as a thoroughly ideological ‘common sense’. Outlining a green political economic alternative replacing economic growth with economic security, it argues economic growth has done its work in the minority, affluent world, which should now focus on improving human flourishing, lowering socio-economic equality and fostering solidarity as part of a new re-orientation of public policy. Complementing this, a, ‘green republicanism’ is developed as an innovative and original contribution to contemporary debates on a ‘post-growth’ economy and society. The Politics of Actually Existing Unsustainability draws widely from a range of disciplines and thinkers, from cultural critic Susan Sontag to the critical theory of the Frankfurt School, contemporary debates in green political thinking, and the latest thinking in heterodox and green economics, to produce a highly relevant, timely, and provocatively original statement on the human predicament in the twenty-first century.

The Role of Subjectivity and Knowledge Power Struggles in the Formation of Public Policy

There is a growing incentive for sociologists to demonstrate the use value of their research. Research ‘impact’ is a driver of research funding and a measure of academic standing. Academic debate on this issue has intensified since Burawoy’s (2004) call for a ‘public’ sociology. However the academy is no longer the sole or primary producer of knowledge and empirical sociologists need to contend with the ‘huge swathes’ of social data that now exist (Savage and Burrows, 2007). This article furthers these debates by considering power struggles between competing forms of knowledge. Using a case study, it specifically considers the power struggle between normative and empirical knowledge, and how providers of knowledge assert legitimacy for their truth claims. The article concludes that the idea of ‘impact’ and ‘use-value’ are extremely complex and depends in the policy context on knowledge power struggles, and on how policy makers want to view the world. © The Author(s) 2012

Knowledge Formation and the Great Divergence between China and Europe: Manuscripts and Printed Books, ca. 581–1840

Literature dealing with the history of Chinese printed books and printing is voluminous. Yet studies of how knowledge in general and utilitarian forms of knowledge in particular were generated, accumulated and circulated by printed books and their relationship with the long-term socio-economic transformation of China are rare. This paper aims to open up the subject by examining the long-term trends in the production of manuscripts and books and focusing on the connections between the generation and dissemination of useful knowledge in China and the production and circulation of printed books over the centuries and dynasties from circa 581 to 1840 compared to Europe. It connects trends in this indicator for knowledge formation and diffusion to economic growth, urbanization, changes in higher forms of education, the rise of literacy, the development of printing technologies, and changes in perceptions of the natural world. It concludes that human capital formation in China probably proceeded at a slower rate,which is relevant for narratives of the “divergence” between China and Europe.

A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases.

Knowledge is an important component in many intelligent systems.
Since items of knowledge in a knowledge base can be conflicting, especially if
there are multiple sources contributing to the knowledge in this base, significant
research efforts have been made on developing inconsistency measures for
knowledge bases and on developing merging approaches. Most of these efforts
start with flat knowledge bases. However, in many real-world applications, items
of knowledge are not perceived with equal importance, rather, weights (which
can be used to indicate the importance or priority) are associated with items of
knowledge. Therefore, measuring the inconsistency of a knowledge base with
weighted formulae as well as their merging is an important but difficult task. In
this paper, we derive a numerical characteristic function from each knowledge
base with weighted formulae, based on the Dempster-Shafer theory of evidence.
Using these functions, we are able to measure the inconsistency of the knowledge
base in a convenient and rational way, and are able to merge multiple knowledge
bases with weighted formulae, even if knowledge in these bases may be
inconsistent. Furthermore, by examining whether multiple knowledge bases are
dependent or independent, they can be combined in different ways using their
characteristic functions, which cannot be handled (or at least have never been
considered) in classic knowledge based merging approaches in the literature.

Shakespeare and World Cinema

Review of the field

What counts and what is being counted – The social organization of knowledge on the front lines of emergency medical services.

Paramedics are trained to use specialized medical knowledge and a variety of medical procedures and pharmaceutical interventions to “save patients and prevent further damage” in emergency situations, both as members of “health-care teams” in hospital emergency departments (Swanson, 2005: 96) and on the streets – unstandardized contexts “rife with chaotic, dangerous, and often uncontrollable elements” (Campeau, 2008: 3). The paramedic’s unique skill-set and ability to function in diverse situations have resulted in the occupation becoming ever more important to health care systems (Alberta Health and Wellness, 2008: 12).
Today, prehospital emergency services, while varying, exist in every major city and many rural areas throughout North America (Paramedics Association of Canada, 2008) and other countries around the world (Roudsari et al., 2007). Services in North America, for instance, treat and/or transport 2 million Canadians (over 250,000 in Alberta alone ) and between 25 and 30 million Americans annually (Emergency Medical Services Chiefs of Canada, 2006; National EMS Research Agenda, 2001). In Canada, paramedics make up one of the largest groups of health care professionals, with numbers exceeding 20,000 (Pike and Gibbons, 2008; Paramedics Association of Canada, 2008). However, there is little known about the work practices of paramedics, especially in light of recent changes to how their work is organized, making the profession “rich with unexplored opportunities for research on the full range of paramedic work” (Campeau, 2008: 2).

This presentation reports on findings from an institutional ethnography that explored the work of paramedics and different technologies of knowledge and governance that intersect with and organize their work practices. More specifically, my tentative focus of this presentation is on discussing some of the ruling discourses central to many of the technologies used on the front lines of EMS in Alberta and the consequences of such governance practices for both the front line workers and their patients. In doing so, I will demonstrate how IE can be used to answer Rankin and Campbell’s (2006) call for additional research into “the social organization of information in health care and attention to the (often unintended) ways ‘such textual products may accomplish…ruling purposes but otherwise fail people and, moreover, obscure that failure’ (p. 182)” (cited in McCoy, 2008: 709).