Implementacja dynamicznej weryfikacji wiedzy

• Autorzy: Mieczysław Lech Owoc , Maciej Wasiak
• Języki publikacji: PL

Abstrakty

W artykule przedstawiono problematykę implementacji dynamicznych procedur weryfikacyjnych w procesach budowania i modyfikacji systemów z bazą wiedzy. Autorzy zaprezentowali zastosowanie specjalistycznego programu Prologa do dynamicznej weryfikacji wiedzy.

EN

The article discusses the issues concerning the implementation of dynamic verification procedures in the processes of creating and modification knowledge-based systems. It presents the usage of specialist software Prologa for knowledge dynamic verification. (MN)

Słowa kluczowe

PL

Systemy z bazą wiedzy; Sztuczna inteligencja; Zarządzanie wiedzą; Weryfikacja wiedzy; Materiały konferencyjne

EN

Knowledge based systems; Artificial intelligence; Knowledge management; Verification of knowledge; Conference materials

• Czasopismo: Prace Naukowe Akademii Ekonomicznej we Wrocławiu
• Rocznik: 2001
• Numer: nr 891 Pozyskiwanie wiedzy z baz danych : materiały na konferencję zorganizowaną przez Katedrę Systemów Sztucznej Inteligencji Akademii Ekonomicznej im. Oskara Langego we Wrocławiu, Karpacz, 18-20 maja 2001 r.
• Strony: 199--209

Twórcy

autor

Mieczysław Lech Owoc

autor

Maciej Wasiak

Bibliografia

• Ayel M., Laurent J.P.: Validation, Verification and Test of Knowledge-Based Systems. Kohn Wiley & Sons Ltd England 1991.
• Boswell R., Craw S.: Organising Knowledge Refinement Operators. In: Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Varmesan A., Coenen F. [eds.]. Kluwer Academic Publishers, Boston 1999.
• Feenstra R., Wieringa R.: Validating Specifications of Dynamic Systems Using Automated Reasoning Techniques. Workshop on Semantics in Databases, Reż, Czech Republic, 1995.
• Gil Y., Tallis M.: A Script-Based Approach to Modifying Knowledge Bases. American Association for Artificial Intelligence, 1997.
• Hinkelman K., Kuhn O.: Revising and Updating a Corporate Memory. EUROWAV-95.
• Jafar M., Bahill T.: Interactive Verification of Knowledge-Based Systems. IEEE, 1993.
• Meseguer P.: Incremental Verification of Rule-Based Expert Systems. 10th European Conf. on AI. John Wiley & Sons Ltd. New York 1992.
• Nuira R., Fouet J.M.: A Knowledge Based Tool for the Incremental Construction, Validation, and Refinement of Large Databases. Workshop on Validation, Verification and Refinement of KBS (August 12th 1996) ECAI96 Budapest 1996.
• Owoc M.L., Ochmańska M., Gładysz T.: On Principles of Knowledge Validation. In: Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Varmesan A., Coenen F. [eds.] Kluwer Academic Publishers, Boston 1999.
• Owoc M.L.: On Dynamical Aspects of Knowledge Validation. Proceedings of the International Seminar "Knowledge Acquisition and Distance Learning in Resolving Managerial Issues", Krzyżowa 1999 (w przygotowaniu).
• Preece A.: Assessing the Role of Formal Specifications in Verification and Validation of Knowledge Based Systems. 3rd IFIP International Conference on "Achieving Quality in Software" (AQuIS'96), strony 317-328, Chapman and Hall, 1996.
• Preece A.: Building the Right System Right AAAI-98 Workshop on Verification and Validation of Knowledge-Based Systems. Technical Report WS-98-11, AAAI Press, 1998.
• Reimer U.: Knowledge Integration for Building Organizational Memories. http://research.swisslife.ch/papers/data/orgmem/kaw98/kaw_paper.html.
• Rich D.Z.: The Dynamics of Knowledge. Greenwood Press New York 1988.
• Schultz R.D., Geissman J.R.: Bridging the Gap Between Static and Dynamic Verification. Proc. of AAAI-88 Workshop on Validation and Verification Expert Systems. AAAI, 1988.
• Spreeuwenberg S., Gerrits R.: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base, http://www.librt.com/artvv.html.
• Vanthienen J., Mues C., Wets G.: Inter-Tabular Verification in an Interactive Environment. Eurowav 97, Kuleuven 1997.