Reuse: Revisiting Sisyphus-VT

  • Derek Sleeman
  • Trevor Runcie
  • Peter Gray
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4248)


Reuse has long been a major goal of the Knowledge Engineering community. The focus of this paper is the reuse of domain knowledge acquired for an initial problem solver, with a further problem solver. For our analysis we chose a knowledge base system written in CLIPS based on the propose-and-revise (PnR) problem solver, and which had a lift/elevator knowledge base (KB). Given the nature of the problem solver, the KB contained 4 components, namely an ontology, procedural statements which specify how the artifact, the lift, could be enhanced/modified, a set of constraints to be satisfied, and a set of fixes to be applied when constraint violations occurred. These 4 components were first extracted manually, and were used with both an Excel spreadsheet and a constraint problem solver (ECLiPSe) to solve a range of tasks. The next phase was to implement ExtrAKTor which extracts the same 4 knowledge sources virtually automatically from the CLIPS knowledge base (held by Protégé), and transforms these so that they are usable with a number of problem solvers. To date Excel & ECLiPSe have been selected, and again we have demonstrated that the resulting systems are able to solve a variety of lift configuration tasks. This is in contrast to earlier work which produced abstract formulations of the problem but which were unable to perform reuse of actual knowledge bases.


Domain Knowledge Problem Solver Constraint Satisfaction Problem Knowledge Source Knowledge Engineer 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benjamins, R., Fensel, D.: Editorial: problem-solving methods. IJHCS 49, 305–313 (1998)Google Scholar
  2. 2.
    Bennett, J., Engelmore, R.: Experience using EMYCIN in Rule-Based Expert Systems. AISB Journal Special Issue on Agent Technology 1(1), 314–328 (1984)Google Scholar
  3. 3.
    Breuker, J., Van de Velde, W.: The CommonKADS Library for Expertise Modeling. IOS Press, Amsterdam (1995)Google Scholar
  4. 4.
    Clancey, W.J.: Heuristic Classification. Artificial Intelligence 27, 289–350 (1995)CrossRefGoogle Scholar
  5. 5.
    Fensel, D., Motta, E.: Structured Development of Problem Solving Methods. In: 11th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada (1998)Google Scholar
  6. 6.
    Ding, L., et al.: Swoogle: A Search and Metadata Engine for the Semantic Web. In: Thirteenth ACM Conference on Information and Knowledge Management, Washington DC (2004)Google Scholar
  7. 7.
    Marcus, S., Stout, J., McDermott, J.: VT: An Expert Designer That Uses Knowledge-Based Backtracking. AI Magazine, 95–111 (1988)Google Scholar
  8. 8.
    McDermott, J.: Preliminary Steps Toward a Taxonomy of Problem-Solving Methods. In: Automatic Knowledge for Acquisition for Expert Systems. Artificial Intelligence, pp. 225–254 (1998)Google Scholar
  9. 9.
    Runcie, T.: PhD Thesis (in Preparation). PhD thesis, University of Aberdeen (August 2006)Google Scholar
  10. 10.
    Runcie, T., Sleeman, D., Gray, P.M.D.: Pragmatic Approaches to Knowledge ReUSe: the Sisyphus-VT Case Study. Technical report (May 2006)Google Scholar
  11. 11.
    Schreiber, A.T., Birmingham, W.P.: The ”Sisyphus” knowledge-acquisition benchmark experiments. IJHCS 44(3/4), 275–280 (1996)Google Scholar
  12. 12.
    Schreiber, G., et al.: CML: the CommonKADS conceptual modeling language. In: Steels, L., Van de Velde, W., Schreiber, G. (eds.) EKAW 1994. LNCS, vol. 867. Springer, Heidelberg (1994)Google Scholar
  13. 13.
    Smith, B.: A Tutorial on Constraint Programming. Technical Report 95.14, School of Computing Research Report, University of Leeds (April 1995)Google Scholar
  14. 14.
    Thomas, E.: OntoSearch: a Semantic Web Service to Support the Reuse of Ontologies. In: Artificial Intelligence (2004)Google Scholar
  15. 15.
    Valente, A., Breuker, J., Van de Velde, W.: The CommonKADS library in perspective. IJHCS 49, 391–416 (1998)Google Scholar
  16. 16.
  17. 17.
    Swoogle (March 2006),
  18. 18.
    OntoSearch (March 2006),
  19. 19.
  20. 20.
    Protege VT Sisyphus Ontology (August 2004),
  21. 21.
    Sisyphus II (December 2005),
  22. 22.
  23. 23.
  24. 24.
    Yost, G.: Sisyphus 1993 - Configuring Elevator Systems. Technical report, SMI (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Derek Sleeman
    • 1
  • Trevor Runcie
    • 1
  • Peter Gray
    • 1
  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeen, ScotlandUK

Personalised recommendations