Software Components
by Oskar and co-hackers: if it is not fun the software is rotten !
Raz'r
A model development environment for prediction and diagnosis tasks available from OCC'M.
A dependency-based diagnosis engine able to diagnose dynamic systems. described in Magellan-MT.
A diagnosis engine supporting automatic revision of working hypotheses described in Diagnosis Process Dynamics and Diagnosis Systems with Multiple Actions. Work done in collaboration with Claudia Böttcher.
Default-based Diagnosis Engine described in Back to Defaults and Effective Control Strategies. Paper co-authored by Peter Struss.
A Framework for Model-based Diagnosis Engines a report is available as a BEHAVIOR report.
General Diagnostic Engine enhanced with the capability to handle component fault models. Work done in collaboration with Peter Struss. Described in Physical Negation.
Multiple Context Temporal Constraint Propagation described in Prediction Sharing Across Time and Contexts A preliminary report appeared as Propagation of Temporally Indexed Values in Multiple Contexts. Work done in collaboration with Hartmut Freitag.
Contextual Control over the ATMS first ATMS with a capability to focus both label propagation and consumer execution. Marks a performance breakthrough for ATMS-based diagnosis engines. Work done in collaboration with Adam Farquhar. described in Putting the Problem Solver back in the Driver's Seat
Non-monotonic Assumption-based Truth Maintenance System described in An Extended Basic ATMS, 1988 and Problem Solving with the NM-ATMS, 1990. The NM-ATMS is able to encode defaults. This encoding is proven correct with respect to autoepistemic logic and default logic in On the Relation between Truth Maintenance and Autoepistemic Logic.
my implementation of Johan de Kleer's ATMS described in Assumption-based Truth Maintenance, 1987.
Hybrid and Distributed Reasoning Architecture combines the AMORD Rule Interpreter (written by de Kleer, Doyle @ MIT ) with the OMEGA knowledge representation system (written by Barber @ MIT) to efficiently handle binary predicates. Also includes an implementation of a time reasoner based on Allen's time interval algebra. Was used with CSSA as a basis to run a demo of a distributed planning scenario involving multiple machines. Work done in collaboration with Peter Suda who should be contacted for a copy of this work's description.
Computing System for Societies of Agents on the LISP Machine described in an unpublished manuscript from 1986.
