Abstract
During the development of a software system, many errors, both physical and logical, sneak into the source code. However, the system’s ability to work properly depends on the ability to find these errors and get rid of them. To this objective, a controller is needed to find and eliminate both types of errors. In this paper, we suggest an approach to a semantic controller, including a syntactic check, by applying tags to production rules. The syntactic check of the controller takes care of the physical errors, and the semantic check takes care of the logical ones.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hakansson: An Expert System for the Environment Impact Assessment Method. Research Report 2004:1. Department of Information Science, Division of Computer Science, University of Uppsala, Sweden (2004) ISSN 1403-7572
von Halle, B.: Business Rules Applied. Wiley, Chichester (2002)
Polat, F., Guvenir, H.: A, UVT: A Unification-Based tool for Knowledge Base Verification. IEEE Expert 3 (June 1993)
Lopez, B., Meseguer, P., Plaza, E.: Knowledge Based Systems Validation: A State of the Art. AI Communications 3(2), 55–71 (1990)
Mengshoel, O.: Knowledge Validation: Principle and Practice. IEEE Expert 3, 62–68 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palm, T. (2005). Semantic Tags: Evaluating the Functioning of Rules in a Knowledge Based System. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_55
Download citation
DOI: https://doi.org/10.1007/11552451_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28895-4
Online ISBN: 978-3-540-31986-3
eBook Packages: Computer ScienceComputer Science (R0)