A Rigorous Approach to Knowledge Base Maintenance

Debenham, JK

A Rigorous Approach to Knowledge Base Maintenance

Debenham, JK

Permalink

Publisher:: Springer-Verlag Berlin Heidelberg
Publication Type:: Conference Proceeding
Citation:: Developments in Applied Artificial Intelligence. 16th International Conference on Industrial and Engineering Applications of Atrificial Intelligence and Expert Systems, IEA/AIE 2003 Proceedings, 2003, pp. 219 - 228
Issue Date:: 2003-01

Closed Access

	Filename	Description	Size
	2003002064.pdf		592.92 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Debenham, JK	en_US
dc.contributor.editor	Chung, PWH	en_US
dc.contributor.editor	Hinde, C	en_US
dc.contributor.editor	Ali, M	en_US
dc.date	2003-06-23	en_US
dc.date.issued	2003-01	en_US
dc.identifier.citation	Developments in Applied Artificial Intelligence. 16th International Conference on Industrial and Engineering Applications of Atrificial Intelligence and Expert Systems, IEA/AIE 2003 Proceedings, 2003, pp. 219 - 228	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/10453/2268
dc.description.abstract	A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine which parts of that model should be checked for correctness in response a change in the application. The maintenance problem is not computable for first-order knowledge bases. Two things in the conceptual model are joined by a maintenance link if a modification to one of them means that the other must be checked for correctness, and so possibly modified, if consistency of the model is to be preserved. In a unified conceptual model for first-order knowledge bases the data and knowledge are modelled formally in a uniform way. A characterisation is given of four different kinds of maintenance links in a unified conceptual model. Two of these four kinds of maintenance links can be removed by transforming the conceptual model. In this way the maintenance problem is simplified.	en_US
dc.publisher	Springer-Verlag Berlin Heidelberg	en_US
dc.relation.ispartof	Developments in Applied Artificial Intelligence. 16th International Conference on Industrial and Engineering Applications of Atrificial Intelligence and Expert Systems, IEA/AIE 2003 Proceedings	en_US
dc.relation.ispartof	International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	A Rigorous Approach to Knowledge Base Maintenance	en_US
dc.type	Conference Proceeding
utslib.location	Germany	en_US
utslib.location.activity	Loughborough, UK	en_US
utslib.for	080105 Expert Systems	en_US
utslib.for	080101 Adaptive Agents and Intelligent Robotics	en_US
dc.location.activity	Loughborough, UK	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group	/University of Technology Sydney/Strength - AAI - Advanced Analytics Institute Research Centre
utslib.copyright.status	closed_access
pubs.consider-herdc	true	en_US
pubs.place-of-publication	Germany	en_US
pubs.start-date	2003-06-23	en_US

Abstract:

A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine which parts of that model should be checked for correctness in response a change in the application. The maintenance problem is not computable for first-order knowledge bases. Two things in the conceptual model are joined by a maintenance link if a modification to one of them means that the other must be checked for correctness, and so possibly modified, if consistency of the model is to be preserved. In a unified conceptual model for first-order knowledge bases the data and knowledge are modelled formally in a uniform way. A characterisation is given of four different kinds of maintenance links in a unified conceptual model. Two of these four kinds of maintenance links can be removed by transforming the conceptual model. In this way the maintenance problem is simplified.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/2268