P17963-N04

 MoRDAMS - Model-based Runtime Diagnosis for Autonomous Mobile Systems
 
Project
Abstract
Scientists/Scholars
Project Publications
Downloads
Final Report
Contact

Downloads

jdiagengine is a Java program offering the following features:
  1. An implementation of Raymond Reiter's Hitting Set (HS) algorithm for computing minimal diagnoses. [1,2]
  2. This algorithm is coupled with an assumption-based Horn clause theorem prover used for the incremental computation of conflict sets. [3]
  3. A graphical user interface (GUI) which serves as a front-end for the HS algorithm. It allows for the entering of logical system descriptions, and observations, and it is able to compute and display the minimal diagnoses.
  4. A second implementation of the HS algorithm which receives already computed conflict sets as input. This algorithm is not coupled with a theorem prover. Note that there is no GUI provided for this algorithm.
  5. As a second front-end to the HS algorithm which is coupled with the theorem prover, jdiagengine also provides a network server application. Using a text-based protocol (based on TCP), it is possible to send system descriptions and observations to this server and to request the minimal diagnoses.
The package contains the Java source files as well as the compiled class files. jdiagengine is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License (GPL) as published by the Free Software Foundation. The software package also contains a file COPYING stating the terms of the GPL.

Download (as zip archive)

We do not provide any warranties, and it should be noted that not all parts/features of this software have been thouroughly tested. The package contains an installation and a user manual (the text files INSTALL and README). These manuals cover the most important features.

If you have any questions or comments: see Contact. If you make any improvements or bug fixes, we kindly ask you to notify us and to send us the modified source.


References

[1] Reiter, R. 1987. A theory of diagnosis from first principles.
Artificial Intelligence 32(1):57–95.
[2] R. Greiner, B. Smith, W. Wilkerson. A Correction to the Algorithm in Reiter's Theory of Diagnosis. Artificial Intelligence 41(1): 79-88.
[3] Michel Minoux. LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters, 29:1–12, 1988.

  
 
 

With support from 		FWFDer Wissenschaftsfonds