Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Engineering and Knowledge Management

EKAW 1997: Knowledge Acquisition, Modeling and Management pp 97–112Cite as

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

  • Long Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1319))

Abstract

The paper provides three novel contributions to knowledge engineering. First, we provide a structured approach for the development and adaptation of problem-solving methods. We start from very generic search strategies with weak data structures and add adapters that refine the states and state transitions of the search process and that add assumptions necessary to link the competence of a method with given problem definitions and domain knowledge. Second, we show how the usability-reusability trade-off of task-specific versus task-independent problem-solving methods can easily be overcome by the virtual existence of specific methods. Third, we provide the concept of an integrated library combining reusable problem definitions, problem-solving methods, and adapters.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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-Verlag, Berlin, 1996.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  8. J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  9. T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, 1991.

    Google Scholar 

  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.

    Article  Google Scholar 

  11. J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  12. J. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32:97–130, 1987.

    Article  Google Scholar 

  13. J. de Kleer, K. Mackworth, and R. Reiter: Characterizing Diagnoses and Systems, Artificial Intelligence, 56, 1992.

    Google Scholar 

  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.

    Article  Google Scholar 

  15. D. Fensel and R. Benjamins: Assumptions in Model-Based Diagnosis. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9–14, 1996.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. D. Fensel and A. Schonegge: 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.

    Google Scholar 

  21. 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 EUROVAV-97, Leuven Belgium, June 26–28, 1997.

    Google Scholar 

  22. 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 (EKAW-97), Sant Feliu de Guixols, Catalonia, Spain, October 15–18,LNAI, Springer-Verlag, 1997.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117–136, 1991.

    Article  Google Scholar 

  25. S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.

    Google Scholar 

  26. E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KA W96), Banff, Canada, November 9–14, 1996.

    Google Scholar 

  27. B. Nebel: Artificial intelligence: A Computational Perspective. In G. Brewka (ed.), Essentials in Knowledge Representation, 1996.

    Google Scholar 

  28. 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-Verlag, Berlin, 1996.

    Google Scholar 

  29. F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. 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.

    Google Scholar 

  32. D. R. Smith and M. R. Lowry: Algorithm Theories and Design Tactics, Science of Computer Programming, 14:305–321, 1990.

    Article  Google Scholar 

  33. 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.

    Google Scholar 

  34. 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.

    Article  Google Scholar 

  35. L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.

    Google Scholar 

  36. A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997.

    Google Scholar 

  37. 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.

    Google Scholar 

  38. 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 EKAW-96, Nottingham, England, May 14–17,1996.

    Google Scholar 

  39. 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.

    Google Scholar 

  40. M. Wirsing: Algebraic Specification. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute AIFB, University of Karlsruhe, 76128, Karlsruhe, Germany

    Dieter Fensel

Authors
  1. Dieter Fensel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Enric Plaza Richard Benjamins

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fensel, D. (1997). The tower-of-adapters method for developing and reusing problem-solving methods. In: Plaza, E., Benjamins, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science, vol 1319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026780

Download citation

  • DOI: https://doi.org/10.1007/BFb0026780

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63592-5

  • Online ISBN: 978-3-540-69606-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation