CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

Working Notes from the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning

The symposium presented issues involved in the development of scheduling systems that can deal with resource and time limitations. To qualify, a system must be implemented and tested to some degree on non-trivial problems (ideally, on real-world problems). However, a system need not be fully deployed to qualify. Systems that schedule actions in terms of metric time constraints typically represent and reason about an external numeric clock or calendar and can be contrasted with those systems that represent time purely symbolically. The following topics are discussed: integrating planning and scheduling; integrating symbolic goals and numerical utilities; managing uncertainty; incremental rescheduling; managing limited computation time; anytime scheduling and planning algorithms, systems; dependency analysis and schedule reuse; management of schedule and plan execution; and incorporation of discrete event techniques

Graph-based reasoning in collaborative knowledge management for industrial maintenance

Capitalization and sharing of lessons learned play an essential role in managing the activities of industrial systems. This is particularly the case for the maintenance management, especially for distributed systems often associated with collaborative decision-making systems. Our contribution focuses on the formalization of the expert knowledge required for maintenance actors that will easily engage support tools to accomplish their missions in collaborative frameworks. To do this, we use the conceptual graphs formalism with their reasoning operations for the comparison and integration of several conceptual graph rules corresponding to different viewpoint of experts. The proposed approach is applied to a case study focusing on the maintenance management of a rotary machinery system

Semantic correlation of behavior for the interoperability of heterogeneous simulations

A desirable goal of military simulation training is to provide large scale or joint exercises to train personnel at higher echelons. To help meet this goal, many of the lower echelon combatants must consist of computer generated forces with some of these echelons composed of units from different simulations. The object of the research described is to correlate the behaviors of entities in different simulations so that they can interoperate with one another to support simulation training. Specific source behaviors can be translated to a form in terms of general behaviors which can then be correlated to any desired specific destination simulation behavior without prior knowledge of the pairing. The correlation, however, does not result in 100% effectiveness because most simulations have different semantics and were designed for different training needs. An ontology of general behaviors and behavior parameters, a database of source behaviors written in terms of these general behaviors with a database of destination behaviors. This comparison is based upon the similarity of sub-behaviors and the behavior parameters. Source behaviors/parameters may be deemed similar based upon their sub-behaviors or sub-parameters and their relationship (more specific or more general) to destination behaviors/parameters. As an additional constraint for correlation, a conversion path from all required destination parameters to a source parameter must be found in order for the behavior to be correlated and thus executed. The length of this conversion path often determines the similarity for behavior parameters, both source and destination. This research has shown, through a set of experiments, that heuristic metrics, in conjunction with a corresponding behavior and parameter ontology, are sufficient for the correlation of heterogeneous simulation behavior. These metrics successfully correlated known pairings provided by experts and provided reasonable correlations for behaviors that have no corresponding destination behavior. For different simulations, these metrics serve as a foundation for more complex methods of behavior correlation

Intelligent decision support systems for collaboration in industrial plants

Dissertação apresentada para obtenção do Grau de Doutor em Sistemas de Informação Industriais, Engenharia Electrotécnica, pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaThe objective of this thesis is to contribute for a structured and systematic decision-making process for industrial companies, particularly involving several actors, helping them make the best use of their resources. The paradigms of how industrial companies operate have been progressively changing over the last two decades. The flexible and dynamic flow of information and persons over companies has created new challenges and opportunities for industry. It is not possible to dissociate an enterprise from its human resources and the knowledge they create and use. Companies face decisions constantly, involving several actors and situations. With the market pressure and rapid changing environments, decisions are becoming more complex, and involving more people with complementary expertise. The knowledge processes are only efficient if the actors can anchor and relate the information handled to the extended enterprise. Therefore, an enterprise model is a fundamental aspect to support decision-making in industry. This work includes an overview of existing modelling methodologies and standards. Afterwards, it proposes an enterprise model to represent an extended or virtual enterprise, suitable not only for decision-making applications but also for others. This thesis considers methods and systems to support decision and analyses decision types and processes. Afterwards, the thesis presents some considerations on decision-making in industry and a generic decision-making process, including, a review of decision criteria commonly used in industry. Two of the methods widely used in some of the mentioned areas, case-based reasoning and the analytic hierarchy process, have been used in the scope of problem solving and decision-making, respectively. This thesis presents an approach based on a combination of case-based reasoning and analytic hierarchy process to support innovation, particularly product design in industry. The combination overcomes shortcomings of both methods to provide the most adequate decision support for multi-disciplinary teams in innovation processes. Moreover, the work presented proposes an algorithm for automatic adjustment of the weight of the actors in the decision process. This thesis includes case studies, developed in the scope of several research projects, used as practical applications of the work developed. These practical applications include seven test cases (with two manufacturing companies, two assembling companies, two engineering services companies and one software company) where the proposed enterprise model and methods have been applied with the purpose of supporting decisions. This highlights the wide application of the proposed model, describing its possible interpretations and the successful use of the decision support approach in industrial companies.Projects PICK (IST-1999-10442), AIM (IST-2001-52222), FOKSai (COOP-CT-2003-508637), InLife (FP6-2005-NMP2-CT-517018), InAmI (FP6-2004-IST-NMP-2-16788) and K-NET (FP7-ICT-1-215584), all of which were partially funded by the Research Framework Programs of the European Unio

The ‘Meanings’ and ‘Enactments’ of Science and Technology: ANT-Mobilities’ Analysis of Two Cases

In this work I study two cases involving practices of science and technology in the backdrop of related and recent curricular reforms in both settings. The first case study is based on the 2005 South Asian earthquake in Muzaffarabad, Pakistan which led to massive losses including large scale injuries and disabilities. This led to reforms at many levels ranging from disaster management to action plans on disability, including educational reforms in rehabilitation sciences. Local efforts to deal with this disaster led to innovative approaches such as the formation of a Community Based Rehabilitation (CBR) model by a local NGO, which I study in detail. The second case study is based on the recent reform of science and technology curriculum in Ontario, which is related to the release of the 2007 Intergovernmental Panel for Climate Change (IPCC) reports. With climate change science driving this reform with curricular demands for students to learn ‘what scientists do’, my second case study details the formation of the Canadian CloudSat CALIPSO Validation Project (C3VP) and scientific practices which depict cutting edge science related to climate change. Towards contending with the complexity inherent in these cases, I have developed a hybrid framework which is based on Actor-Network Theory (ANT) and the mobilities paradigm while drawing on some aspects of the Annales school of historians. The resulting historical sociology or historiography depicts how these various networks were formed via mobilities of various actor-networks and vice versa. The practices involved in both cases evolved over time and required innovation in times of crises and challenges, and are far more than simple applications of method as required by biomedical and positivist representations of science inherent in both educational reforms. Non-human agency in the form of crisis and disaster also emerges as a key reason for the formation of these networks. Drawing from both cases, I introduce the concept of “transectionalities” as a metaphor which represent configurations of actor-networks in science and technology geared towards dealing with crisis and disaster scenarios. Based on these findings, I also extend the idea of “multiple ontologies” by Mol (2002) to “Epistemic-Ontologic-Techne-” configurations which is sensitive to considerations of time. Moreover, I also find that mathematics is a key mobilizing actor and material semiotic which mediates communication between humans and non-humans and term these dynamics as “mathematical mobilities.” Based on case study one, I also suggest the notion of “affective care” in clinical reasoning, which is based on enhancing the beneficial effect of human to human relationships in these engagements

Automated Federation Of Virtual Organization In Grid Using Select, Match, Negotiate And Expand (SMNE) Protocol [QA76.9.C58 C518 2008 f rb].

Sekelompok sumber perkomputeran yang teragih dan berlainan jenis dalam persekitaran grid akan membentuk organisasi maya dan berkongsi sumber komputer. A group of distributed and heterogeneous resources in a grid environment may form a Virtual Organization (VO) to enable resource sharing