Publications
 

 

The MONET Information Resource is now available.

MONET Resources available.

Classification

    Introductory books

This Bibliography Page is constantly under review.
If there are any categories you feel should be added or you have further useful information please contact us.
Please refer any specific questions to the MONET Administration.

 

  • Jackson, Introduction to Expert Systems, II edition, Addison Wesley 1990.
    This is a basic introduction to expert systems and contains a chapter on the expert system approach to heuristic diagnosis.. It also contains a chapter with a very preliminary introduction to model-based diagnosis
  • M. Stefik, Introduction to knowledge systems, Morgan Kaufmann 1995.
    This is an interesting book for people interested in building a knowledge system. It covers topics such as search and problem solving, knowledge engineering, reasoning.


  • Papers:

    Clancey, W.J., Heuristic Classification, Artificial Intelligence, Vol. 25, No. 3, 1985, pp 289-350.
    Knowledge-level analysis of the heuristic classification problem solving task : relation of data patterns to a pre-enumerated set of solutions by abstraction, heuristic association and refinement. The central role of heuristics.Analysis of specific examples (with focus on diagnosis).

    Chandrasekaran, B., Towards a taxonomy of problem solving types, AI magazine, Vol 4, No.1, 1983, pp 9-17.



List provided by Luca Console, University of Turin, Italy.



[Menu]


Design

    Books:

    Total Design: Integrated Methods for Successful Product Engineering,
    Stuart Pugh, 1991 Addison Wesley.
    The book contains a chapter on engineering conceptual design and a qualitative concept/modelling evaluation method - Controlled Convergence Matrix is introduced in this chapter. The book also contains other design cores in which model based systems and qualitative methods can be used.

    AI System Support for Conceptual Design,
    ed. J Sharpe, Published by Springer, Ambleside, England, Proceedings of the 1995 Lancaster International Workshop on Engineering, March 27-29, 1995, ISBN 3-540-76000-8.
    This book contains several papers using model based approach and qualitative modelling techniques in computer support product development.

    Cased-Based Reasoning,
    Janet Kolodner, published by Morgan Kaufmann Publishers, Inc. 1993.
    This book gives an extensive introduction to cased-based reasoning. It covers: What is case-based reasoning, the case library, retrieving cases from case library, and using cases.

    Computer Aided Conceptual Design,
    1994 Lancaster International Workshop on Engineering Design.
    This book contains several papers on qualitative concept evaluation and modelling of product using component mode libraries.

    Engineering Design: - A systematic Approach,
    second addition, G. Pahl and W. Beitz, edited by Ken Wallace, Springer-Verlag, 1996.

    Conceptual design for engineers,
    Springer-Verlag, second edition, 1985.

    System Dynamics, A Unified Approach, Karnopp,
    D.C, Margolis, D.L and Roseberg, R.C., Second edition, John wiley &Sons, Inc. 1990.
    This books introduce many fundamental concepts for bond graph modelling techniques and the approach and is a must reading book for bond graph modelling approach.

    Papers:

    Welch, R.V. and Dixon, J. R, "Representing Functions, Behaviour and Structure During Conceptual Desing", in Design Theory and Methodology - DTM'92 DE-Vol 42. Book no. H00768, pp11-18, ASME, 1992.

    Finger, S. and Rinderle, J. R. "A Transformational Approach to Mechanical Design Using a Bond Graph Grammar", in Design Theory and Methodology - DTM'89, DE-Vol 17, Book no H00507, pp107-116, ASME 1989.

    Bracewell, R. and Sharpe, J.E.E., "Computer Aided Methodology for Qualitative Development of Energy transforming Systems from first principles", Lancaster International Workshop on Engineering design CACD'94, Lancaster 1994.

    Borg J and Yan X. T., "Design Decision Consequences: Key to Design for Multi-X Support", International Symposium on Tools and Methods for Concurrent Engineering TMCE '98, England, April 1998.

    Yan X.T. and Sharpe J.E.E., "Reasoning and Truth Maintenance of Causal Structures in Interdisciplinary Product Modelling and Simulation", International Workshop on Engineering Design: AI System Support for Conceptual Design, Published by Springer, Ambleside, England, pp. 403-425, March 27-29, 1995, ISBN 3-540-76000-8.

    Baxter J. E. and Juster N. P., " a functional data model for assemblies used to verify product design specifications", Proceeding of Institution of Mechanical Engineers, Journal B, 1994.

    Wood K, Antonsson E., 1990, "Modelling imprecision and Uncertainty in Preliminary Engineering Design", Mech. Machine Theory, Vol. 25. No. 3, pp 305-324.

    Guan X, MacCallum K J and Duffy A H B, "Classification of Geometric Design Information and Manipulation for Vague Geometric Modelling", Knowledge Intensive CAD (KIC-II), IFIP WG5.2 Workshop, Pittsburgh, USA, Sep '96



List provided by Xiutian Yan, University of Strathclyde, UK.



[Menu]


Diagnosis

This is an annotated list of references for getting started with diagnosis and model-based diagnosis. The references are fine for people with a basic AI background:

Introductory books on diagnosis and model-based diagnosis

  • Jackson, Introduction to Expert Systems, II edition, Addison Wesley 1990.
    This is a basic introduction to expert systems and contains a chapter on the expert system approach to heuristic diagnosis.. It also contains a chapter with a very preliminary introduction to model-based diagnosis
  • M. Stefik, Introduction to knowledge systems, Morgan Kaufmann 1995.
    This is an interesting book for people interested in building a knowledge system. It covers topics such as search and problem solving, knowledge engineering, reasoning.

  • Two interesting sections devoted to problem solving tasks
    •  classification:  on heurstic approaches to diagnosis: approaches to classification, cases studies (e.g. Mycin, MDX, Prospector, ..)knowledge and methods for classification
    • diagnosis and troubleshooting, with an introduction to causal and model-based approaches to diagnosis, case studies (e.g. casnet, GDE, Sophie, Scherlock, ...), knowledge and methods for diagnosis
Introductory papers:
  • R. Davis AND W. Hamscher, Model-based reasoning: Troubleshooting, in
    • Exploring Artificial Intelligence, H. Schrobe (ed.), Morgan Kaufmann 1988

    • and
    • Readings in Model-based diagnosis, W. Hamscher, L. Console, J. de Kleer(eds), Morgan Kaufmann 1992

  • J.M. David, J.P. Krivine, R. Simmons, Second Generation Expert Systems, a step forward in knowledge engineering, in
    • Second Generation Expert Systems, J.M. David, J.P. Krivine, R. Simmons (eds.), Springer Verlag 1993

  • P. Struss, Knowledge-based Diagnosis - An Important Challenge and Touchstone for AI, in Proceedings of the 10th European Conference on Artificial Intelligence, pp. 863-874, John Wiley & Sons, August 1992.

Collections of papers on model-based diagnosis

  • W. Hamscher, L. Console, J. de Kleer, Readings in Model-based diagnosis, Morgan Kaufmann, 1992.
    A collection of some of the most relevant papers on the automated diagnosis of physical systems published in the early ages and up to 1992. It contains some of the seminal and most referenced papers. Organized in sections concerning
    • Introduction to model-based diagnosis
    • logical foundations
    • The General Diagnostic Engine
    • Fault models
    • Analog systems
    • Diagnosis of devices with state
    • Hierarchies
    • Relaxation of Diagnostic Assumptions
    • Probabilitsic approaches
    Each section features an introduction by the editors. The book includes an annotated bibliography.

  • J.M. David, J.P. Krivine, R. Simmons, Second Generation Expert Systems, Springer Verlag 1993.
    A collection of papers on Second Generation Expert Systems, including papers on diagnosis and model-based diagnosis.
  • L. Console, G. Friedrich, Special Issue on model-based diagnosis of the journal Annals of mathematics and Artificial Intelligence, vol 11, no. 1-4, 1994, J.C. Baltzer AG.
    It includes papers from the 2nd Int. Workshop on Principles of Diagnosis (Dx-91) and from the ECAI 92 Worksop on model-based reasoning and an introduction from the editors.

Research papers can be found in the proceedings of the main AI Conferences including IJCAI, AAAI, ECAI and in many AI journals, such as Artificial Intelligence, AI in Engineering, IEEE Transactions on KDE, Computational Intelligence, etc.

Application papers can be found in many AI application conferences such as IAAI and IEEE CAIA and in many journals such as IEEE Expert, Applied AI, AI Edam and AI in Engineering.

The Diagnosis community has organized a series of workshops since 1990, called the International workshop on principles of diagnosis (DX). The proceedings may be available from the editors or via MONET.

  • 1990: Stanford (CA), editor: W Hamscher
  • 1991: Milano (Italy), editor: L. Console
  • 1992: Orcas Island (WA), editor E. Scarl
  • 1993: Abersystwyth (UK), editor C. Price
  • 1994: New Paltz (NY), editor G. Provan
  • 1995: Goslar (D), editor W. Nejdl
  • 1996: Val Morin (Quebec, Canada), editor S. Abu Akima
  • 1997: Mont Saint Michel (F), editor M-O. Cordier
  • 1998: Cape Cod (MA), editors P. Nayak and B. Williams


List provided by Luca Console, University of Turin, Italy.



 

 


[Page top] Any problems with this page please contact: Web maintainer
Page last updated: May 21, 2003