Towards Knowledge Validation Theory

• Autorzy: Mieczysław Lech Owoc , Małgorzata Ochmańska
• Języki publikacji: EN

Abstrakty

EN

We have presented some fundamental notes to validation theory, which comes into being. Existing practical approaches and tools to be applied in the domain, have been taken into account as the crucial its components. On this base, some principles of the theory have been formulated. Generally speaking, the principles express useful guidelines for "knowledge validation workers" by stressing interrelationships among KV components. We also realised several promising lines of future work. The list of the principles has to be extended (and internally verified) by delivering formal proofs each of them. Based on this, we plan to elaborate consistent methodology, specialised on some chosen types of knowledge bases, and then to be evolved into any forms of knowledge. (fragment of text)

Słowa kluczowe

EN

Knowledge; Knowledge in organization; Conference materials

PL

Wiedza; Wiedza w organizacji; Materiały konferencyjne

• Czasopismo: Prace Naukowe Akademii Ekonomicznej we Wrocławiu
• Rocznik: 1999
• Numer: nr 815 Pozyskiwanie wiedzy z baz danych
• Strony: 49--60

Twórcy

autor

Mieczysław Lech Owoc

• Akademia Ekonomiczna we Wrocławiu

autor

Małgorzata Ochmańska

• Akademia Ekonomiczna we Wrocławiu

Bibliografia

• Agarwal R., Tanniru M.: A Petri Net Based Approach for Verifying the Integrity of Production Systems. "International Journal of Man-Machine Studies", 36(3), 1992.
• Amidon D.M.: Innovation Strategy for the Knowledge Economy. The Ken Awakening. Butterworth-Heinemann, Boston 1997.
• Bonner R.: Economics of Information and Acquisition of Knowledge. AE, Wroclaw. "Prace Naukowe AE we Wrocławiu" (Research Papers of the AE) No. 787, 1998.
• 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. 26, 1987.
• Fagin R., Halpern J.Y., Moses Y., Vardi M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge 1995.
• Jakubczyc J.A., Owoc M.L.: Knowledge Management and Artificial Intelligence. "Argumenta Oeconomica", No. 1 (6), Wroclaw University of Economics, 1998.
• Laurent J.P.: Proposals for a Valid Terminology in KBS Validation. ECAI 92. 10th European Conference on Artificial Intelligence. John Wiley & Sons, Ltd., 1992.
• Liu N.K., Dillon T.: An Approach Towards the Verification of Expert Systems using Numerical petri Nets. "International Journal of Intelligent Systems", Vol. 6, 1991.
• Lounis H.: Knowledge-Based Systems Verification: A Machine Learning-Based Approach. "Expert Systems With Applications", Vol. 8, No. 3, 1995.
• Mercier-Laurent E: WEB and Knowledge Management Process. AE, Wroclaw. "Prace Naukowe AE we Wrocławiu" [Research Papers of the AE], 1998.
• Nazareth D.L.: Investigating the Applicability of Petri Nets for Rule-Based System Verification. IEEE Transactions on Knowledge and Data Engineering, 1993.
• Nazareth D.L., Kennedy M.H.: Verification of Rule-Based Knowledge using Directed Graphs. Knowledge Acquisition, 1991.
• Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D.: Knowledge Base Verification. "AI Magazine", Vol. 8, No. 2, 1987.
• Ochmańska M.: Komplementarność metod wartościowania wiedzy [Complementarity of Knowledge Base Validation Methods]. AE, Wrocław. "Prace Naukowe AE we Wrocławiu" [Research Papers of the AE] No. 787, 1998 (in Polish).
• O'Leary D.E.: Verifying and Validating Expert Systems: A Survey. [w:] Watkins P.R., Eliot L.B. [ed.]: Expert Systems in Business and Finance. John Wiley & Sons Ltd. New York 1993.
• Owoc M.L.: From Local to Global Validation of a Knowledge Base. AE, Wrocław, "Prace Naukowe AE we Wrocławiu", [Research Papers of the AE] No. 772, 1998.
• Owoc M.L.: Measuring Aspects of Knowledge Validation. AE, Wroclaw. "Prace Naukowe AE we Wrocławiu", [Research Papers of the AE] No. 787, 1998.
• Owoc M.L., Ochmańska M.: Limits of Knowledge Base Validation. EXPERSYS-96. Artificial Intelligence Applications. IITT - International Paris, 1996.
• Owoc M.L., Galant V.: Validation of Rule-Based Systems Generated by Classification Algorithms. [w:] Proceedings of the Information Systems Development Conference. Bled'98 - Slovenia (to appear).
• Suh Y., Murray T.J.: A Tree-Based Approach for Verifying Completeness and Consistency in Rule-Based Systems. Expert Systems With Applications, Vol. 7, No. 2, 1994.
• Suwa M., Scott A.C., Shortlifle E.H.: An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. "AI Magazine", 1982.
• Vanthienen J. Mues C., Wets G.: Inter-tabular Verification in Interactive Development. EURO- VAV-97, 4th European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, 1997.
• Zlatarewa N., Preece A.: State of the Art in Automated Validation of Knowledge-Based Systems. "Expert Systems with Applications" Vol. 7, No.2, 1994.