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

Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis

Applying Model Based Diagnosis (MBD) techniques in medical domains reveal the need to use deep causal knowledge modelling frameworks as well as temporal management techniques to capture the dynamic component of disease evolution (with the latter being very important in other domains). Despite the intense research activity in the field of Temporal MBD, there are three issues that not been analysed in depth: (a) modelling complex interaction of contextual information, (b) evaluation of hypotheses possibility degrees and (c) the structure of explanations. Our goal is to present a general framework for Temporal MBD which approaches the problem previously posed and to demonstrate the suitability of the Fuzzy Temporal Constraints Networks formalism (FTCN ) for representing the domain temporal dimension