The PSM Tab: Related Publications

The PSM Librarian: Related Publications and Links

Below is a comprehensive list of readings about research underlying or related to the PSM Librarian. Suggestions for additions and improvements are welcome!

The PSM Librarian: Support for PSM libraries in Protégé
Use and reuse of PSMs in Protégé
Generic tasks, reusable components and problem-solving methods
Modeling (libraries of) problem-solving methods
The Propose-and-Revise experiments
Libraries of problem-solving methods

Contact: Monica Crubézy

The PSM Librarian: Support for PSM libraries in Protégé

Papers:

Crubézy, M. and Musen, M.A. (2003). Ontologies in Support of Problem Solving. Handbook on Ontologies. S. Staab and R. Studer, Springer: 321-341. (SMI Report SMI-2003-0957). (Preprint version). (Chinese translation, kindly provided by Hanfei Bao). (This recent book chapter summarizes our approach to integrating PSMs within the Protégé methodology and tools, including the PSM Librarian).
Crubézy, M., Motta, E., Lu, W. and Musen, M.A. (2003). Configuring Online Problem-Solving Resources with the Internet Reasoning Service. IEEE Intelligent Systems 18(2): 34-42. Preprint version. (This article describes how we extend our methodology to the whole process of building an application using libraries of domains, tasks and PSMs).

Presentation Slides:

Monica Crubézy (2000). The PSM Librarian: Support for Problem-Solving in Protégé-2000. (1MB)
Monica Crubézy (2003). Problem Solving with Protégé Knowledge Bases. (0.5MB)
Monica Crubézy (2003). The PSM Librarian: Configuring Problem-solving Applications. (1.5MB)
Monica Crubézy (2003). Mappings for Mediating Data and Knowledge between Application Components. (2.2MB)
Monica Crubézy (2003). Modeling and Configuring Problem-solving Applications. (2.1MB)
Monica Crubézy (2005). Ontology-Centered, Component-Based Problem Solving. (12.1MB)

Use and Reuse of PSMs in Protégé

General methodology for component-based knowledge-system construction:

Musen, M.A. (1999). Scalable Software Architectures for Decision Support. Methods of Information in Medicine 38: 229-238. SMI Report SMI-2000-0819.
Tu, S.W., Eriksson, H., Gennari, J.H., Shahar, Y. and Musen, M.A. (1995). Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: Application of PROTÉGÉ-II to protocol-based decision support. Artificial Intelligence in Medicine 7: 257-289. SMI Report SMI-94-0520.
Musen, M.A. and Tu, S.W. (1993). Problem-solving models for generation of task-specific knowledge-acquisition tools. Knowledge-Oriented Software. J. Cuena, Elsevier: 23-50.
Musen, M.A., Tu, S.W., Eriksson, H., Gennari, J.H. and Puerta, A.R. (1993). Protégé-II: An Environment for Reusable Problem-Solving Methods and Domain Ontologies. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'93), Chambery, France. SMI Report SMI-93-0491.
Puerta, A.R., Egar, J.W., Tu, S.W. and Musen, M.A. (1992). A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. Knowledge Acquisition 4: 171-196. SMI Report SMI-91-0367.

Modeling and configuration of PSMs:

Eriksson, H., Shahar, Y., Tu, S.W., Puerta, A.R. and Musen, M.A. (1995). Task modeling with reusable problem-solving methods. Artificial Intelligence 79: 293-326. SMI Report SMI-92-0434. (Download: the Protégé PSM library that contains partial models of the PSMs described in this paper.)
Puerta, A.R., Tu, S.W. and Musen, M.A. (1993). Modeling tasks with mechanisms. International Journal of Intelligent Systems(8): 129-152.

The domain-to-method mapping approach:

Park, J.Y., Gennari, J.H. and Musen, M.A. (1998). Mappings for Reuse in Knowledge-Based Systems. In: Proceedings of the Eleventh Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Alberta. SMI Report SMI-97-0697. (Download: the current mappings ontology, derived from the one described in this paper.)
J. H. Gennari, S. W. Tu, T. E. Rothenfluh, & M. A. Musen. Mapping Domains to Methods in Support of Reuse. International Journal of Human-Computer Studies 41:399-424, 1994. SMI Report SMI-93-0497.

Reuse experiments with Propose-and-Revise:

Park, J.Y. and Musen, M.A. (1998). VM-in-Protégé: A study of software reuse. In: Proceedings of the Ninth World Congress on Medical Informatics (MEDINFO'98), Seoul, South Korea, IOS Press. SMI Report SMI-98-0756.
Smith, D.S., Park, J.Y. and Musen, M.A. (1998). Therapy planning as constraint satisfaction: A computer-based antiretroviral therapy advisor for the management of HIV. In: Proceedings of the AMIA Fall Symposium, American Medical Informatics Association, Orlando, FL. SMI Report SMI-98-0733.
Gennari, J.H., Cheng, H., Altman, R. B., Musen, M.A. (1998). Reuse, CORBA, and Knowledge-Based Systems. International Journal of Human-Computer Studies 49(4): 523-546. SMI Report SMI-97-0687.
Gennari, J.H., Altman, R.B. and Musen, M.A. (1995). Reuse with Protege-II: From Elevators to Ribosomes. In: Proceedings of the ACM-SigSoft 1995 Symposium on Software Reusability, Seattle, WA. SMI Report SMI-94-0549. (Download: the files of these propose-and-revise experiments.)

Experiments with other PSMs:

Molina, M. and Shahar, Y. (1996). Problem-solving Method Reuse and Assembly: From Clinical Monitoring to Traffic Control. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW'96), Banff, Canada. SMI Report SMI-96-0632.
Molina, M., Shahar, Y., Cuena, J. and Musen, M.A. (1996). A Structure of Problem-solving Methods for Real-time Decision Support: Modeling Approaches Using PROTEGE-II and KSM. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada. SMI Report SMI-96-0631.
Tu, S.W., Shahar, Y., Dawes, J., Winkles, J., Puerta, A.R. and Musen, M.A. (1992). A problem-solving model for episodic skeletal-plan refinement. Knowledge Acquisition 4: 197-216. SMI Report SMI-91-0364.
Shahar, Y., Tu, S.W., Das, A.K. and Musen, M.A. (1992). A Problem-Solving Architecture for Managing Temporal Data and Their Abstractions. In: Proceedings of the AAAI Workshop on Implementing Temporal Reasoning, National Conference on Artificial Intelligence (AAAI-92), San Jose, CA. SMI Report SMI-92-0418.

Generic tasks, reusable components and problem-solving methods

(References here are in historical order.)

Clancey, W.J. (1983). The Epistemology of a Rule-based Expert system: A Framework for Explanation. Artificial Intelligence 20: 215-251.
Clancey, W.J. (1985). Heuristic Classification. Artificial Intelligence 27: 289-350.
Chandrasekaran, B. (1986). Generic tasks for knowledge-based reasoning: High-level building blocks for expert system design. IEEE Expert 1(3): 23-30.
McDermott, J. (1988). Preliminary steps toward a taxonomy of problem-solving methods. Automatic knowledge for acquisition for expert systems. S. Marcus, Kluwer Academic Publishers, Boston: 225-54.
Steels, L. (1990). Components of expertise. AI Magazine 11: 30-49.
Puppe, F. (1993). Systematic Introduction to Expert Systems, Knowledge Representations and Problem-Solving Methods. Springer-Verlag.
Forbus, K.D. and Kleer, J.D. (1993). Building Problem Solvers. The MIT Press.
Akkermans, H., Wielinga, B. and Schreiber, G. (1994). Steps in constructing problem-solving methods. In: Proceedings of the Eighth Banff Knowledge Acquisition for Knowledge-Bases Systems Workshop (KAW'94), Banff, CA.
Stefik, M. (1995). Introduction to Knowledge Systems. San Francisco, CA. Morgan Kaufmann.
Fensel, D. and Groenboom, R. (1997). Specifying knowledge-based systems with reusable components. In: Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering (SEKE-97), Madrid, Spain.
Motta, E. (1999). Reusable Components for Knowledge Modelling: Principles and Case Studies in Parametric Design. Amsterdam. IOS Press.
Fensel, D. (2000). Problem-Solving Methods: Understanding, Description, Development, and Reuse. Springer-Verlag.

Modeling (libraries of) problem-solving methods

Methodologies and frameworks:

UPML: The Uniform Problem-solving Method development Language. ALSO: Fensel, D., Motta, E., van Harmelen, F., Benjamins, V.R., Crubézy, M., Decker, S., Gaspari, M., Groenboom, R., Grosso, W., Musen, M.A., Plaza, E., Schreiber, G., Studer, R. and Wielinga, R. (2003). The Unified Problem-solving Method Development Language UPML. Knowledge and Information Systems Journal (KAIS) 5(1). (Download: the Protégé-UPML editor and the example diagnosis-by-search PSM library.)
The Operational Conceptual Modeling Language (OCML). (Download: a preliminary support for UPML-OCML libraries.)
The CommonKADS methodology.

Formal and semi-formal specifications:

Gennari, J. and Ackerman, M. (1999). Extra-Technical Information for Method Libraries. In: Proceedings of the Twelfth Banff Workshop on Knowledge Acquisition, Modeling, and Management (KAW'99), Banff, Alberta.
Swartout, W., Gil, Y. and Valente, A. (1999). Representing Capabilities of Problem-Solving Methods. In: Proceedings of the Workshop on Ontologies and Problem-Solving Methods, International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden.
Gennari, J.H., Grosso, W. and Musen, M.A. (1998). A method-description language: An initial ontology with examples. In: Proceedings of the Eleventh Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), Banff, Canada. SMI Report SMI-97-0695. (Download: the Protégé PSM library that contains some of the PSM models derived from the descriptions in this paper.)
Angele, J., Fensel, D., Landes, D. and Studer, R. (1998). Developing Knowledge-Based Systems with MIKE. Journal of Automated Software Engineering 5(4): 389-418.
Chandrasekaran, B., Josephson, J.R. and Benjamins, V.R. (1998). Ontology of Tasks and Methods. In: Proceedings of the Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), Banff, Canada.
Breuker, J.A. (1997). Problems in indexing problem solving methods. In: Proceedings of the Workshop on Problem Solving Methods for Knowledge Based Systems, International Joint Conference on Artificial Intelligence (IJCAI'97), Nagayo, Japan.
Fensel, D., Eriksson, H., Musen, M.A. and Studer, R. (1996). Conceptual and Formal Specifications of Problem-Solving Methods. International Journal of Expert Systems 9(4): 507-532. SMI Report SMI-96-0602.

Adapter components:

Fensel, D., Motta, E., Decker, S. and Zdrahal, Z. (1997). Using Ontologies For Defining Tasks, Problem-Solving Methods and Their Mappings. In: Proceedings of the European Conference on Knowledge Acquisition, Modeling and Management (EKAW'97), Springer-Verlag, Berlin.
Domain-to-method mapping relations in Protégé.
Fensel, D. and Straatman, R. (1998). The Essence of Problem-Solving Methods: Making Assumptions to Gain Efficiency. International Journal of Human-Computer Studies 48(2): 181-215.
Fensel, D. and Motta, E. (2001). Structured Development of Problem Solving Methods. IEEE Transactions on Knowledge and Data Engineering 13(6): 913-932.

The Propose-and-Revise experiments

Original descriptions of the Propose-and-Revise PSM and experiments:

Marcus, S., Stout, J. and McDermott, J. (1988). VT: An expert elevator designer that uses knowledge-directed backtracking. AI Magazine 9(1): 95-112.
T. E. Rothenfluh, J. H. Gennari, H. Eriksson, A. R. Puerta, S. W. Tu, & M. A. Musen. Reusable Ontologies, Knowledge-Acquisition Tools, and Performance Systems: PROTEGE-II Solutions to Sisyphus-2. 8th Banff Knowledge Acquisition for Knowledge-Based Workshop, Banff, Alberta, 43-1 to 43-30. 1994. SMI Report SMI-93-0502.
The "Sisyphus" knowledge-acquisition benchmark experiments. ALSO: Schreiber, A.T. and Birmingham, W.P. (1996). Editorial: the Sisyphus-VT initiative. International Journal of Human-Computer Studies 44(3/4): 275-280. (Special issue on the Sisyphus-II experiment).

Reuse experiments with Propose-and-Revise in Protégé

Back to top

Libraries of problem-solving Methods

Motta, E., Rajpathak, D., Zdrahal, Z. and Roy, R. (2002). The Epistemology of Scheduling Problems. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), Lyon, France, IOS Press, Amsterdam.
Anjewierden, A. (2002). A library of Document Analysis Components. Deliverable 2b, IBROW Project IST-1999-19005: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web.
Lopez-Sanchez, M. and Cobo, O.L. (2000). Library for Information Agents: A Multi-Agent System for Information Search. Deliverable 4, IBROW Project IST-1999-19005: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web.
Benjamins, V.R., Cobo, J.M.L., Wielinga, B.J. and Duineveld, A.J. (2000). A Library of Components for the Domain of Knowledge Management. Deliverable 2, IBROW Project IST-1999-19005: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web.
Motta, E. and Lu, W. (2000). A Library of Components for Classification Problem Solving. Deliverable 1, IBROW Project IST-1999-19005: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web. (Download: the corresponding Protégé-UPML-OCML classification library.)
Motta, E., Gaspari, M. and Fensel, D. (1999). UPML Specification of a Parametric Design Library. Deliverable 1.1 - Chapter 4, ESPRIT Project 27169 IBROW3: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web.
Blythe, J., and Gil, Y. (1999). A problem-solving method for plan evaluation and critiquing. In: Proceedings of the 12th Banff Workshop on Knowledge Acquisition, Modeling, and Management (KAW'99), Banff, Alberta.
Valente, A., Benjamins, V.R. and Nunes de Barros, L. (1998). A library of system-derived problem-solving methods for planning. International Journal of Human-Computer Studies 48(4): 417-447.
Motta, E., and Zdrahal, Z. (1998). 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: 437 - 470.
The IBROW project. ALSO: Benjamins, V.R., Plaza, E., Motta, E., Fensel, D., Studer, R., Wielinga, R., Schreiber, G., Zdrahal, Z. and Decker, S. (1998). An intelligent brokering service for knowledge-component reuse on the World-Wide Web. In: Proceedings of the Eleventh Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), Banff, Canada.
Breuker, J.A. and van de Velde, W., Eds. (1994). The CommonKADS Library for Expertise Modeling. Amsterdam, IOS Press.
Benjamins, V.R. (1993). Problem Solving Methods for Diagnosis, University of Amsterdam. ALSO: Benjamins, V.R. (1995). Problem-Solving Methods for Diagnosis and their Role in Knowledge Acquisition. International Journal of Expert Systems: Research & Applications 8(2): 93-120.

Back to PSM Librarian home