Wizualizacja wnioskowania w regułowych bazach wiedzy z wykorzystaniem sieci Petriego

• Autorzy: Simiński R. , Janus S.

Warianty tytułu

EN

Visualisation of inference in rule knowledge bases using Petri nets

• Języki publikacji: PL

Abstrakty

PL

Artykuł przedstawia koncepcję wykorzystania sieci Petriego do zadania wizualizacji struktury regułowej bazy wiedzy oraz prezentuje funkcjonalne oraz implementacyjne aspekty systemu, wykorzystującego tę koncepcję do wizualizacji struktury regułowej bazy wiedzy oraz procesu wnioskowania dla takich baz. W artyŹkule przedstawiono podstawowe zagadnienia związane z sieciami Petriego oraz wykorzystanie sieci do modelowania procesów wnioskowania oraz krótki opis realizacji systemu wykorzystującego tę koncepcję modelowania.

EN

The paper presents conception of utilization of Petri nets to visualization the structure of rule knowledge bases and the functional and implementation issues of system using this conception for visualization both the structure of knowledge bases and the inference process in such bases. The basic terms of Petri nets as well as the idea of using Petri nets as the modeling rule knowledge base have been presented in this paper. The methods of using Petri nets for modeling of the inference process has been also discussed in this paper together with description of realization features of proper software.

Słowa kluczowe

PL

sieć Petriego; wnioskowanie; regułowe bazy wiedzy

EN

Petri nets; inference; rules knowledge bases

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2011
• Tom: Vol. 32, nr 2A
• Strony: 459--472
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Simiński R.

autor

Janus S.

• Uniwersytet Śląski, Instytut Informatyki, ul. Będzińska 39, 41-200 Sosnowiec,

Bibliografia

• 1. Jackson P.: Introduction to Expert Systems, Addison-Wesley, New York, USA 1999.
• 2. Murata T.: Petri Nets: Properties, Analysis and Aplications. Proceedings of IEEE, Vol. 77, No. 4, April 1989.
• 3. Nazareth D. L.: Investigating the applicability of Petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering, 4 (3), 1992.
• 4. Nowak A., Simiński R., Wakulicz-Deja A.: Inference algorithms for hierarchical knowledge bases. Kłopotek M. A., Przepiórkowski A., Wierzchoń S. T., Trojanowski K. (red.): Recent Advances in Intelligent Information Systems. Academic Publishing House EXIT.
• 5. Peterson J. L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981.
• 6. Reichgelt H.: Knowledge Representation: An AI Perspective. Ablex Publishing Corporation, New Jersey 1991.
• 7. Rozenberg G., Thiagarajan P. S.: Petri nets: basic notations, structure, behavior. Current Trends in Concurency. Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin 1986.
• 8. Simiński R.: Decision units approach in knowledge base modeling, [in:] Kłopotek M. A., Przepiórkowski A., Wierzchoń S. T., Trojanowski K. (eds.): Recent Advances in Intelligent Information Systems, Academic Publishing House EXIT, 2009, s. 597‚606.
• 9. Simiński R.Ś Extending decision units conception using Petri nets. Advances in Soft Computing, Intelligent Information Processing and Web Mining, Springer-Verlag, 2006, s. 413‚420.
• 10. Simiński R.: Modelowanie procesów wnioskowania z wykorzystaniem sieci Petriego. Materiały Konferencji Naukowej Systemy Wspomagania Decyzji, Zakopane 2006, s. 127‚137.
• 11. Simiński R. Petri net and matrix representation of rule knowledge base for verification task. Intelligent Information Processing and Web Mining, Advances in Soft Computing, Springer-Verlag, 2005.
• 12. Simiński R., Wakulicz-Deja A.: Decision units as a tool for rule base modeling and verification. Intelligent Information Processing and Web Maining, Advances in Soft Computing, Physica-Verlag, 2003.
• 13. Simiński R., Wakulucz-Deja A.: Application of Decision Units in Knowledge Engineering. Rough Sets and Current Trends in Computing, Lecture Notes in Artificial Intelligence, Springer-Verlag, 2004.
• 14. Suraj Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processess. ICS PAS Reports, 893, Warszawa December 1999.
• 15. Suraj Z., Fryc B., Matusiewicz Z., Pancerz K.: A Petri Net System: an Overview, [in:] Flasiński M., Nawarecki E., Polkowski L., Schaefer R., Stefanowski J., Suraj Z. (eds.): Special volume with selected papers from TASC 2004 workshop, Fundamenta Informaticae, Vol. 71, No. 1, IOS Press, Amsterdam 2006, s. 101‚119.