Abstract
This paper addresses the problem of the automated verification of constraint-based systems. This issue has not been adequately covered in the research literature, as current expert-system verification methodologies and tools have largely focused on rule-based systems. As a result, these tools do not incorporate the methodologies necessary to verify constraint-based reasoning systems. However, there is great similarity as well as commonality of terms between rule-based systems and constraint-based systems. This suggests that verification techniques for rule-based expert systems can be successfully modified for application to constraint-based systems. The paper presents the authors' experience in verifying the internal consistency of a constraint-based reasoning system knowledge base. The approach is based on automatically identifying several anomalies in a constraint-based system knowledge base without having to execute the system. Many of these types of anomalies are derived directly or indirectly from those that are also found in traditional rule-based expert systems, but new ones specific to constraint-based systems are identified. Detection methods and possible repair strategies are discussed, and a test example is described and evaluated.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Engineering Applications of Artificial Intelligence
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
