Structure-preserving knowledge-based system development through reusable libraries: A case study in diagnosis

International Journal of Human Computer Studies

Volumn 47, Issue 2, 1997, Pages 259-288

  Benjamins, V Richard ^a,b   Aben, Manfred ^c  

^a CSIC   (Spain)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UNILEVER RESEARCH VLAARDINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC; INFORMATION DISSEMINATION; INFORMATION RETRIEVAL;

REUSABLE COMPONENTS; STRUCTURE-PRESERVING DESIGN (SPD);

KNOWLEDGE BASED SYSTEMS;

EID: 0031213020     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1997.0117     Document Type: Article

References (42)

1. ABEN, M. (1993). Formally specifying re-usable knowledge model components. Knowledge Acquisition, 5, 119-141.
2. ABEN, M. (1994). A library of inference schemata. In J. BREUKER & W. VAN DE VELDE, Eds., CommonKADS Library for Expertise Modeling, pp. 315-330. Amsterdam, The Netherlands: IOS Press.
3. ABEN, M. (1995). Formal methods in knowledge engineering. Ph.D. Thesis, University of Amsterdam, Amsterdam.
4. ABEN, M., BALDER, J. & VAN HARMELEN, F. (1994). Support for the formalisation and validation of KADS expertise models. Deliverable DM2.6a ESPRIT Project P5248 KADS-II/ M2/TR/UvA/63/1.0, University of Amsterdam, Amsterdam.
5. ANGELE, J., FENSEL, D., LANDES, D., NEUBERT, S. & STUDER, R. (1993). Model-based and incremental knowledge engineering: the MIKE approach. In J. CUENA, Ed., Knowledge Oriented Software Design, IFIP Transactions A-27, Elsevier, Amsterdam.
6. BAUER, C. & KARBACH, W., Eds. (1992). Proceedings of the 2nd KADS User Meeting, ZFE BT SE 21, Otto-Hahn Ring 6, D-8000 Munich 83. Siemens AG.
7. BENJAMINS, V. R. (1993). Problem solving methods for diagnosis. Ph.D. Thesis, University of Amsterdam, Amsterdam, The Netherlands.
8. BENJAMINS, V. R. (1994). On a role of problem solving methods in knowledge acquisition: experiments with diagnostic strategies. In: L. STEELS, A. T. SCHREIBER & W. VAN DE VELDE, Eds., Lecture Notes in Artificial Intelligence, Vol. 867, 8th European Knowledge Acquisition Workshop, EKAW-94, pp. 137-157. Berlin, Germany: Springer.
9. BENJAMINS, V. R. (1995). Problem-solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Applications, 8, 93-120.
10. BENJAMINS, V. R., FENSEL, D. & STRAATMAN, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In W. WAHLSTER, Ed., Proceedings of ECAI-96, pp. 408-412. New York: Wiley.
11. BENJAMINS, V. R. & JANSWEIJER, W. N. H. (1994). Toward a competence theory of diagnosis. IEEE-Expert, 9, 43-52.
12. BENJAMINS, V. R. & PIERRET-GOLBREICH, C. (1996). Assumptions of problem-solving methods. In N SHADBOLT, K. O'HARA & G. SCHREIBER, Eds., Lecture Notes in Artificial Intelligence, Vol. 1076, 9th European Knowledge Acquisition Workshop, EKAW-96, pp. 1-16. Berlin: Springer.
13. BOURDEAU, R. H. & CHENG, B. H. C. (1995). A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21, 799-819.
14. BOWEN, J. P. & HINCHEY, M. G. (1995). Ten commands of formal methods. IEEE Computer, 28, 56-63.
15. BREUKER, J. & VAN DE VELDE, W., Eds. (1994). CommonKADS Library for Expertise Modeling. Amsterdam, The Netherlands: IOS Press.
16. COELHO, E. & LAPALME, G. (1996). Describing reusable problem-solving methods with a method ontology. In B. R. GAINES & M. A. MUSEN, Eds. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 3-1, 3-20. University of Calgary, Alberta, Canada: SRDG Publications.
17. CONSOLE, L. & TORASSO, P. (1990). Integrating models of the correct behaviour into abductive diagnosis. In L. C. AIELLO, Proceedings of ECAI-90, pp. 160-166, London. ECCAI: Pitman.
18. DAVIS, R. & HAMSCHER, W. C. (1988). Model-based reasoning: Troubleshooting. In H. E. SHROBE, Ed. Exploring Artificial Intelligence, pp. 297-346. San Mateo, CA: Morgan Kaufmann.
19. DE KLEER, J. & WILLIAMS, B. (1987). Diagnosing multiple faults. Artificial Intelligence, 32, 97-130.
20. DIJKSTRA, E. W. (1976). A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall.
21. FENSEL, D. (1995). The Knowledge-Based Acquisition and Representation Language KARL. Dordrecht: Kluwer Academic Publisher.
22. FENSEL, D. & BENJAMINS, V. R. (1996). Assumptions in model-based diagnosis. In B. R. GAINES & M. A. MUSEN, Eds. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 5-1, 5-18, University of Calgary, Alberta, Canada: SRDG Publications.
23. FENSEL, D. & GROENBOOM, R. (1996). MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems. In W. WAHLSTER, Ed., Proceedings of ECAI-96, pp. 1123-1127. New York: Wiley.
24. GENNARI, J., TU, S., ROTENFLUH, T. & MUSEN, M. (1994). Mapping domains to methods in support of reuse. International Journal of Human-Computer Studies, 41, 399-424.
25. HOARE, C. A. R. (1969). The axiomatic basis of computer programming. Communications of the ACM, 12, 567-583.
26. JONES, C. B. (1991). Systematic Software Development using VDM (2 edn.) Hemel Hempstead: Prentice-Hall.
27. LARSEN, P. G., PLAT, N. & TOETENEL, H. (1993). A formal semantics of data flow diagrams. Formal Aspects of Computing, 3, 1-21.
28. ORSVÄRN, K. (1996a). Knowledge modelling with libraries of task decomposition methods. Ph.D. Thesis, Swedish Institute of Computer Science.
29. ORSVÄRN, K. (1996b). Principles for libraries of task decomposition methods - conclusions from a case-study. In N. SHADBOLT, K. O'HARA & A. TH. SCHREIBER, Eds., Lecture Notes in Artificial Intelligence, Vol. 1076, 9th European Knowledge Acquisition Workshop, EKAW-96, pp. 48-65. Berlin: Springer.
30. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F. & LORENSEN, W. (1991). Object-Oriented Modelling and Design. Englewood Cliffs, NJ: Prentice-Hall.
31. RUSHBY, J. (1995). Formal methods and their role in the certification of critical systems. Technical Report CSL-95-1, SRI.
32. SCHREIBER, A. TH., WIELINGA, B. J. & BREUKER, J. A., Eds. (1993). KADS: A Principled Approach to Knowledge-Based System Development, Vol. 11, Knowledge-Based Systems Book Series. London: Academic Press.
33. SCHREIBER, A. TH., WIELINGA, B. J., DE HOOG, R., AKKERMANS, J. M. & VAN DE VELDE, W. (1994). CommonKADS: A comprehensive methodology for KBS development. IEEE Expert, 9, 28-37.
34. SEMMENS, L. T., FRANCE, R. B. & DOCKER, T. W. G. (1992). Integrated structured analysis and formal specification. The Computer Journal, 35, 600-610.
35. SHADBOLT, N. R., MOTTA, E. & ROUGE, A. (1993). Constructing knowledge based systems. IEEE Software, 10, 34-39.
36. SPEEL, P.-H. & ABEN, M. (1996). Applying a library of problem solving methods on a real-life task. In B. R. GAINES & M. A. MUSEN, Eds., Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 10-1, 10-21, Alberta, Canada. SRDG Publications, University of Calgary.
37. SPIVEY, J. M. (1992). The Z Notation: A Reference Manual (2nd edn.) Series in Computer Science. New York: Prentice-Hall International.
38. TEN TEIJE, A. & VAN HARMELEN, F. (1994). An extended spectrum of logical definitions for diagnostic systems. In: Proceedings of DX-94 5th International Workshop on Principles of Diagnosis.
39. VAN HARMELEN, F. & ABEN, M. (1996). Structure preserving specifications languages for knowledge-based systems. International Journal of Human-Computer Studies, 44, 187-212.
40. 2: a formal language for KADS models of expertise. Knowledge Acquisition, 4, Special issue: 'The KADS approach to knowledge engineering', reprinted in: SCHREIBER, A. TH. et al., Eds., KADS: A Principled Approach to Knowledge-Based System Development, 1993.
41. 2: a formal language for KADS models of expertise. Knowledge Acquisition, 4, Special issue: 'The KADS approach to knowledge engineering', reprinted in: SCHREIBER, A. TH. et al., Eds., KADS: A Principled Approach to Knowledge-Based System Development, 1993.
42. YOURDON, E. (1989). Modern Structural Analysis. Englewood Cliffs, NJ: Prentice-Hall.