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

• Wydawca: Wydawnictwa AGH
• 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