An extended framework for evidential reasoning systems.

Use of the Dempster-Shafer (D-S) theory of evidence to deal with uncertainty in knowledge-based systems has been widely addressed. Several AI implementations have been undertaken based on the D-S theory of evidence or the extended theory. But the representation of uncertain relationships between evidence and hypothesis groups (heuristic knowledge) is still a major problem. This paper presents an approach to representing such knowledge, in which Yen’s probabilistic multi-set mappings have been extended to evidential mappings, and Shafer’s partition technique is used to get the mass function in a complex evidence space. Then, a new graphic method for describing the knowledge is introduced which is an extension of the graphic model by Lowrance et al. Finally, an extended framework for evidential reasoning systems is specified.

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.

Integrating textual analysis and evidential reasoning for decision making in Engineering design

Decision making is an important element throughout the life-cycle of large-scale projects. Decisions are critical as they have a direct impact upon the success/outcome of a project and are affected by many factors including the certainty and precision of information. In this paper we present an evidential reasoning framework which applies Dempster-Shafer Theory and its variant Dezert-Smarandache Theory to aid decision makers in making decisions where the knowledge available may be imprecise, conflicting and uncertain. This conceptual framework is novel as natural language based information extraction techniques are utilized in the extraction and estimation of beliefs from diverse textual information sources, rather than assuming these estimations as already given. Furthermore we describe an algorithm to define a set of maximal consistent subsets before fusion occurs in the reasoning framework. This is important as inconsistencies between subsets may produce results which are incorrect/adverse in the decision making process. The proposed framework can be applied to problems involving material selection and a Use Case based in the Engineering domain is presented to illustrate the approach. © 2013 Elsevier B.V. All rights reserved.

An Extended Event Reasoning Framework for Decision Support under Uncertainty

To provide in-time reactions to a large volume of surveil- lance data, uncertainty-enabled event reasoning frameworks for CCTV and sensor based intelligent surveillance system have been integrated to model and infer events of interest. However, most of the existing works do not consider decision making under uncertainty which is important for surveillance operators. In this paper, we extend an event reasoning framework for decision support, which enables our framework to predict, rank and alarm threats from multiple heterogeneous sources.

Decision Making by Credal Nets

Credal nets are probabilistic graphical models which extend Bayesian nets to cope with sets of distributions. This feature makes the model particularly suited for the implementation of classifiers and knowledge-based systems. When working with sets of (instead of single) probability distributions, the identification of the optimal option can be based on different criteria, some of them eventually leading to multiple choices. Yet, most of the inference algorithms for credal nets are designed to compute only the bounds of the posterior probabilities. This prevents some of the existing criteria from being used. To overcome this limitation, we present two simple transformations for credal nets which make it possible to compute decisions based on the maximality and E-admissibility criteria without any modification in the inference algorithms. We also prove that these decision problems have the same complexity of standard inference, being NP^PP-hard for general credal nets and NP-hard for polytrees.

Application of Evidence Theory and Discounting Techniques to Aerospace Design

Critical decisions are made by decision-makers throughout
the life-cycle of large-scale projects. These decisions are crucial as they
have a direct impact upon the outcome and the success of projects. To aid
decision-makers in the decision making process we present an evidential
reasoning framework. This approach utilizes the Dezert-Smarandache
theory to fuse heterogeneous evidence sources that suffer from levels
of uncertainty, imprecision and conflicts to provide beliefs for decision
options. To analyze the impact of source reliability and priority upon
the decision making process, a reliability discounting technique and a
priority discounting technique, are applied. A maximal consistent subset
is constructed to aid in dening where discounting should be applied.
Application of the evidential reasoning framework is illustrated using a
case study based in the Aerospace domain.

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).

Learning and organization in the knowledge-based information economy: Initial findings from a participatory action research case study

This paper reports on an ongoing, multiphase, project-based action learning and research project. In particular, it summarizes some aspects of the learning climate and outcomes for a case study company In the software industry, Using a participatory action research approach, the learning company framework developed by Pedler et al, (1997) is used to initiate critical reflection in the company at three levels: managing director, senior management team and technical and professional staff. As such, this is one of the first systematic attempts to apply this framework to the entire organization and to a company in the knowledge-based learning economy. Two sets of issues are of general concern to the company: internal issues surrounding the company's reward and recognition policies and practices and the provision of accounting and control information in a business relevant way to all levels of staff; and external issues concerning the extent to which the company and its members actively learn from other companies and effectively capture, disseminate and use information accessed by staff in boundary-spanning roles. The paper concludes with some illustrations of changes being introduced by the company as a result of the feedback on and discussion of these issues.