BazEkon - The Main Library of the Cracow University of Economics

BazEkon home page

Main menu

Author
Owoc Mieczysław Lech (Akademia Ekonomiczna we Wrocławiu), Ochmańska Małgorzata (Akademia Ekonomiczna we Wrocławiu)
Title
Towards Knowledge Validation Theory
Source
Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 1999, nr 815, s. 49-60, tab., rys., bibliogr. 23 poz.
Issue title
Pozyskiwanie wiedzy z baz danych
Keyword
Wiedza, Wiedza w organizacji, Materiały konferencyjne
Knowledge, Knowledge in organization, Conference materials
Abstract
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)
Accessibility
The Main Library of the Cracow University of Economics
The Library of Warsaw School of Economics
The Library of University of Economics in Katowice
The Main Library of Poznań University of Economics and Business
The Main Library of the Wroclaw University of Economics
Bibliography
Show
  1. 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.
  2. Amidon D.M.: Innovation Strategy for the Knowledge Economy. The Ken Awakening. Butterworth-Heinemann, Boston 1997.
  3. 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.
  4. 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.
  5. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge 1995.
  6. Jakubczyc J.A., Owoc M.L.: Knowledge Management and Artificial Intelligence. "Argumenta Oeconomica", No. 1 (6), Wroclaw University of Economics, 1998.
  7. Laurent J.P.: Proposals for a Valid Terminology in KBS Validation. ECAI 92. 10th European Conference on Artificial Intelligence. John Wiley & Sons, Ltd., 1992.
  8. 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.
  9. Lounis H.: Knowledge-Based Systems Verification: A Machine Learning-Based Approach. "Expert Systems With Applications", Vol. 8, No. 3, 1995.
  10. Mercier-Laurent E: WEB and Knowledge Management Process. AE, Wroclaw. "Prace Naukowe AE we Wrocławiu" [Research Papers of the AE], 1998.
  11. Nazareth D.L.: Investigating the Applicability of Petri Nets for Rule-Based System Verification. IEEE Transactions on Knowledge and Data Engineering, 1993.
  12. Nazareth D.L., Kennedy M.H.: Verification of Rule-Based Knowledge using Directed Graphs. Knowledge Acquisition, 1991.
  13. Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D.: Knowledge Base Verification. "AI Magazine", Vol. 8, No. 2, 1987.
  14. 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).
  15. 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.
  16. 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.
  17. Owoc M.L.: Measuring Aspects of Knowledge Validation. AE, Wroclaw. "Prace Naukowe AE we Wrocławiu", [Research Papers of the AE] No. 787, 1998.
  18. Owoc M.L., Ochmańska M.: Limits of Knowledge Base Validation. EXPERSYS-96. Artificial Intelligence Applications. IITT - International Paris, 1996.
  19. 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).
  20. 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.
  21. Suwa M., Scott A.C., Shortlifle E.H.: An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. "AI Magazine", 1982.
  22. 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.
  23. Zlatarewa N., Preece A.: State of the Art in Automated Validation of Knowledge-Based Systems. "Expert Systems with Applications" Vol. 7, No.2, 1994.
Cited by
Show
ISSN
0324-8445
Language
eng
Share on Facebook Share on Twitter Share on Google+ Share on Pinterest Share on LinkedIn Wyślij znajomemu