Student research opportunities
Chronicles vs. Conflicts vs. ARR
Project Code: CECS_774
This project is available at the following levels:
CS single semester, Honours, Summer Scholar, Masters
Keywords:
Diagnosis, abductive reasoning, logic, conflict, chronicle, discrete-event systems
Supervisor:
Dr Alban GrastienOutline:
Diagnosis is the problem of detecting and identifying failures in systems behaviours by comparing the expected outcome of the system with its actual outcome. Among the most successful techniques are chronicles, conflicts and ARRs.
A chronicle is a pattern of temporally-constrained events associated with a failure. When the chronicle has been recognised, the failure is identified.
A conflict (in the simplified sense) is a set of non-failures that are inconsistent (i.e., at least one of these failures must have occurred).
An ARR (analytical redundancy reduction) is a constraint of the outcome associated with a set of non-failures such that the violation of this constraint is an evidence that the set of non-failures is inconsistent.
Goals of this project
There is a clear relation between these three notions, and the relation between conflicts and ARRs has been clearly stated. The purpose of this project is to include the chronicles in the picture, i.e., determine the differences and similarities between chronicles and conflicts/ARRs. This study will enable to use techniques used for conflicts and ARRs generation to generate chronicles.
Background Literature
* Marie-Odile Cordier, Louise Travé-Massuyès, and Xavier Pucel :
Comparing diagnosability in continuous and discrete-events systems , DX'06 (17th International workshop on principles of Diagnosis), 2006
* Chr. Dousson, P. Gaborit, M. Ghallab
Situation recognition: Representation and algorithms, IJCAI-93 (International Joint Conference on Artificial Intelligence), 1993.
