Detecting Anomalies In Constraint-Based Systems

    Authors

    L. M. Flannery;A. J. Gonzalez

    Comments

    Authors: contact us about adding a copy of your work at STARS@ucf.edu

    Abbreviated Journal Title

    Eng. Appl. Artif. Intell.

    Keywords

    verification; software verification; automated verification; constraint-based systems; constraint satisfaction problem; constraint-directed reasoning; VERIFICATION; Automation & Control Systems; Computer Science, Artificial Intelligence; Engineering, Multidisciplinary; Engineering, Electrical & Electronic

    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. (C) 1997 Elsevier Science Ltd. All rights reserved.

    Journal Title

    Engineering Applications of Artificial Intelligence

    Volume

    10

    Issue/Number

    3

    Publication Date

    1-1-1997

    Document Type

    Article

    Language

    English

    First Page

    257

    Last Page

    268

    WOS Identifier

    WOS:A1997XG52200003

    ISSN

    0952-1976

    Share

    COinS