Skip to main content

Reuse: Revisiting Sisyphus-VT

  • Conference paper
Managing Knowledge in a World of Networks (EKAW 2006)

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

Abstract

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.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benjamins, R., Fensel, D.: Editorial: problem-solving methods. IJHCS 49, 305–313 (1998)

    Google Scholar 

  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. Breuker, J., Van de Velde, W.: The CommonKADS Library for Expertise Modeling. IOS Press, Amsterdam (1995)

    Google Scholar 

  4. Clancey, W.J.: Heuristic Classification. Artificial Intelligence 27, 289–350 (1995)

    Article  Google Scholar 

  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. 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. Marcus, S., Stout, J., McDermott, J.: VT: An Expert Designer That Uses Knowledge-Based Backtracking. AI Magazine, 95–111 (1988)

    Google Scholar 

  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. Runcie, T.: PhD Thesis (in Preparation). PhD thesis, University of Aberdeen (August 2006)

    Google Scholar 

  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. Schreiber, A.T., Birmingham, W.P.: The ”Sisyphus” knowledge-acquisition benchmark experiments. IJHCS 44(3/4), 275–280 (1996)

    Google Scholar 

  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. Smith, B.: A Tutorial on Constraint Programming. Technical Report 95.14, School of Computing Research Report, University of Leeds (April 1995)

    Google Scholar 

  14. Thomas, E.: OntoSearch: a Semantic Web Service to Support the Reuse of Ontologies. In: Artificial Intelligence (2004)

    Google Scholar 

  15. Valente, A., Breuker, J., Van de Velde, W.: The CommonKADS library in perspective. IJHCS 49, 391–416 (1998)

    Google Scholar 

  16. AKT (August 2004), http://www.aktors.org/publications/reuse

  17. Swoogle (March 2006), http://swoogle.umbc.edu

  18. OntoSearch (March 2006), http://www.onsosearch.org

  19. CLIPS (December 2005) http://www.ghg.net/clips/CLIPS.html

  20. Protege VT Sisyphus Ontology (August 2004), ftp://ftp-smi.stanford.edu/pub/protege/S2-WFW.ZIP

  21. Sisyphus II (December 2005), http://ksi.cpsc.ucalgary.ca/KAW/Sisyphus

  22. PSMTab (December 2005), http://protege.stanford.edu/plugins/psmtab/PSMTab.html

  23. ECLiPSe (April 2006), http://eclipse.crosscoreop.com/eclipse

  24. Yost, G.: Sisyphus 1993 - Configuring Elevator Systems. Technical report, SMI (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sleeman, D., Runcie, T., Gray, P. (2006). Reuse: Revisiting Sisyphus-VT. In: Staab, S., Svátek, V. (eds) Managing Knowledge in a World of Networks. EKAW 2006. Lecture Notes in Computer Science(), vol 4248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11891451_9

Download citation

  • DOI: https://doi.org/10.1007/11891451_9

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46365-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics