zbMATH — the first resource for mathematics

Refinement of uncertain rule bases via reduction. (English) Zbl 0941.68760

68T37 Reasoning under uncertainty in the context of artificial intelligence
Full Text: DOI
[1] Amarel, S., Expert behavior and problem representations, () · Zbl 0276.68007
[2] Angluin, D., Learning propositional Horn sentences with hints, ()
[3] Angluin, D.; Smith, C., A survey of inductive inference: theory and methods, Comput. surveys, 15, 237-269, (1983)
[4] Bareiss, R.; Porter, B.W.; Murray, K.S., Supporting start-to-finish development of knowledge bases, Machine learning, 4, 3/4, (1989)
[5] Benjamin, D., Change of representation and inductive bias, (1990), Kluwer Academic · Zbl 0747.68003
[6] Buchanan, B.G., Can machine learning offer anything to expert systems?, Machine learning, 4, 3/4, (1989)
[7] Buchanan, B.G.; Shortliffe, E.H., Rule-based expert systems: the MYCIN experiments of the Stanford heuristic programming project, (1984), Addison-Wesley Norwell, Mass
[8] Dietterich, T.; Michalski, R., A comparative review of selected methods from learning from examples, ()
[9] Duda, R.; Hart, P.; Nilsson, N., Subjective Bayesian methods for rule-based inference systems, ()
[10] Garey, M.; Johnson, D., Computers and intractability: A guide to the theory of NP-completeness, (1979), Freeman · Zbl 0411.68039
[11] Gashnig, J., Prospector: an expert system for mineral exploration, ()
[12] Ginsberg, A., Automatic refinement of expert system knowledge bases, (1988), Pitman London · Zbl 0694.68005
[13] Ginsberg, A., Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy, ()
[14] Ginsberg, A., Knowledge base refinement and theory revision, ()
[15] Jackson, P., Prime implicates: their computation and use, (), 53-64
[16] Kearns, M., The computational complexity of machine learning, (1990), MIT Press London
[17] Korf, R., Toward a model of representation changes, Artificial intelligence, 14, 41-78, (1980)
[18] Lapointe, S.; Ling, X.; Matwin, S., Constructive inductive logic programming, (), 1030-1036
[19] Ling, X., Inductive learning from good examples, (), 751-756 · Zbl 0748.68059
[20] Ling, X.; Cherwenka, S.; Marinov, M., A symbolic model for learning the past tenses of English verbs, (), 1143-1149
[21] Ling, X.; Dawes, M., Horn-clause theory reduction with preservation of uncertainty rank, (), 90
[22] Ma, Y.; Wilkins, D., Improving the performance of inconsistent knowledge bases via combined optimization method, ()
[23] Michalski, R., A theory and methodology of inductive learning, ()
[24] Mitchell, T.; Keller, R.; Kedar-Cabelli, S., Explanation-based generalization: A unifying view, Machine learning, 1, 1, 47-80, (1986)
[25] Musen, M.A., Automated support for building and extending expert models, Machine learning, 4, 3/4, (1989)
[26] Pearl, J., Probabilistic reasoning in intelligent systems: networks of plausible inference, (1988), Morgan Kaufmann
[27] Quinlan, J., Inferno: A cautious approach to uncertain inference, Comput. J., 26, 2, 255-269, (1983)
[28] Reiter, J., AL/X: an expert system using plausible inference, (1980), Intelligent Terminals San Mateo, Calif
[29] Shortliffe, E., Computer based medical consultations: MYCIN, (1976), Elsevier Oxford, U.K
[30] Togai, M.; Watanabe, H., Expert system on a chip: an engine for real-time approximate reasoning, IEEE expert, 1, 3, 55-62, (1986)
[31] Valtorta, M., Some results on knowledge base refinement with an oracle, ()
[32] Valtorta, M., More results on the complexity of knowledge base refinement: belief networks, (), 419-426
[33] Valtorta, M., Knowledge base refinement: A bibliography, J. appl. intelligence, 1, 1, 87-94, (1991) · Zbl 0743.68117
[34] Valtorta, M., Some results on the computational complexity of refining confidence factors, Internat. J. approx. reason., 5, 2, (1991)
[35] Valtorta, M.; Loveland, D., On the complexity of belief network synthesis and refinement, Internat. J. approx. reason., 7, 3-4, (1992)
[36] Wang, S.; Valtorta, M., On the conversion of rule bases into belief networks, (), 363-368
[37] Zlatareva, N., Truth maintenance systems and their application for verifying expert system knowledge bases, Artificial intelligence rev., 6, 1, 67-110, (1992) · Zbl 0754.68116
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.