- Autor
- Owoc Mieczysław Lech (Akademia Ekonomiczna we Wrocławiu), Ochmańska Małgorzata (Akademia Ekonomiczna we Wrocławiu)
- Tytuł
- Towards Knowledge Validation Theory
- Źródło
- Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 1999, nr 815, s. 49-60, tab., rys., bibliogr. 23 poz.
- Tytuł własny numeru
- Pozyskiwanie wiedzy z baz danych
- Słowa kluczowe
- Wiedza, Wiedza w organizacji, Materiały konferencyjne
Knowledge, Knowledge in organization, Conference materials - Abstrakt
- 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)
- Dostępne w
- Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka SGH im. Profesora Andrzeja Grodka
Biblioteka Główna Uniwersytetu Ekonomicznego w Katowicach
Biblioteka Główna Uniwersytetu Ekonomicznego w Poznaniu
Biblioteka Główna Uniwersytetu Ekonomicznego 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.
- Cytowane przez
- ISSN
- 0324-8445
- Język
- eng
