The tower-of-adapters method for developing and reusing problem-solving methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1319, Issue , 1997, Pages 97-112

  Fensel, Dieter ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957883651     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026780     Document Type: Conference Paper

References (39)

1. J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.) Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, 1993.
2. J. Angele, D. Fensel, and R. Studer: Domain and Task Modelling in MIKE. In A. Sutcliffe et al. (eds.), Domain Knowledge for Interactive System Design, Chapman & Hall, 1996.
3. R. Benjamins: Problem Solving Methods for Diagnosis And Their Role in Knowledge Acquisition, International Journal of Expert Systems: Research and Application, 8(2):93-120, 1995.
4. R. Benjamins and C. Pierret-Golbreich: Assumptions of Problem-Solving Method. In N. Shadbolt et al. (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence (LNAI), no 1076, Springer-Vedag, Berlin, 1996.
5. R. Benjamins, D. Fensel, and R. Straatman: Assumptions of Problem- Solving Methods and Their Role in Knowledge Engineering. In Proceedings of the 12. European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996.
6. P. Beys, R. Benjamins, and G. van Heijst: Remedying the Reusability- Usability Tradeoff for Problem-solving Methods. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96), Banff, Canada, November 9-14, 1996.
7. J. Breuker: Problems in Indexing Problem Solving Methods. In Proceeedings of the Workshop on Problem-Solving Methods during the IJCAI-97, Japan, August 24, 1997.
8. J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, lOS Press, Amsterdam, The Netherlands, 1994.
9. T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, 1991.
10. B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124-137, 1992.
11. J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.
12. J. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32:97-130, 1987.
13. J. de Kleer, K. Mackworth, and R. Reiter: Characterizing Diagnoses and Systems, Artificial Intelligence, 56, 1992.
14. H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, and M. A. Musen: Task Modeling with Reusable Problem-Solving Methods, Artificial Intelligence, 79(2):293--326, 1995.
15. D. Fensel: Assumptions and Limitations of a Problem-Solving Method: A Case Study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW-95), Banff, Canada, January 26 - February 3, 1995.
16. D. Fensel, H. Eriksson, M. A. Musen, and R. Studer: Developing Problem- Solving by Introducing Ontological Commitments, International Journal of Expert Systems: Research & Applications, vol 9(4), 1996.
17. D. Fensel and R. Straatman: The Essence of Problem-Solving Methods: Making Assumptions for Efficiency Reasons. In N. Shadbolt et al. (eds.), Advances in Knowledge Acquisiiton, LNAI 1076, Springer-Verlag, 1996.
18. D. Fensel and R. Groenboom: Specifying Knowledge-Based Systems with Reusable Components. In Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain, June 18-20, 1997.
19. D. Fensel and A. Schönegge: Assumption Hunting as Development Method for Knowledge-Based Systems. In Proceeedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems at the 15th International Joint Conference on AI (IJCAI-97), Nagoya, Japan, August 23, 1997.
20. D. Fensel and A. Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVA V-97, Leuven Belgium, June 26-28, 1997.
21. D. Fensel, E. Motta, S. Decker, Z. Zdrahal: Using Ontologies For Defining Tasks, Problem-Solving Methods and Their Mappings. To appear in Proceedings of the European Knowledge Acquisition Workshop (EKA W-97), Sant Feliu de Guixols, Catalonia, Spain, October 15-18, LNAI, Springer-Verlag, 1997.
22. D. Harel: Dynamic Logic. In D. Gabby et al. (eds.), Handbook of Philosophical Logic, vol. II, Extensions of Classical Logic, Publishing Company, Dordrecht (NL), 1984.
23. G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117-136, 1991.
24. S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.
25. E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96), Banff, Canada, November 9-14, 1996.
26. B. Nebel: Artificial intelligence: A Computational Perspective. In G. Brewka (ed.), Essentials in Knowledge Representation, 1996.
27. K. O'Hara and N. Shadbolt: The Thin End of the Wedge: Efficiency and the Generalized Directive Model Methodology. In N. Shadbolt (eds.), Advances in Knowledge Acquisition, LNAI 1076, Springer-Vedag, Berlin, 1996.
28. F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.
29. W. Reif: The KIV-System: Systematic Construction of Verified Software, Proceedings of the 11th International Conference on Automated Deduction, CADE-92, Lecture Notes in Computer Science (LNCS), no 607, Springer-Verlag, Berlin, 1992.
30. W. Reif: The KIV Approach to Software Engineering. In M. Broy and S. Jähnichen (eds.): Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, Springer-Verlag, 1995.
31. D. R. Smith and M. R. Lowry: Algorithm Theories and Design Tactics, Science of Computer Programming, 14:305-321, 1990.
32. A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker (eds.): KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series, Academic Press, London, 1993.
33. A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28-37, 1994.
34. L. Steets: Components of Expertise, AI Magazine, 11(2), 1990.
35. A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997.
36. P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt: Knowledge Acquisition Support Through Generalised Directive Models. In M. David et al. (eds.): Second Generation Expert Systems, Springer-Verlag, 1993.
37. G. van Heijst and A. Anjewerden: Four Propositions concerning the specification of Problem-Solving Methods. In Supplementary Proceedings of the 9th European Knowledge Acquisition Workshop EKA W-96, Nottingham, England, May 14-17, 1996.
38. B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26 - Feruary 3, 1995.
39. M. Wirsing: Algebraic Specification. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ, 1990.