Summary
In [1] a simple consistency condition for rule-based expert systems is proved. This paper discusses its use for a computational tool to support declarative representation of knowledge in such expert systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
Mellis, W.: Consistency of Horn-clauses and Constraints. to appear
Monk, J. D.: Mathematical Logic. Springer Verlag, New York (1976), pp. 398
Nguyen, T. A.; Perkins, W. A.; Laffey, T. J.; Pecora, D.: Chekking an Expert Systems Knowledge Base for Consistency and Completeness in: IJCAI 85, Los Angeles (1985), pp. 375
Suwa, M.; Scott, A. C.; Shortliffe, E. H.: Completeness and Consistency in a Rule-Based System in: Buchanan, B. G.; Shortliffe, E. H. (eds): Rule-Based Expert Systems. The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, Mass. (1984), pp. 159
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Mellis, W. (1987). Supporting Knowledge Representation by Checking Consistency. In: Balzert, H., Heyer, G., Lutze, R. (eds) Expertensysteme ’87 Konzepte und Werkzeuge. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94662-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-322-94662-1_20
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02449-1
Online ISBN: 978-3-322-94662-1
eBook Packages: Springer Book Archive