Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency & Redundancy

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 585-589

  Ginsberg, Allen ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS; BASIS REDUCTION; END-USERS; EXPRESSIVE POWER; MODIFIABILITY; NEW APPROACHES; PROPOSITIONAL LOGIC; REAL-WORLD; SYSTEM DEVELOPERS; WORLD KNOWLEDGE;

REDUNDANCY;

EID: 84985127171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. P. Callahan. Expert Systems for AT&T Switched Network Maintenance AT&T Technical Journal, 67:93-103,1988.
2. Johan de Kleer. An assumption-based tms. Artificial Intelligence, 28:127-162, 1986.
3. C. Forgy and J. McDermott. OPS, a domain-independent production system language. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, pages 933-939, 1977.
4. A. Ginsberg. A new approach to checking knowledge bases for inconsistency and redundancy. In Proceedings of The Third Annual Expert Systems in Government Conference, Washington, D.C., 1987.
5. A. Ginsberg. Theory reduction: operationalization as a prelude to learning. In Proceedings of AAAI Spring Symposium Series, Stanford U., 1988.
6. A. Ginsberg. Theory Revision via Prior Operationalization. In Proceedings of the Seventh National Conference on Artificial Intelligence, 1988.
7. A. Ginsberg and L. Rose. KB-REDUCER: A System That Checks for Inconsistency and Redundancy in Knowledge Bases. Technical Report, AT&T Bell Laboratories, 1987.
8. N. Khan and R. Dube. The gems trunk-trouble analyser: a knowledge based expert system for trunk maintenance. In Proceedings of IEEE INFOCOM, pages 459-465, San Francisco, CA, 1987.
9. T. Mitchell, R. Keller, and S. Kedar-Cabelli. Explanation-based generalization: a unifying view. Machine Learning, 1:47-80, 1986.
10. T. Nguyen, W. Perkins, T. Laffey, and D. Pecora. Checking an expert systems knowledge base for consistency and completeness. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 375-378, 1985.
11. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
12. M. Suwa, A. Scott, and E. Shortliffe. An approach to verifying completeness and consistency in a rule-based expert system. The AI Magazine, 3(3):16-21, Fall 1982.
13. S. Weiss and C. Kulikowski. Expert: a system for developing consultation models. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, pages 942-947, Tokyo, Japan, 1979.