Warianty tytułu
Języki publikacji
Abstrakty
W artykule tym został scharakteryzowany stan rozwiązań dotyczących jednego z podstawowych kryteriów wartościowania wiedzy, za jakie się uznaje kompletność wiedzy. (fragment tekstu)
Rocznik
Strony
97--104
Opis fizyczny
Twórcy
autor
Bibliografia
- Boehm B.W.: Verifying and Validating Software Requirements and Design Specifications. "IEEE Software Journal' January 1984.
- Cardenosa J.: VALID: An Environment tor Validation of KBS. "Expert Systems with Applications" vol. 8 no 3,1995.
- Chang C.L., Combs J.B., Stachowitz R.A.: A Report on the Expert Systems Validate Associate (EVA). "Expert Systems with Applications" vol. 1 no 3,1990.
- Cragun B.J., Steudel H.J.: A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems. "Man-Machine Studies" no 27,1987.
- Culbert C., Riley G., Savely R.T.: Approaches to the Verification of Rule-Based Expert Systems. SOAR'87: First Annual Workshop on Space Operation Automation and Robotics. 1987.
- Ginsberg A.: Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency & Redundancy. National Conference on Al, August 1988.
- Ginsberg A.: Automatic Refinement of Expert Systems Knowledge Bases. London 1988.
- Green Ch., Eckert M.: Verification and Validation of Expert Systems. 1991.
- McGraw K., Harbison-Briggs K.: Knowledge Acquisition: Principles and Guidelines. Prentice Hall International, Inc. Englewood Cliffs 1989.
- Laurent J-Р.: Proposals for Valid Terminology in KBS Validation. 10th European Conf. on Al. 1992.
- Marcot B.: Testing Your Knowledge Base. Al Expert. August 1987.
- Marek W.: Completeness and Consistency in Knowledge Based Systems. Procedings of the First International Conference on Expert Database Systems. Charleston S.C. April 1986.
- Meseguer P.: Incremental Verification of Rule-Based Expert Systems. 10th European Conf. on Al. New York 1992.
- Moreli L.A.: Use of Metaknowledge in the Verification of Knowledge Based Systems. Proc. of IEA-AIE, 1988.
- Nazareth D.L.: Issues in the Verification of Knowledge in Rule-based Systems. [w:] Boose J.H., Gaines B.R. [red.]: The Foundations of Knowledge Acquisition. Knowledge Based Systems. Vol.4. London 1990.
- Nguyen T., Perkins W., Laffey T., Pecora D.: Knowledge Base Verification. 'Al Magazine" vol. 8 no 2,1987.
- Owoc M.L.: Kryteria wartościowania wiedzy. "Prace Naukowe AE we Wrocławiu" nr 691. Wrocław 1994.
- Politakis P.: Empirical Analysis for Expert Systems. London 1985.
- Prerau D.: Developing and Managing Expert Systems. Proven Techniques for Business and Industry. Addison-Wesley Mass. 1990.
- Rouge A., Lapicque J.Y., Brossier F., Lozinguez Y.: Validation and Verification of KADS Data and Domain Knowledge. "Expert Systems with Applications" vol.8 no 3, 1995.
- Shwe M.A., Tu S.W., Fagan L.M.: Validating the Knowledge Base of a Therapy Planning System. "Methods of Information in Medicine" vof. 28 no 1,1989.
- Suh Y.H., Murray T.J.: A Tree-Based Approach for Verifying Completeness and Consistency in Rule-Based Systems. "Expert Systems with Applications" vol.7 no2, 1994.
- Suwa M., Scott A.C., Shortîife E.H.: An Approach to Verifying Completeness a Consistency in a Rule-Based Eixpert Systems. "AI Magazine' vol. 3 no 4 1982.
- Vicat C., Brezzillou P., Nottota.: Knowledge Validation in the Building of Knowledge-Based Systems. "Expert Systems with Applications" vol. 8 no 3,1995.
- Zlatareva N., Preece A.: State of the Art in Automated Validation of K-B Systems. "Expert Systems with Applications", vol 7 no 2.1994.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000002447