Uncovering redundancy and rule-inconsistency in knowledge bases via deduction

COMPASS - Computer Assurance

Volumn , Issue , 1990, Pages 57-67

  McGuire, James G ^a  

^a LOCKHEED MARTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REDUNDANCY; SYSTEMS ANALYSIS;

PREDICATE CONNECTION GRAPH; PROOF RESIDUES; PROVABILITY CACHE; RESTRICTED REDUNDANCY; RESTRICTED RULE INCONSISTENCY; RULE INCONSISTENCY;

EXPERT SYSTEMS;

EID: 0025436354     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/cmpass.1990.175402     Document Type: Conference Paper

References (18)