MAKE

(Maintenance Assistance for Knowledge Engineers)


1. Overview

The MAKE project was a SERC funded, collaborative project between ICL (Manchester), British Coal (Sheffield) and the University of Liverpool. The project was concerned with the development of formal techniques to maintain KBS, especially legal KBS. The research resulted in the Make Authoring and Development Environment (MAUDE); a KBS development system designed to encourage the production of maintainable KBS through a process of "hypertext-like" links and the concept of isomorphism. It also included a number of maintenance support tools developed as part of the project.


2. The Research Team (Liverpool Contingent)

  1. Tevor Bench-Capon
  2. Frans Coenen

3. Published Papers

3.1 Books

  1. Coenen, F.P. and Bench-Capon, T.J.M. (1993). Maintenance of Knowledge Based Systems: Theory, Tools and Techniques. Academic Press, London.

3.2 Contributions to books

  1. Bench-Capon, T.J.M. and Coenen, F.P. (1994). The Maintenance of Legal Knowledge Based Systems. In Carr, I. and Williams, K. (Eds.), Computers and Law, Intellect Books, Oxford, pp209-224.

3.3 Refereed journal papers

  1. Coenen, F.P. and Bench-Capon, T.J.M. (1992). Maintenance and Maintainability in Regulation Based KBS. ICL Technical Journal, Vol 9, No 3, May, pp67-84.
  2. Bench-Capon, T.J.M. and Coenen, F.P. (1992). The Maintenance of Legal Knowledge Based Systems. Artificial Intelligence Review 6, pp129-143.
  3. Bench-Capon, T.J.M. and Coenen, F.P. (1992). Isomorphism and Legal Knowledge Based Systems. Artificial Intelligence and Law, Vol 1, No 1, pp65-86.
  4. Bench-Capon, T.J.M. and Coenen, F.P. (1992). Maintenance Tools for Knowledge Based Systems: The MAKE Project. Expert Systems with Applications, Vol 5, pp267-273.
  5. Bench-Capon, T.J.M, Coenen, F.P., Paton, R, Nwana, H. and Shave, M.J.R. (1993). Two Aspects of the validation and verification of Knowledge based Systems. IEEE Expert, Vol 8, No 3, pp76-81 (revised version of paper with same title presented at EUROVAV'91).

3.4 Refereed conference papers

  1. Bench-Capon, T.J.M and Coenen, F.P. (1990). Practical Application of KBS to Law: The Crucial Role of Maintenance. In van Noortwijk, C., Schmidt, A.H.J. and Winkels, R.G.F. (Eds), Legal Knowledge Based Systems, Aims for Research and Development (proceedings JURIX'90), Koninklijke Vermande BV, Lelystadt, Netherlands, pp5-17.
  2. Bench-Capon, T.J.M. and Coenen, F.P. (1991). Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. Proceedings Third International Conference on AI and Law (ICAIL'91), ACM Press, New York, pp62-68.
  3. Coenen, F.P., Bench-Capon, T.J.M. and Smith. M.J. (1991). KBS Development Using X Windows: The Made Development methodology. Proceedings of the UK Unix User Group Summer Conference (UKUUG'91), The University of Liverpool, pp64-72.
  4. Bench-Capon, T.J.M, Coenen, F.P., Paton, R, Nwana, H. and Shave, M.J.R. (1991). Two Aspects of the Validation and Verification of Knowledge based Systems. Proceedings EUROVAV'91, Logica, Cambridge, pp125-132 (revised version published in IEEE Expert).
  5. Coenen, F.P. and Bench-Capon, T.B.C (1991). A Graphical Interactive Tool for KBS Maintenance. In Karagiannis, D. (Ed), Database and Expert Systems Applications (proceedings DEXA'91), Springer-Verlag, Vienna, pp166-171.
  6. Bench-Capon, T.J.M. and Coenen, F.P. (1991). The Make Project: Maintenance Tools For Knowledge Based Systems. Proceedings World Congress on Expert Systems (WCES'91), Pergamon Press, New York, pp1030-1036.
  7. Coenen, F.P. and Bench-Capon, T.J.M. (1992). KBS Maintenance Validation Using Simulation. In Grierson, D.E., Rzevski, G. and Adey, R.A. (Eds), Application of Artificial Intelligence in Engineering VII (proceedings AIENG'92), Computational Mechanics Publications & Elsevier Applied Science, London, pp215-228.
  8. Coenen, F.P. and Bench-Capon, T.J.M. (1992). Maintenance and Maintainability in Regulation Based KBS. In Tjoa, A.M. and Ramos, I. (Eds), Database and Expert Systems Applications (Proceedings DEXA'92), Springer-Verlag, Vienna, pp415-420.


Created and maintained by Frans Coenen. Last updated 04 June 1999