A Graphical Interactive Tool for KBS Maintenance

  • Frans Coenen
  • Trevor Bench-Capon


Although KBSs are now well established, very little work has been carried out concerning the maintenance of these systems. In this paper a KBS maintenance tool is described designed to assist maintenance engineers in the task of maintaining the Rule Bases (RBs) of KBSs. The tool is directed at KBSs built using an intermediate representation, between the source and the final Rule base, which is isomorphic with the source i.e. that reflects the structure of the source data. Essentially, the Datamap tool described allows the maintenance engineer to navigate round the intermediate representation to identify suspect Rules. This is achieved using two directed biparteid graphs which graphically display the connections between elements within individual Rules and the connections between the Rules themselves. In addition a number of facilities are provided to allow the user to interact with the graphical displays and obtain answers to questions concerning KB maintenance. These facilities support maintenance activities where judgements are required on behalf of the maintenance engineer.


Knowledge Engineer Intermediate Representation Class Hierarchy Individual Rule Root Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1] Bench-Capon, T.J.M. & Coenen.Practical Application of KBS To Law: The Crucial Role of Maintenance in van Noortwijk, C., Schmidt, A.H.J. & Winkels, R.G.F. (Eds)
    Legal Knowledge Based Systems: Aims for Research and Development, Koninklijke Vermande BV, pp 5–17, 1991.Google Scholar
  2. [2]
    Swanson, E.B. The Dimensions of Maintenance. Proceedings, 2nd International Conference on Software Engineering, IEEE, Oct. 1976.Google Scholar
  3. [3]
    Rousett, M. On The Consistency of Knowledge Bases: The COVADIS System. Proceedings of ECAI 1988.Google Scholar
  4. [4]
    Davis, R. Interactive Transfer of Expertise. In Buchannan, B.G. & Shortliffe, E.H. Rule-Based Expert Systems: The MYCIN Experiments of The Stanford Heuristic Programming Project, 1984. Addison-Wesley, 1984.Google Scholar
  5. [5]
    Routen, T.W. & Bench-Capon, T.J.M. Hierarchical Formalisations. Forthcoming in International Journal of Man-Machine Studies, 1991.Google Scholar
  6. [6]
    Storrs, G.E. & Burton, C.P. KANT, A Knowledge Analysis Tool. ICL Technical Journal, Vol 6, No 3, May 1989.Google Scholar
  7. [7]
    Forder, J.M. & Taylor, A.D. The Local Office System. Forthcoming in Bench-Capon, T.J.M. (Ed), Knowledge based Systems for Legal Applications. Academic Press, pp 139–164, 1991.Google Scholar
  8. [8]
    Bench-Capon, T.J.M. Deep Models, Normative Reasoning and Legal Expert Systems Proceedings of the Second International Conference on AI and Law, Vancouver. ACM Press, 1989.Google Scholar
  9. [9]
    Bench-Capon, T.J.M. & Forder, J.M. Knowledge Representation for Legal Applications. Forthcoming in Bench-Capon, T.J.M. (Ed), Knowledge based Systems for Legal Applications. Academic Press, pp 245–264, 1991.Google Scholar
  10. [10]
    Coenen, F. and Bench-Capon, T.J.M. Specification For Redundancy and Subsumption ID Tool. Make Report 3/91, Deliverable D5a[1]. Department of Computer Science, Liverpool University, 1991.Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Frans Coenen
    • 1
  • Trevor Bench-Capon
    • 1
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Personalised recommendations