Wyniki wyszukiwania - BazTech

1

Analiza tablic decyzyjnych z wykorzystaniem monotonicznego rachunku sekwensów

Tkacz J., Adamski M.

Przegląd Elektrotechniczny

|

2013

|

R. 89, nr 6

256--259

PL

W artykule przedstawiono nowatorski sposób analizy systemów regułowych z wykorzystaniem symbolicznego wnioskowania w monotonicznej logice sekwentów Gentzena. Badany system dyskretny jest opisywany w postaci tablicy decyzyjnej. Celem analizy systemu jest usunięcie zbytecznych kolumn w tablicy decyzyjnej oraz nieistotnych symboli zmiennych logicznych w jej poszczególnych wierszach. Efektywny aparat wnioskowania w logice formalnej umożliwia sprawne wyznaczanie transwersal krawędzi hipergrafu rozróżnialności.

EN

The paper presents a new methodology for symbolic reduction of multivalued decision tables, currently intensively used for compact behavioral specifications of logic controllers. As an example the well known problem of simplification of a set of several logic rules with many variables is chosen. As a completely new, original solution, the formal automated reasoning based on Gentzen propositional calculus together with hypergraph theory are jointly used. The clique-transversal symbolic calculation is performed by means of effective reasoning in Gentzen calculus.

2

Nondeterministic decision rules in classification process for medical data

Marszał-Paszek B., Paszek P.

Journal of Medical Informatics & Technologies

|

2011

|

Vol. 17

59--64

EN

In the paper, we discuss nondeterministic rules in decision tables, called the second type nondeterministic rules. They have a few decisions values on the right hand side but on the left hand side only one attribute that has two values. We show that these kinds of rules can be used for improving the quality of classification. It is important in rule-based diagnosis support systems, where classification error can lead to serious consequences. The well known greedy strategy to construct the new nondeterministic rules, have been proposed. Additionally, based on deterministic and nondeterministic (second type) rules, classification algorithm with polynomial computational complexity has been developed. This rule-based classifier was tested on the group of decision tables, containing medical data, from the UCI Machine Learning Repository. The reported results of experiments showing that by combining rule-based classifier based on deterministic rules with second type nondeterministic rules give us possibility to improve the classification quality.

3

Deterministic and nondeterministic decision rules in classification process

Paszek P., Marszał-Paszek B.

Journal of Medical Informatics & Technologies

|

2010

|

Vol. 15

87--92

EN

In this paper an algorithm of calculating nondeterministic decision rules from the decision table was presented. The algorithm uses additional conditions imposed on rules. This is a greedy algorithm. The nondeterministic decision rules were used in the process of classification of new examples, for medical data sets. The decision tables from the UCI Machine Learning Repository were used. The achieved results allow us to state that nondeterministic decision rules can be used for improving the quality of classification.

4

Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania

Tkacz J., Adamski M.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

|

2008

|

R. 81, nr 6

728-730

PL

Przedstawiono możliwości zastosowania komputerowego wnioskowania symbolicznego Gentzena w projektowaniu układów cyfrowych oraz do rozwiązywania skomplikowanych problemów logicznych. Wykorzystując przykład sterownika zaczerpnięty z literatury, przedstawiono sposób uzyskiwania uproszczonego opisu układu kombinacyjnego, kilkukrotnie odwołujący się do systemu wnioskującego. Metoda polega na zastąpieniu silnie nieokreślonej klasycznej tablicy decyzyjnej sekwentami, które opisują relacje pomiędzy wejściami i wyjściami układu. W wyniku normalizacji tych sekwentów otrzymuje się zbiór reguł typu if-then, równoważny formie koniunkcyjnej lub dysjunkcyjnej funkcji boolowskich.

EN

The paper presents a new idea of an application of Gentzen logic symbolic reasoning for solving some combinational problems in the digital system design. Taking into account an example of industrial combinational logic controller, which could be alternatively described in classic way as an binary decision table, it is demonstrated how to apply a new efficient version of automated theorem prover in propositional sequent logic for a direct design from behavioural specification.

5

Wiedza uświadomiona i nieuświadomiona w kształtowaniu procedury diagnostycznej

Jagielski J., Skorupska I.

Pomiary Automatyka Kontrola

|

2005

|

R. 51, nr 9 bis

151--153

PL

W artykule przedstawiono podstawową procedurę diagnostyki technicznej. Scharakteryzowano wiedzę jaka może być wykorzystana do projektowania diagnostyki. Wprowadzono pojęcie wiedzy uświadomionej i wiedzy nieuświadomionej. Zaproponowano zintegrowane podejście do projektowania diagnostyki. Uwzględniono zastosowanie metod odkrywania wiedzy w bazach danych.

EN

In the article basic procedure of the technical diagnostics is presented. Knowledge which can be used to design of diagnostics is outlined. Notion of the conscious and unconscious knowledge is introduced. Integrated approach to the design of the diagnostics is proposed. Use of knowledge exploration methods in databases was took into account.

6

Precyzyjna reprezentacja wiedzy niepelnej - zbiory rozmyte i przybliżone

Szmuc T.

Geoinformatica Polonica

|

2002

|

T. 4

55-79

PL

Artykuł zawiera przegląd podstawowych pojęć i metod dotyczących dwóch najbardziej znanych podejść do reprezentacji wiedzy niepełnej: zbiorów rozmytych i zbiorów przybliżonych. Pierwsze z nich bazuje na rozszerzeniu funkcji przynależności na przedział [0, 1], natomiast drugie opisuje niedokładność klasyfikacji przez relację równoważności, tzn. elementy nierozróżnialne należą do tych samych klas. Obie teorie, wywodzące się z dążenia do opisu tego samego problemu przyjmują jednak odrębne założenia początkowe, co oczywiście prowadzi do różnych metod analizy i odmiennych obszarów efektywnego zastosowania. Nie oznacza to jednak całkowitej rozłączności tych obszarów, należy również wspomnieć o możliwości komplementarnego stosowania obu podejść. W opracowaniu nieco mniej miejsca poświęcono zagadnieniom zbiorów rozmytych, gdyż teoria jest szerzej znana, natomiast zbiory przybliżone są podejściem młodszym i słabiej rozpowszechnionym. Efektywność metod oferowanych przez tę teorię jest bardzo dobrze widoczna dla tablicowej reprezentacji wiedzy (tablice decyzyjne). Ten sposób reprezentacji wiedzy jest szeroko stosowany w informatyce (systemy regułowe, wspomaganie podejmowania decyzji, analiza danych, klasyfikacja), co przenosi się na szeroki obszar zastosowań. W końcowej części pracy pokazano alternatywny sposób reprezentacji wiedzy - zastosowanie kolorowanych sieci Petriego. Stanowi to nie tylko alternatywne podejście, lecz również umożliwia rozszerzenie klasy analizowanych tablic, m.in. przez możliwości hierarchizacji.

EN

The paper contains an overview of basic notions and methods related to two mostly known approaches to representation of uncertain knowledge, i.e. fuzzy sets and rough sets. The first approach is based on an extension of membership function into interval [0, 1], while the second one describes uncertainty of classification by equivalence relation, i.e. indistinguishable elements belong to the same classes. The both theories starting from the same requirements related to description ofthe same problem, are based on different assumptions, which lead to different analysis methods and different areas of efficient applications. However, the application areas are not totally disjoint, many examples of complement applications of both methods also can be encountered. Presentation of fuzzy sets theory is relatively less detailed, because the theory is widely known. Rough sets theory is relatively younger and not so popular. Efficiency of methods provided by the theory is especially visible in the case of table knowledge representation (decision tables). This knowledge representation is widely used in computer science (rule-based systems, decision support, data analysis, classification). The wide diversity of the applications implies wide range of areas, where the theory can be applied. In the final part of the paper, an alternative way for knowledge representation is shown. This part describes an application of Coloured Petri nets for specification and analysis of decision tables. It is not only an alternative approach, but also provides possibilities for extensions of class of analysed tables, among others by providing hierarchical structure.

7

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

Szpyrka M., Szmuc T.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2001

|

T. 5, z. 1/2

535-543

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.