Geodesic
An Analysis of Knowledge Base Maintenance
Computer Science and Information Systems, Tome 2 (2005) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Knowledge base maintenance is managed by constructing a formal model. In this model the representation of each chunk of know- ledge encapsulates the knowledge in a set of declarative rules, each of which in turn encapsulates the knowledge in a set of imperative programs. In this model an "item" is the unit of knowledge representation. Items are at a higher level of abstraction than rules. Understanding what has to be done to maintain the integrity of an item leads to a specification of the modifications to the set of programs that implement it. An analysis of the maintenance of the formal model is achieved by introducing maintenance links. Analysis of the maintenance links shows that they are of four different types. The density of the maintenance links is reduced by transforming that set into an equivalent set. In this way the knowledge base maintenance problem is analysed and simplified. A side benefit of knowledge items as a formalism is that they contain knowledge constraints that protect the knowledge from unforeseen modification. 
@article{CSIS_2005_2_1_a1,
     author = {John Debenham},
     title = {An {Analysis} of {Knowledge} {Base} {Maintenance}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {2},
     number = {1},
     year = {2005},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2005_2_1_a1/}
}
TY  - JOUR
AU  - John Debenham
TI  - An Analysis of Knowledge Base Maintenance
JO  - Computer Science and Information Systems
PY  - 2005
VL  - 2
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2005_2_1_a1/
ID  - CSIS_2005_2_1_a1
ER  - 
%0 Journal Article
%A John Debenham
%T An Analysis of Knowledge Base Maintenance
%J Computer Science and Information Systems
%D 2005
%V 2
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2005_2_1_a1/
%F CSIS_2005_2_1_a1
John Debenham. An Analysis of Knowledge Base Maintenance. Computer Science and Information Systems, Tome 2 (2005) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2005_2_1_a1/