[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Meseguer et al., 1996 - Google Patents

Expert system validation through knowledge base refinement

Meseguer et al., 1996

View PDF
Document ID
13067731837538578676
Author
Meseguer P
Verdaguer A
Publication year
Publication venue
International journal of intelligent systems

External Links

Snippet

Abstract Knowledge base (KB) refinement is a suitable technique to support expert system (ES) validation. When used for validation, KB refinement should be guided not only by the number of errors to solve but also by the importance of those errors. Most serious errors …
Continue reading at www.ijcai.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S706/00—Data processing: artificial intelligence
    • Y10S706/902—Application using ai with detail of the ai system
    • Y10S706/911—Nonmedical diagnostics
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model

Similar Documents

Publication Publication Date Title
Richter et al. Similarity, uncertainty and case-based reasoning in PATDEX
Leung et al. Insights into regression testing (software testing)
Preece et al. Foundation and application of knowledge base verification
Gyimóthy et al. An efficient relevant slicing method for debugging
US5138694A (en) Parallel processing qualitative reasoning system
Sullivan AO (t/sup 3/+ mod E mod) fault identification algorithm for diagnosable systems
JPH09244917A (en) Automatic analysis method for model base diagnostic system
Fensel et al. Assumptions in model-based diagnosis
Meseguer et al. Expert system validation through knowledge base refinement
Coward A review of software testing
Shchekotykhin et al. Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses.
Preece et al. Evaluation of verification tools for knowledge-based systems
Guan et al. Diagnostic reasoning with fault propagation digraph and sequential testing
Fenton et al. Fault diagnosis of electronic system using artificial intelligence
Sheppard et al. Applying testability analysis for integrated diagnostics
ten Teije et al. An extended spectrum of logical definitions for diagnostic sytems
Wegener et al. Testing the temporal behavior of real-time tasks using extended evolutionary algorithms
Sheppard et al. Improving the accuracy of diagnostics provided by fault dictionaries
Katz et al. Robustness inside out testing
Wotawa et al. On the verification of diagnosis models
Parsa et al. Fuzzy clustering the backward dynamic slices of programs to identify the origins of failure
Boverie et al. Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach.
Sheppard et al. Deriving a diagnostic inference model from a test strategy
Amati et al. Improving fault diagnosis accuracy by automatic test set modification
Jordan et al. Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report)