This is a preview of subscription content, log in via an institution to check access.
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
Adrion W.R., Branstad M.A., Cherniavsky J.C., 1982, Validation, verification and testing of computer software, ACM Computing Surveys, June, 14(2) pp. 159–192.
Simiński R., Wakulicz-Deja A. (1998) A., Principles and Practice in Knowledge Bases Verification, Proceedings of the IIS VII, Intelligent Information Systems, Poland, Malbork, 15–19.06.1998, pp. 203–211.
Simiński R. (1998), Methods and Tools for Knowledge Bases Verification and Validation, Proceedings of CAI’98 — Colloquia in Artificial Intelligence, 28–30.9.1998, Lodz, Poland.
Simiński R., Wakulicz-Deja A. (1998), Principles and Practice in Knowledge Bases Verification, Proceedings of IIS’98 — Intelligent Information Systems VII, 15–19.6.1998, Malbork, Poland.
Simiński R., Wakulicz-Deja A. (1999), Dynamic Verification Of Knowledge Bases, Proceedings of IIS’99, Intelligent Information Systems VIII, 14–18.6.1999, Ustron, Poland.
Simiński R., Wakulicz-Deja A. (2000), Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.
Simiński R., Wakulicz-Deja A. (2003), Decision units as a tool for rule base modeling and verification, Proceedings of Intelligent Information Systems Intelligent: Information Processing and Web Mining, 272-5.6.2003, Zakopane, Polska, Advances in Soft Computing, Physica-Verlag, Springer Verlag Company, 2003, pp. 553–556.
Preece A.D. (1991), Methods for Verifying Expert System Knowledge Base, apreece@csd.abdn.ac.uk.
Preece A.D. (1991a), Verifying expert system knowledge bases: An example, apreece@csd.abdn.ac.uk.
Preece A.D. (1994). Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems, 9 pp. 683–701
Preece A.D. Batarekh A. Shinghal R. (1990) Verifing Rule-Based Systems, apreece@csd.abdn.ac.uk.
Preece A.D., Shinghal R., Batarekh A. (1992), Principles and Practices in Verifing Rule-Based Systems, Knowledge Engineering Review, vol. 7, no. 2, pp. 115–141, apreece@csd.abdn.ac.uk
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simiński, R., Wakulicz-Deja, A. (2005). Circularity in Rule Knowledge Bases Detection using Decision Unit Approach. In: Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32370-8_20
Download citation
DOI: https://doi.org/10.1007/3-540-32370-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23245-2
Online ISBN: 978-3-540-32370-9
eBook Packages: EngineeringEngineering (R0)