A relation-checking algorithm for maintenance of rule-based systems

International Journal of Electrical Power and Energy Systems

Volumn 12, Issue 4, 1990, Pages 235-241

  Marathe, H ^a   Liu, C C ^a   Ma, T K ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

expansion planning; expert systems; relation checking algorithm

Indexed keywords

EXPERT SYSTEMS - KNOWLEDGE BASES;

POWER SYSTEM EXPANSION PLANNING; RELATION-CHECKING ALGORITHM; RULE-BASED SYSTEM MAINTENANCE;

ELECTRIC POWER SYSTEMS;

EID: 0025503314     PISSN: 01420615     EISSN: None     Source Type: Journal    
DOI: 10.1016/0142-0615(90)90039-E     Document Type: Article

References (16)

1. An approach to verifying completeness and consistency in a rule-based expert system
2. Checking an expert system's knowledge base for consistency and completeness
3. Verifying consistency of production systems
4. R1-Soar an experiment in knowledge intensive programming in a problem solving architecture
5. RETE: a fast algorithm for the many pattern/many object pattern match problems
6. Automated software testing
7. An expert system as a dispatcher's aid for the isolation of line section faults
8. An expert system assisting decision-making of reactive power/voltage control
9. An extendable approach to computer aided software requirements engineering
10. Applications of symbolic execution to program testing
11. Development of expert systems as on-line operational aids