Skip to main content
Springer Nature Link
Log in

Towards Brokering Problem-Solving Knowledge on the Internet

  • Conference paper
  • First Online:
Knowledge Acquisition, Modeling and Management (EKAW 1999)

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

  • 401 Accesses

Abstract

We describe the ingredients of an intelligent agent (a broker) for configuration and execution of knowledge systems for customer requests. The knowledge systems are configured from reusable problem-solving methods that reside in digital libraries on the Internet. The approach followed amounts to solving two subproblems: (i) the configuration problem which implies that we have to reason about problem-solving components, and (ii) execution of heterogeneous components. We use CORBA as the communication infrastructure.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. J. Angele, D. Fensel, D. Landes, S. Neubert, and R. Studer. Model-based and incremental knowledge engineering: the MIKE approach. In J. Cuena, editor, Knowledge Oriented Software Design, IFIP Transactions A-27, Amsterdam, 1993. Elsevier.

    Google Scholar 

  2. Barros, L. Nunes de, J. Hendler, and V. R. Benjamins. Par-KAP: a knowledge acquisition tool for building practical planning systems. In M. E. Pollack, editor, Proc. of the 15th IJCAI, pages 1246–1251, Japan, 1997. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Inc. Also published in Proceedings of the Ninth Dutch Conference on Artificial Intelligence, NAIC’97, K. van Marcke, W. Daelemans (eds), University of Antwerp, Belgium, pages 137-148.

    Google Scholar 

  3. B. Beckert and J. Posegga. LeanT A P: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3):339–358, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  4. V. R. Benjamins. Problem-solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Applications, 8(2):93–120, 1995.

    Google Scholar 

  5. V. R. Benjamins, D. Fensel, and R. Straatman. Assumptions of problem-solving methods and their role in knowledge engineering. In W. Wahlster, editor, Proc. ECAI-96, pages 408–412. J. Wiley & Sons, Ltd., 1996.

    Google Scholar 

  6. V. R. Benjamins and C. Pierret-Golbreich. Assumptions of problem-solving methods. In N. Shadbolt, K. O’Hara, and G. Schreiber, editors, Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge Acquisition Workshop, EKAW-96, pages 1–16, Berlin, 1996. Springer-Verlag.

    Google Scholar 

  7. J. Breuker and W. van de Velde, editors. Common KADS Library for Expertise Modeling. IOS Press, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  8. B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:59–71, 1990.

    Google Scholar 

  9. B. Chandrasekaran, T. R. Johnson, and J. W. Smith. Task-structure analysis for knowledge modeling. Communications of the ACM, 35(9):124-137, 1992.

    Google Scholar 

  10. B. Chandrasekaran, J. R. Josephson, and V. R. Benjamins. Ontology of tasks and methods. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW’98), pages Share-6-1-Share-6-21, Alberta, Canada, 1998. SRDG Publications, University of Calgary. http://ksi.cpsc.ucalgary.ca/KAW/KAW98/KAW98Proc.html, also in proceedings of the Workshop on Applications of Ontologies and Problem-Solving Methods, held inconjunction with ECAI’98, Brighton, UK, pp 31-43.

  11. D. Fensel and V. R. Benjamins. Key issues for automated problem-solving methods reuse. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 63–67. J. Wiley & Sons, Ltd., 1998.

    Google Scholar 

  12. D. Fensel, V. R. Benjamins, S. Decker, M. Gaspari, R. Groenboom, W. Grosso, M. Musen, E. Motta, E. Plaza, A. Th. Schreiber, R. Studer, and B. J. Wielinga. The component model of UPML in a nutshell. In Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 1999.

    Google Scholar 

  13. D. Fensel, S. Decker, M. Erdmann, and R. Studer. Ontobroker: The very high idea. In Proceedings of the 11th International Flairs Conference (FLAIRS-98), Sanibal Island, Florida, 1998.

    Google Scholar 

  14. D. Fensel, E. Motta, S. Decker, and Z. Zdrahal. Using ontologies for defining tasks, problem-solving methods and their mappings. In E. Plaza and V. R. Benjamins, editors, Knowledge Acquisition, Modeling and Management, pages 113–128. Springer-Verlag, 1997.

    Google Scholar 

  15. J. H. Gennari, H. Cheng, R. Altman, and M. A. Musen. Reuse, corba, and knowledge-based systems. International Journal of Human-Computer Studies, 49(4):523–546, 1998. Special issue on Problem-Solving Methods.

    Article  Google Scholar 

  16. J. H. Gennari, S. W. Tu, T. E. Rotenuh, and M. A. Musen. Mapping domains to methods in support of reuse. International Journal of Human-Computer Studies, 1:399–424, 1994.

    Article  Google Scholar 

  17. T. R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5:199–220, 1993.

    Article  Google Scholar 

  18. N. Guarino. Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies, 43(5/6):625–640, 1995. Special issue on The Role of Formal Ontology in the Information Technology.

    Article  Google Scholar 

  19. M. Ikeda, K. Seta, and R. Mizoguchi. Task ontology makes it easier to use authoring tools. In Proc. of the 15th IJCAI, pages 342–347, Japan, 1997. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  20. E. Motta and Z. Zdrahal. A library of problem-solving components based on the integration of the search paradigm with task and method ontologies. International Journal of Human-Computer Studies, 49(4):437–470, 1998. Special issue on Problem-Solving Methods.

    Article  Google Scholar 

  21. M. A. Musen, J. H. Gennari, H. Eriksson, S. W. Tu, and A. R. Puerta. PROTEGE II: Computer support for development of intelligent systems from libraries of components. In Proceedings of the Eighth World Congress on Medical Informatics (MEDINFO-95), pages 766–770, Vancouver, B. C., 1995.

    Google Scholar 

  22. R. Orfali, D. Harkey, and J. Edwards, editors. The Essential Distributed Objects Survival Guide. John Wiley & Sons, New York, 1996.

    Google Scholar 

  23. A. Puerta, S. W. Tu, and M. A. Musen. Modeling tasks with mechanisms. In Workshop on Problem-Solving Methods, Stanford, July 1992. GMD, Germany.

    Google Scholar 

  24. F. Puppe. Knowledge reuse among diagnostic problem-solving methods in the shell-kit D3. International Journal of Human-Computer Studies, 49(4):627–649, 1998. Special issue on Problem-Solving Methods.

    Article  Google Scholar 

  25. A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker, editors. KADS: A Principled Approach to Knowledge-Based System Development, volume 11 of Knowledge-Based Systems Book Series. Academic Press, London, 1993.

    Google Scholar 

  26. J. Schumann and B. Fischer. NORA/HAMMR making deduction-based software component retrieval practical. In 12th IEEE International Conference on Automated Software Engineering, pages 246–254. IEEE Computer Society, 1997.

    Google Scholar 

  27. N. Shadbolt, E. Motta, and A. Rouge. Constructing knowledge-based systems. IEEE Software, 10(6):34–39, November 1993.

    Article  Google Scholar 

  28. L. Steels. Components of expertise. AI Magazine, 11(2):28–49, Summer 1990.

    Google Scholar 

  29. A. ten Teije, F. van Harmelen, A. Th. Schreiber, and B. Wielinga. Construction of problem-solving methods as parametric design. International Journal of Human-Computer Studies, 49(4):363–389, 1998. Special issue on Problem-Solving Methods.

    Article  Google Scholar 

  30. M. Uschold and M. Gruninger. Ontologies: principles, methods, and applications. Knowledge Engineering Review, 11(2):93–155, 1996.

    Article  Google Scholar 

  31. A. Valente and C. Löckenhof. Organization as guidance: A library of assessment models. In Proceedings of the Seventh European Knowledge Acquisition Workshop (EKAW’93), Lecture Notes in Artificial Intelligence, LNCS 723, pages 243–262, 1993.

    Google Scholar 

  32. G. van Heijst, A. T. Schreiber, and B. J. Wielinga. Using explicit ontologies in KBS development. International Journal of Human-Computer Studies, 46(2/3):183–292, 1997.

    MATH  Google Scholar 

  33. J. Wielemaker. SWI-Prolog 2.9: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, 1997. E-mail: http://jan@swi.psy.uva.nl.

    Google Scholar 

  34. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4):333–369, 1997.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB, Amsterdam, The Netherlands

    V. Richard Benjamins, Bob Wielinga & Jan Wielemaker

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

    Dieter Fensel

Authors
  1. V. Richard Benjamins
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bob Wielinga
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Wielemaker
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dieter Fensel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. AIFB Institute for Applied Computer Science and Formal Description Methods, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Dieter Fensel  & Rudi Studer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag

About this paper

Cite this paper

Richard Benjamins, V., Wielinga, B., Wielemaker, J., Fensel, D. (1999). Towards Brokering Problem-Solving Knowledge on the Internet. In: Fensel, D., Studer, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1999. Lecture Notes in Computer Science(), vol 1621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48775-1_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-48775-1_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66044-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics