A decision-table-based processor for checking completeness and consistency in rule-based expert systems

Barr, 1982, Vol. II, 214 Horowitz, 1976, 134 Metzner, 1977 Montalbano, 1974 Nguyen, 1985, Checking an expert systems knowledge base for consistency and completeness, 375 Steudel, 1986, An expert system for evaluation and selecting computer-aided process planning systems, Vol. 24, 287 Suwa, 1984, Completeness and consistency in a rule-based system, 159 Whiteside, 1986, Artificial intelligence finally hits the desktop, Business Week, 68