AD 2 L-A Programming Language for Model-Based Systems ( Preliminary Report )

Model-based reasoning in general and model-based diagnosi s (MBD) in particular has become a very important technique for providing solutions to real-world problems. However, modeling has become a problem making the use of MBD in companies difficult or even preventing it from being considered. Reasons are the lack of modeling principles and a general accepted language for modeling. In this paper we propose a programming language AD2L specially tailored for describing systems to be diagnosed. In addition, we discuss guidelines a modeling language should or even must fulfill, give some properties of the language, and an overview about further extensions increasing the applicability of AD2L.

[1]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

[2]  Neal Snooke.  Simulating Electrical Devices with Complex Behaviour , 1999, AI Commun..

[3]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[4]  Michel Minoux,et al.  LTUR: A Simplified Linear-Time Unit Resolution Algorithm for Horn Formulae and Computer Implementation , 1988, Inf. Process. Lett..

[5]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[6]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[7]  Benjamin Kuipers,et al.  QPC: A Compiler from Physical Models into Qualitative Differential Equations , 1990, AAAI.

[8]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[9]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[10]  Philippe Dague,et al.  Qualitative Reasoning: A Survey of Techniques and Applications , 1995, AI Commun..

[11]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[12]  Peter Fröhlich,et al.  Model-Based Diagnosis for Open Systems Fault Management , 1999, AI Commun..

[13]  Arthur M. Farley,et al.  Reasoning about Linear Circuits: A Model-Based Approach , 1999, AI Commun..

[14]  Markus Stumptner,et al.  Debugging Functional Programs , 1999, IJCAI.

[15]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[16]  Richard Fikes,et al.  A Web-Based Compositional Modeling System for Sharing of Physical Knowledge , 1997, IJCAI.

[17]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

[18]  Andreas Malik,et al.  Peter Struss : Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation , 1996 .

[19]  Wolfgang Nejdl,et al.  Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems , 1992, KR.

[20]  Franz Wotawa,et al.  Model-based reasoning , 1999 .

[21]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[22]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[23]  Daniel G. Bobrow,et al.  Retrospective on “Diagnostic reasoning based on structure and behavior” , 1994 .

[24]  Daniele Theseider Dupré,et al.  Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models , 1999, AI Commun..

[25]  Markus Stumptner,et al.  Model-Based Reconfiguration , 1998, AID.

[26]  Werner Dilger,et al.  COMODEL: A Language for the Representation of Technical Knowledge , 1985, IJCAI.

[27]  Markus Stumptner,et al.  Model-Based Diagnosis of Hardware Designs , 1999, Artif. Intell..