Skip to main content
SpringerLink
Log in

Maintaining knowledge with a formal model

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

Knowledge base maintenance is managed by constructing a formal model. In this model the representation of each chunk of knowledge 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kern-Isberner G (1999) Postulates for conditional beief revision. In: Proceedings international joint conference on artificial intelligence IJCAI’99, Stockholm, Sweden, pp. 186–191

  2. Debenham J (2001) Why use a unified knowledge representation? In: Proceedings fourteenth international conference on industrial and engineering applications of artificial intelligence and expert systems IEA/AIE-2001, Budapest, Hungary

  3. Iglezakis I, Reinartz T, Roth-Berghofer T (2004) Maintenance memories: Beyond concepts and techniques for case base maintenance. In advances in case-based reasoning. Springer-Verlag, pp. 227–241

  4. Debenham J (1998) Knowledge engineering—Unifying knowledge base and database design. Springer-Verlag

  5. Mayol E, Teniente E (1999) Addressing the process of integrity maintenance. In: Proceedings Tenth Intenational Conference on Database and Expert Systems DEXA’99, Florence, Italy, pp. 270–281

  6. Katsuno K, Mendelzon A (1991) On the difference between updating a knowledge base and revising it. In: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning KR’91, Morgan-Kaufmann

  7. Barr V (1999) Applying reliability engineering to expert systems. In: proceedings 12/th International FLAIRS conference, pp. 494–498

  8. Jantke K, Herrmann J (1999) Lattices of knowledge in intelligent systems validation. In: Proceedings 12/th International FLAIRS conference, Florida, US, pp. 499–505

  9. Darwiche A (1999) Compiling knowledge into decomposable negation normal form. In: Proceedings International Joint Conference on Artificial Intelligence IJCAI’99, Stockholm, Sweden, pp. 284–289

  10. Debenham J (2003) A rigorous approach to knowledge base maintenance. In: Proceedings Sixteenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-2003, Loughborough, UK,pp. 219–228

  11. Roth-Berghofer T (2003) Knowledge maintenace of case-based reasoning systems–the SIAM methodology. Zeitschrift KI—Kunstliche Intelligenz 17:55–57

    Google Scholar 

  12. Debenham J (2002) Fuzzy degrees of knowledge integrity. In: Proceedings 9’th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU-2002. pp. 1391–1398

  13. Johnson G, Santos E (2000) Generalizing knowledge representation rules for acquiring and validating uncertain knowledge. In: Proceedings 13’th International FLAIRS conference, Florida, US, pp. 186–191

  14. Ramirez J, de Antonio A (2000) Semantic verification of rule-based systems with arithmetic constraints. In: Proceedings 11’th International Conference on Database and Expert Systems DEXA/2000, London, UK, pp. 437–446

Download references

Author information

Authors and Affiliations

  1. Faculty of IT, University of Technology, Sydney, NSW, Australia

    John Debenham

Authors
  1. John Debenham
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John Debenham.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Debenham, J. Maintaining knowledge with a formal model. Appl Intell 24, 205–218 (2006). https://doi.org/10.1007/s10489-006-8512-9

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10489-006-8512-9

Keywords

Search

Navigation