|
|
REFERENCES
- Bousson, K. et al., Qualitative prediction and interpretation for bioprocess supervision,
- Proc. Int. Conf. on Fault Diagnosis Tooldiag '93, 1044-1053, Toulouse, 1993.
- Bratko, I. et al., KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems,
- MIT Press, MA, 1989.
- Buchanan, B.G. and E.H. Shortliffe (Eds.), Rule-Based Expert Systems, Addison Wesley, MA,
- 1984.
- Cermignani, S. and G. Tornielli Giotto, A diagnostic system for continuous static processes,
- Proc. Int. Conf. Automation '93, Milan, November 1993.
- Chandrasekaran, B., Functional representation: A brief historical perspective,
- Applied Artificial Intelligence, 8:173-197, 1994.
- Dague, P. (Ed.), Qualitative reasoning: A survey of techniques and applications,
- AI Communications, 8(3/4):119-192, Sept./Dec. 1995.
- Davis, R., Diagnostic reasoning based on structure and behaviour, Artificial Intelligence,
- 24:347-410, 1984.
- de Kleer, J. and J. Seely Brown, A qualitative physics based on confluences, Artificial
- Intelligence, 24:7-83, 1984, reproduced in (Weld and de Kleer, 1990).
- de Kleer, J., An assumption-based truth maintenance system, Artificial Intelligence, 28:127-162,
- 1986.
- de Kleer, J. and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence, 32:97-130,
- 1987.
- Dvorak, D. and B. Kuipers, Process monitoring and diagnosis -- Model-based approach,
- IEEE Expert, 6(3):67-74, June 1991.
- Faltings, B., Working group in model-based design and reasoning, AI Communications, 9:59-64,
- 1996.
- Fjalestad, K. et al., A total quality management system for reduction of industrial
- pollution discharge, Computers Chem. Engng., 18 (Suppl.):S369-S373, 1994.
- Forbus, K.D, Qualitatative Process Theory, Artificial Intelligence, 24:85-168, 1984,
- reproduced in Weld and de Kleer, 1990.
- Gensym Corp., G2 Programmer's Manual, Version 5.0, Cambridge, MA, 1997.
- Kramer, M. and R. Fjellheim, Fault diagnosis and computer-aided diagnostic advisors,
- Proc. IPSE '95 -- Intelligent Systems in Process Engineering, Snowmass, CO, July 1995.
- Kuipers, B., Qualitative simulation, Artificial Intelligence, 29:289-388, 1986, reproduced
- in Weld and de Kleer, 1990.
- Leitch, R., Artificial intelligence in control, Computing & Control Engineering Journal, U.K.,
- July 1992.
- Leitch, R. et al., ARTIST: A methodological approach to specifying model-based diagnostic
- systems, in Guida and Stefanini (Eds.), Industrial Applications of Knowledge-Based Diagnosis, 1992.
- Penalva, J.M. et al., A supervision support system for industrial processes,
- IEEE Expert, 8(5):57-65, October 1993.
- PRIDE, The PRIDE Consortium, Process Industry Diagnostic Environment, Esprit IV Project No.
- 20498, 1996.
- Reiter, R., A theory of diagnosis from first principles, Artificial Intelligence, 32(1):57-96, 1987.
- Travé-Massuyés, L. and R. Milne, Diagnosis of dynamic systems based on explicit
- and implicit behavioural models: An application to gas turbines in esprit project TIGER, Applied Artificial Intelligence, 10:257-277, 1966.
- Weld, D.S. and J. de Kleer (Eds.), Readings in Qualitative Reasoning about
- Physical Systems, Morgan Kaufmann, California, 1990.
- Williams, B.C. and P.P. Nayak, Immobile robots -- AI in the new millennium, AI Magazine,
- 17(3):17-35, Fall 1996.
- Xia, S. and N. Smith, Automated modelling: A discussion and review, The Knowledge
- Engineering Review, 11(2):137-160, 1996.
|