Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych

• Autorzy: Szpyrka, M. , Szmuc, T.

Warianty tytułu

EN

Algebraic-graphical methods of knowledge representation for analysis and verification of attributive tabular systems

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono metodę weryfikacji atrybutowych systemów tablicowych w oparciu o specjalny typ niehierarchicznych kolorowanych sieci Petriego (D-sieci). Podstawą do przeprowadzonych w pracy rozważań jest tablica decyzyjna będąca zbiorem uogólnionych reguł decyzyjnych. Pojedyncza tablica decyzyjna może zostać transformowana do postaci D-sieci, w oparciu o którą możliwe jest badanie między innymi takich własności jak zupełność i niesprzeczność zbioru reguł decyzyjnych. W pracy przedstawiono rozszerzenie koncepcji D-sieci do postaci hierarchicznej D-sieci. Umożliwia to reprezentowanie w formie algebraiczno-graficznej zbioru tablic decyzyjnych. Omawiane sposoby analizy tablic decyzyjnych mogą być wykorzystywane przy analizie poprawności wiedzy w systemach bazodanowych, jak również przy sprawdzaniu poprawności systemów sterujących. W odniesieniu do baz danych pozwala to na stworzenie graficznej reprezentacji wiedzy odnoszącej się do zgromadzonych danych, a także na analizę tej wiedzy w oparciu o sprawdzanie własności sieci Petriego z wykorzystaniem dostępnych narzędzi komputerowych. W odniesieniu do systemów wbudowanych umożliwia to zaprojektowanie w formie kolorowanej sieci Petriego modułu sterującego obsługującego zdarzenia opisywane przez różne zestawy atrybutów. Możliwa jest analiza zarówno pojedynczych podsystemów takiego modułu, jak również całości.

EN

The paper outlines methods for verification of knowledge-based systems. The main issue considered in the paper is the design of complete, deterministic and consistent decision support systems, such as decision tables, tabular (attributive) rule-based systems and intelligent control systems. A special type of CP-nets, the so-called D-nets, is used for analysis of properties of knowledge specification. Attributive decision table specifying a set of decision rules is the basic notion used in the paper. In order to verify its properties, a decision table is transformed into a D-net. The notion of hierarchical D-nets is presented in the paper. It allows representing a set of decision tables in algebraic-graphical form. The presented methods of analysis of decision tables can be used as tools for verification of knowledge in database system and also for analysis of control systems. With reference to database systems they allow for representation of knowledge concerning data stored in a database in graphical form. It allows performing analysis of knowledge properties with Petri nets computer tools. With reference to control systems it allows to design control module in Petri net form. It is possible to analyse single units of control module and also more sophisticated systems.

Słowa kluczowe

PL

tablice decyzyjne; D-sieci; sieci Petriego; baza wiedzy

EN

tabular systems; D-nets; Petri nets

• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2001
• Tom: T. 5, z. 1/2
• Strony: 535-543
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Szpyrka, M.

autor

Szmuc, T.

• Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie

Bibliografia

• [1] Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol.l, 2 & 3. New York, Springer Verlag 1996-97
• [2] Ligęza A.: Analiza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych. Materiały konferencyjne IV Krajowej Konferencji Naukowej „Inżynieria wiedzy i systemy ekspertowe”, Wrocław, 13-15 czerwca 2000
• [3] Suraj Z., Szpyrka M.: Sieci Petriego i PN-tools. Rzeszów, Wydawnictwo Wyższej Szkoły Pedagogicznej 1999
• [4] Macaulay L.A.: Requirements Engineering. New York, Springer Verlag 1996
• [5] Szmuc T., Motet G.: Specyfikacja i projektowanie oprogramowania czasu rzeczywistego. Kraków, Wydawnictwo CCATIE 1998
• [6] Szmuc T.: Zaawansowane metody tworzenia oprogramowania systemów czasu rzeczywistego. Kraków, Wydawnictwo CCATIE 1998
• [7] Szpyrka M.: Verification of Real-Time System Requirements: a Petri Net Approach. Proc of 24th IFAC/IFIP Workshop on Real-Time Programming and The Third International Workshop on Active and Real-Time Database Systems, May 30-June 2, Schloss Dagstuhl, Germany, 1999, 111-116
• [8] Szpyrka M.: Wspomaganie tworzenia oprogramowania systemów reaktywnych z zastosowaniem kolorowanych sieci Petriego. Kraków, Wydział EAIiE AGH 1999 (rozprawa doktorska)
• [9] Szpyrka M.: Formalna weryfikacja wymagań systemów czasu rzeczywistego. Kraków, Zeszyty Naukowe AGH, Seria Informatyka, t. 2, 2000, 109-129
• [10] Szpyrka M., Ligęza A., Szmuc T.: Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego.Wroclaw, Materiały konferencyjne IV Krajowej Konferencji Naukowej „Inżynieria Wiedzy i Systemy Ekspertowe”, Wrocław, 13-15 czerwca 2000,119-126