Skip to main content
SpringerLink
Log in

A review of Sisyphus 91 & 92: Models of problem-solving knowledge

  • Problem Solving Models
  • Conference paper
  • First Online:
Knowledge Acquisition for Knowledge-Based Systems (EKAW 1993)

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

Abstract

We summarize the papers submitted for the methods-of-problem-solving part of Sisyphus in 1991 and 1992. We describe a three-dimensional framework to situate and compare the different approaches that were used to solve the office assignment problem. We analyze the approaches by highlighting the building blocks they provide to the model creator, their focus (i.e., conceptualisation or implementation), and the support they provide for special activities in the development cycle for knowledge-based systems.

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.

References

  1. Dean Allemang. Modeling a configuaration problem with Generic Tasks. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 630 of Technical Report, St. Augustin 1, 1991. GMD.

    Google Scholar 

  2. Dean Allemang and Thomas Rothenfluh. Acquiring knowledge of knowledge acquisition: A self-study of Generic Tasks. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 353–372, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  3. Jürgen Angele, Dieter Fensel, and Dieter Landes. An executable model at the knowledge level for the office assignment task. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical Report, St. Augustin, 1992. GMD.

    Google Scholar 

  4. Jürgen Angele, Dieter Fensel, Dieter Landes, and Rudi Studer. KARL: An executable language for the conceptual model. In John H. Boose and Brian R. Gaines, editors, Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 1/1–1/20, Calgary, 1991. AAAI, University of Calgary.

    Google Scholar 

  5. Nathalie Aussenac, Jean Frontin, Marie-Hélene Riviere, and Jean-Luc Soubie. A mediating representation to assist knowledge acquisition with MACAO. In John H. Boose, Brian R. Gaines, and Jean-Gabriel Ganascia, editors, Proceedings of EKAW89, pages 516–529, Paris, 1989. afcet, arc, eccai, Université Paris-Sud.

    Google Scholar 

  6. Nathalie Aussenac-Gilles and Nada Matta. Making the method of problem solving explicit with MACAO: The Sisyphus case study. In Marc Linster, editor, Sisyphus '92: Models of problem solving, volume 630 of Technical Report of GMD, St. Augustin, 1992. GMD.

    Google Scholar 

  7. R. Brachman and G.J. Schmolze. An overwiev of the KL-ONE knowledge representation system. Cognitive Science, 9(11):216–260, 1985.

    Google Scholar 

  8. Ronald J. Brachman. On the epistemological status of semantic networks. In N.V. Findler, editor, Associative Networks: Representation and Use of Knowledge by Computers, pages 3–50 50. Academic Press, New York, 1979.

    Google Scholar 

  9. A. M. Burton, N. R. Shadbolt, G. Rugg, and A. Hedgecock. The efficacy of knowledge elicitation techniques: A comparison across domains and levels of expertise. Knowledge Acquisition, 2(2):167–178, June 1990.

    Google Scholar 

  10. B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 1990.

    Google Scholar 

  11. Thomas Christaller, Franco di Primio, Uwe Schnepf, and Angi Voß, editors. The AI workbench BABYLON. Academic Press, London, 1992.

    Google Scholar 

  12. Rose Dieng. Models of problem solving for knowledge acquisition: Modelling Sisyphus'91 office assignment problem with 3DKAT. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 663, St. Augustin, 1991. GMD.

    Google Scholar 

  13. Rose Dieng, Alain Giboin, Paul-Andre Tourtier, and Olivier Corby. Knowledge acquisition for explainable, multi-expert, knowledge-based design systems. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition— EKAW92, volume 599 of LNAI, pages 298–317, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  14. Uwe Drouven, Werner Karbach, and Angi Voß. Solving the office-allocation task in reflective MODEL-K. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical Report, St. Augustin, 1992. GMD.

    Google Scholar 

  15. Brian Gaines and Mildred Shaw. KWrite: Incorporating active knowledge bases in multi-media documents. In Brian Gaines, Mark Musen, and John Boose, editors, Proceedings of the 7th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, volume 1, pages 10/1–10/20, Calgary, 1992. University of Calgary.

    Google Scholar 

  16. Brian R. Gaines. The Sisyphus problem solving example through a visual language with KL-ONE-like knowledge representation. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 663 of Technical Report, St. Augustin, 1991. GMD.

    Google Scholar 

  17. Ute Gappa and Karsten Poeck. Common ground and differences of the KADS and strong-problem-solving shell approach. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 75–94, Heidelberg, 1992. Springer-Verlag.

    Google Scholar 

  18. Peter Geelen, Zsofia Ruttkay, and Jan Treur. Towards a framework to compare protocol interpretations and task specifications. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 133–152, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  19. Pieter Geelen, Zsofia Rutkay, and Jan Treur. An the (non)-brittleness of a DESIRE model. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 630 of Technical Report of GMD, St. Augustin 1, 1992. GMD.

    Google Scholar 

  20. Werner Karbach, Marc Linster, and Angi Voß. Models, methods, roles and tasks: Many labels — one idea? Knowledge Acquisition, 2(4):279–300, 1990.

    Google Scholar 

  21. Werner Karbach, Angi Voß, Ralf Schukey, and Uwe Drouven. MODEL-K: Prototyping at the knowledge level. In Proceedings of the First International Conference on Knowledge Modeling and Expertise Transfer, Sophia Antipolis, France, 1991.

    Google Scholar 

  22. M. LaFrance. The knowledge acquisition grid: A method for training knowledge engineers. Int. Journal of Man-Machine Studies, 26:245–255, 1987.

    Google Scholar 

  23. Oleg Larichev. A new approach to the solution of expert classification problems. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 283–297, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  24. Oleg Larichev and Michael Sternin. Knowledge based approach for solving the multicriteria assignment problem. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical Report of GMD, St. Augustin, 1992. GMD.

    Google Scholar 

  25. Marc Linster, editor. Sisyphus'91: Models of problem solving, volume 663 of Technical Report, St. Augustin, 1991. GMD.

    Google Scholar 

  26. Marc Linster. Linking modeling to make sense and modeling to implement systems in an operational environment. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition: EKAW92, volume 599 of LNAI, pages 55–74, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  27. Marc Linster, editor. Sisyphus'92: Models of problem solving, volume 630 of Technical Report, St. Augustin, 1992. GI, ECCAI, GMD.

    Google Scholar 

  28. Marc Linster. Using the operational modeling language OMOS to tackle the Sisyphus'92 office-planning problem. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical report of GMD, St. Augustin, 1992. GMD.

    Google Scholar 

  29. Marc Linster. Explicit and operational models as a basis for second generation knowledge-acquisition tools. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second generation expert systems, pages 477–506. Springer Verlag, 1993.

    Google Scholar 

  30. Marc Linster, Werner Karbach, Angi Voss, and Jürgen Walther. An analysis of the role of operational modeling languages in the development of knowledge-based systems. In Riichiro Mizoguchi, Hiroshi Motoda, John Boose, Brian Gaines, and Ross Quinlan, editors, Proceedings of the Second Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop JKAW'92, pages 65–88, Hatoyama, 1992. AAAI, Information Processing Society of Japan, Hitachi Advanced Research Laboratories.

    Google Scholar 

  31. Nigel Major, Han Reichgelt, and Nigel R. Shadbolt. Sisyphus problem solving using ProtoKEW. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 663 of Technical Report, St. Augustin, 1991. GMD.

    Google Scholar 

  32. John McDermott. Preliminary steps toward a taxonomy of problem-solving methods. In Sandra Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225–256. Kluwer Academic, Boston, 1988.

    Google Scholar 

  33. Mark A. Musen. Automated support for building and extending expert models. Machine Learning, 4(3, 4):347–376, 1989.

    Google Scholar 

  34. Robert Neches, Richard Fikes, Tim Finin, Thomas Gruber, Ramesh Patil, Ted Senator, and William R. Swartout. Enabling technologies for knowledge sharing. AI Magazine, 12(3):37–56, 1991.

    Google Scholar 

  35. Karsten Poeck. Solving the YQT office planning problem using the assignment shell COKE. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical Report, St. Augustin 1, 1992. GMD.

    Google Scholar 

  36. William F. Punch and B. Chandrasekaran. An investigation of the roles of problem-solving methods in diagnosis. In Proceedings of the Tenth International Workshop: Expert Systems and their Applications, pages 25–36, Avignon, France, 1990. EC2.

    Google Scholar 

  37. Guus Schreiber. Sisyphus'91: Modelling the office-assignment domain. In Marc Linster, editor, Sisyphus'91: Models of problem solving, volume 663 of Technical Report, St. Augustin 1, 1991. GMD.

    Google Scholar 

  38. Nigel R. Shadbolt. Facts, fantasies and frameworks: The design of a knowledge acquisition workbench. In Franz Schmalhofer, Gerd Strube, and Thomas Wetter, editors, Contemporary Knowledge Engineering and Cognition, Lecture Notes in Computer Science. Springer, Heidelberg, 1992.

    Google Scholar 

  39. Nigel R. Shadbolt and Bob Wielinga. Knowledge-based knowledge acquisition: The next generation of support tools. In Bob Wielinga, John Boose, Brian Gaines, Guus Schreiber, and Maarten van Someren, editors, Proceedings of EKAW90, pages 313–338, Amsterdam, 1990. University of Amsterdam, IOS Press.

    Google Scholar 

  40. Mildred L. G. Shaw. On Becoming a Personal Scientist. Computers and People Series. Academic Press, 1980.

    Google Scholar 

  41. Mildred L.G. Shaw and Brian R. Gaines. KITTEN: Knowledge initiation and transfer tools for experts and novices. International Journal of Man-Machine Studies, 27(3):251–280, 1987.

    Google Scholar 

  42. Susan Spirgi and Dieter Wenger. The knowledge-based methodology-application EMA. In Brian Gaines, Mark Musen, and John Boose, editors, Proceedings of the 7th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, volume 2, pages 27/1–27/20, Banff, 1992. AAAI, University of Calgary.

    Google Scholar 

  43. Susan Spirgi and Dieter Wenger. Modeling in EMA. In Brian Gaines, Mark Musen, and John Boose, editors, Proceedings of the 7th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, volume 2, pages 26/1–26/20, Banff, 1992. AAAI, University of Calgary.

    Google Scholar 

  44. Susan Spirgi and Dieter Wenger. Project Sisyphus: EMA approach, Version 2. In Marc Linster, editor, Sisyphus92: Models of problem solving, volume 630 of Technical Report, St. Augustin, 1992. GMD.

    Google Scholar 

  45. Xuejun Tong. Solving the Office Assignment problem with CARMEN. In Marc Linster, editor, Sisyphus '92: Models of problem solving, volume 630, St. Augustin, 1992. GMD.

    Google Scholar 

  46. Gertjan van Heijst, Peter Terpstra, Bob Wielinga, and Nigel Shadbolt. Using generalised directive models in knowledge acquisition. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 112–132, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  47. Bob Wielinga, John Boose, Brian Gaines, Guus Schreiber, and Maarten Van Someren, editors. Current Trends in Knowledge Acquisition; Proceedings of EKAW90, Frontiers in Artificial Intelligence and Applications, Amsterdam, 1990. ECCAI, IOS Press.

    Google Scholar 

  48. Bob Wielinga, Guus Schreiber, and Jost Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):5–54, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AI Research Group, DEC, 111 Locke Drive, 01752, Marlboro, MA

    Marc Linster

Authors
  1. Marc Linster
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

N. Aussenac G. Boy B. Gaines M. Linster J. -G. Ganascia Y. Kodratoff

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Linster, M. (1993). A review of Sisyphus 91 & 92: Models of problem-solving knowledge. In: Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J.G., Kodratoff, Y. (eds) Knowledge Acquisition for Knowledge-Based Systems. EKAW 1993. Lecture Notes in Computer Science, vol 723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57253-8_53

Download citation

  • DOI: https://doi.org/10.1007/3-540-57253-8_53

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57253-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation