Abstract
For the practical use of KBSs to become widespread in the 1990s sound software engineering principles need to be followed. One important aspect of this is maintainability. In this paper some of the results of the Maintenance Assistance for Knowledge Engineers (MAKE) project are described. The aim of the project is to address the important role of maintenance in KBSs and in particular KBSs based on written sources of which legal and quasi legal systems provide the prime example. These systems can be viewed at several different levels, the source level, the knowledge representation level and the target executable representation level. It is suggested that the key to the maintenance of such systems is to maintain the intermediate knowledge representation rather than patching the code used in the target executable representation. Maintenance is thus a matter of knowledge representation rather than programming. Further, maintenance can be greatly enhanced by using a suitable development environment and methodology supported by a set of maintenance tools that focuses on this intermediate representation and its relation to the sources to increase understandability and hence adaptability.
One such environment, the Make Authoring and Development Environment (MAUDE), is described in this paper. This has been developed as part of the MAKE project and is designed to encourage the production of systems which can be maintained through an intermediate representation. MAUDE is supported by a suite of maintenance tools aimed at increasing understandability of the intermediate representation and to carry out various validation, verification and house keeping tasks to enhance maintainability. The MAKE suite of maintenance tools are also described. Both the MAUDE environment and methodology and tools have been used to produce a pilot KBS for British Coal’s Insurance and Pensions Division. The system is currently under going trials but some encouraging results have been received indicating that a sound footing has been established for further work.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Duffin, P.H. (ed). Knowledge Based Systems: Applications in Administrative Government. Ellis Horwood, 1988.
Bratley, P., Femont, J., MacKaay, E. and Poulin, D. Coping With Change. Proceedings of the 3rd International Conference on AI and Law, Oxford, ACM Press, pp 53–61, 1991.
Bench-Capon, T.J.M and Coenen, F.P. Practical Application of KBS to Law: The Crucial Role of Maintenance. In van Noortwijk, C., Schmidt, A.H.J., Winkels, R.G.F. Legal Knowledge Based Systems, Aims for Research and Development. Koninklijke Vermande BV, Lelystadt, Netherlands, p5-17, 1991.
Bench-Capon, T.J.M. and Coenen, F. The Make Project: Maintenance Tools For Knowledge Based Systems. In Liebowitz, J. (1991). Expert Systems World Congress Proceedings, Volume 2, Pergamon Press, p 1030-1036, 1991.
Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P. and Cory, H. T. The British Nationality Act as a Logic Program. Communications ACM, Vol. 29, No. 5, pp 370–386, 1983.
Bench-Capon, T.J.M., Robinson, G.O., Routen, T.W., and Sergot, M.J. Logic Programming for Large Scale applications in Law: A Formalisation of Supplementary Benefit Legislation. Proceedings of the 1st International Conference on AI and Law, Boston, ACM press, pp 190–198, 1987.
Spirgel-Sinclair, S. and Trevena, G. The Retirement Pension Forecast and Advice System. In Duffin P. H., 1988, op cit. pp 34-40.
Susskind, R. and Tindall, C. VATIA: Ernst and Whinnev’s VAT Expert System, Proceedings of the Fourth International Expert Systems Conference, London, 1988.
Cutts, G. Structured System Analysis and Design Methodology. Blackwell Scientific, 2nd Edition, 1991.
Jackson, M.A. System Development. Prentice Hall, 1983.
Orr, K.T. Structured System Development. Yourdon Press, New York, 1977.
Wielinga, B.J., Breuker, J.A. and van Someren, M.W. The KADS System, Functional Description. Esprit Project P1098 Deliverable T1.1, Department of Social Science Informatics, University of Amsterdam, 1986.
Hickman, F. Knowledge Based Systems Analysis: A Pragmatic Introduction to the KADS Methodology. Ellis Horwood, 1989.
Storrs, G.E. and Burton, C.P. KANT, A Knowledge Analysis Tool. ICL Technical Journal, Vol 6, No 3, May, p 572–581, 1989.
Bench-Capon, T.J.M. and Coenen, F.P. Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. In Proceedings of the 3rd International Conference on AI and Law, Oxford, ACM press, pp 62–68, 1991.
Bench-Capon, T.J.M and Forder, J.M. Knowledge Representation for Legal Applications. In Bench-Capon, T.J.M. (ed), Knowledge Based Systems and Legal Applications, Academic Press, pp 245-264, 1991.
Coenen, F. and Bench-Capon, T.J.M. Maintenance and Maintainability in Regulation Based KBS. ICL Technical Journal, May, p67-84, 1992.
Swanson, E.B. The Dimensions of Maintenance. Proc. 2nd Intl. Conf. Software Engineering, IEEE, pp 492-497, 1976.
Coenen, F.P. and Bench-Capon, T.J.M. A graphical Interactive Tool for KBS Maintenance. In Karagiannis, D. (ed). Database and Expert Systems Applications. Springer-Verlag, p 166-171, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Coenen, F., Bench-Capon, T. (1992). Building Knowledge Based Systems for Maintainability. In: Tjoa, A., Ramos, I. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7557-6_71
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7557-6_71
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82400-9
Online ISBN: 978-3-7091-7557-6
eBook Packages: Springer Book Archive