Abstract
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly those programs in which business rules are embedded. A unified model of knowledge represents business rules at a higher level of abstraction than the rule-based paradigm. Representation at this high level of abstraction enables any changes to business rules to be quantified and tracked through to the imperative programs that implement them. Further, methods may be applied to simplify the unified model so that the maintenance of the imperative implementation too is simplified.
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
Debenham, J.K.: Knowledge Object Decomposition. In: Proceedings 12th International FLAIRS Conference, Florida, pp. 203–207 (May 1999)
Mayol, E., Teniente, E.: Addressing Efficiency Issues During the Process of Integrity Maintenance. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 270–281. Springer, Heidelberg (1999)
Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising It. In: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. Morgan Kaufmann, San Francisco (1991)
Barr, V.: Applying Reliability Engineering to Expert Systems. In: Proceedings 12th International FLAIRS Conference, Florida, pp. 494–498 (May 1999)
Jantke, K.P., Herrmann, J.: Lattices of Knowledge in Intelligent Systems Validation. In: Proceedings 12th International FLAIRS Conference, Florida, pp. 499–505 (May 1999)
Darwiche, A.: Compiling Knowledge into Decomposable Negation Normal Form. In: Proceedings International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 284–289 (August 1999)
Johnson, G., Santos, E.: Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge. In: Proceedings 13th International FLAIRS Conference, Florida, pp. 186–2191 (May 2000)
Debenham, J.K.: Knowledge Engineering. Springer, Heidelberg (1998)
Ramirez, J., de Antonio, A.: Semantic verification of rule-based systems with arithmetic constraints. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 437–446. Springer, Heidelberg (2000)
Kern-Isberner, G.: Posulates for conditional belief revision. In: Proceedings International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 186–191 (August 1999)
Debenham, J.K.: From Conceptual Model to Internal Model. In: Raś, Z.W., Skowron, A. (eds.) ISMIS 1997. LNCS, vol. 1325, pp. 227–236. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Debenham, J. (2003). A Lesson for Software Engineering from Knowledge Engineering. In: MaÅ™Ãk, V., Retschitzegger, W., Å tÄ›pánková, O. (eds) Database and Expert Systems Applications. DEXA 2003. Lecture Notes in Computer Science, vol 2736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45227-0_56
Download citation
DOI: https://doi.org/10.1007/978-3-540-45227-0_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40806-2
Online ISBN: 978-3-540-45227-0
eBook Packages: Springer Book Archive