Advertisement

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

Long Papers
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Local Search Problem Definition Ontological Commitment Hill Climbing Local Search Strategy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Akkermans et al., 1993]
    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. [Angele et al., 1996]
    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. [Benjamins, 1995]
    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. [Benjamins & Pierret-Golbreich, 1996]
    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. [Benjamins et al., 1996]
    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. [Beys et al., 1996]
    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. [Breuker, 1997]
    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. [Breuker & Van de Velde, 1994]
    J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.Google Scholar
  9. [Bylander et al., 1991]
    T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, 1991.Google Scholar
  10. [Chandrasekaran et al., 1992]
    B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124–137, 1992.CrossRefGoogle Scholar
  11. [David et al., 1993]
    J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.Google Scholar
  12. [de Kleer & Williams, 1987]
    J. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32:97–130, 1987.CrossRefGoogle Scholar
  13. [de Kleer, 1992]
    J. de Kleer, K. Mackworth, and R. Reiter: Characterizing Diagnoses and Systems, Artificial Intelligence, 56, 1992.Google Scholar
  14. [Eriksson et al., 1995]
    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.CrossRefGoogle Scholar
  15. [Fensel & Benjamins, 1996]
    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. [Fensel, 1995]
    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. [Fensel et al., 1996]
    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. [Fensel & Straatman, 1996]
    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. [Fensel & Groenboom, 1997]
    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. [Fensel & Schonegge, 1997a]
    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. [Fensel & Schönegge, 1997b]
    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. [Fensel et al., 1997]
    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. [Harel, 1984]
    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. [Klinker et al., 1991]
    G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117–136, 1991.CrossRefGoogle Scholar
  25. [Marcus, 1988]
    S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.Google Scholar
  26. [Motta & Zdrahal, 1996]
    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. [Nebel, 1996]
    B. Nebel: Artificial intelligence: A Computational Perspective. In G. Brewka (ed.), Essentials in Knowledge Representation, 1996.Google Scholar
  28. [O'Hara & Shadbolt, 1996]
    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. [Puppe, 1993]
    F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.Google Scholar
  30. [Reif, 1992]
    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. [Reif, 1995]
    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. [Smith & Lowry, 1990]
    D. R. Smith and M. R. Lowry: Algorithm Theories and Design Tactics, Science of Computer Programming, 14:305–321, 1990.CrossRefGoogle Scholar
  33. [Schreiber et al., 1993]
    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. [Schreiber et al., 1994]
    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.CrossRefGoogle Scholar
  35. [Steels, 1990]
    L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.Google Scholar
  36. [ten Teije, 1997]
    A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997.Google Scholar
  37. [Terpstra et al., 1993]
    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. [van Heijst and A. Anjewerden, 1996]
    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. [Wielinga et al., 1995]
    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. [Wirsing, 1990]
    M. Wirsing: Algebraic Specification. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  1. 1.Institute AIFBUniversity of KarlsruheKarlsruheGermany

Personalised recommendations