PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  tabular systems
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Tabular systems with object values. Extended knowledge representation and knowledge manipulation algebra
100%
Ligęza A. , Parra P. F.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2001
|
tom T. 5, z. 1/2
355-363
EN
Tabular systems constitute an important extension of Relational Databases. A tabular system consists of a table with columns labelled by attributes. Any row of such system specifies characteristics of some object defined in the attribute space; it can also define a rule, provided that some attributes refer to preconditions and at least one is a decision attribute. In this paper an extended form of tabular systems is proposed -instead of atomic values object values for representing complex structures are allowed. A formal definition of an object is put forward. Partial order relation over objects is defined and elements for object algebra are outlined. The extended knowledge representation and manipulation formalism can be used for data and knowledge representation, analysis, manipulation and verification of theoretical properties.
PL
Systemy tablicowe stanowią istotne rozszerzenie relacyjnych baz danych. System tablicowy jest zbudowany zgodnie ze strukturą tablicy relacyjnej bazy danych, której kolumny etykietowane są wybranymi atrybutami. Każdy wiersz takiej tablicy zawiera specyfikację charakterystyki pewnego obiektu przestrzeni atrybutów. Wiersz taki może definiować również regułę, o ile przyjęty jest podział atrybutów na definiujące prewarunki i atrybuty decyzyjne. W pracy rozważa się rozszerzenie formalizmu systemów tablicowych - zamiast atomicznych wartości atrybutów dopuszcza się wartości w formie obiektów reprezentujących złożone struktury. Zaproponowano formalną definicję obiektu. Zdefiniowano też relację częściowego porządku dla obiektów oraz naszkicowano elementy algebry obiektowej. Tak rozszerzony sposób reprezentacji wiedzy może być zastosowany do reprezentacji bardziej złożonych struktur danych i wiedzy, analizy i przetwarzania oraz weryfikacji własności formalnych.
2
Content available remote Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods
100%
Ligęza A. , Nalepa G. J. , Szmuc T. , Szpyrka M. , Szwed P. , Wojnicki I.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2001
|
tom T. 5, z. 1/2
345-354
EN
This paper is devoted to presentation of certain issues concerning analysis and verification of tabular systems. Such systems constitute an extension of relational databases and attributive decision tables. In order to assure safe and reliable performance of tabular systems, certain logical properties should be verified. The paper provides a logical model of tabular systems and states logical definitions of features such as completeness, consistency with constraints and determinism. Further, an algebraic approach to verification of these properties is proposed. A graphical interpretation and use of some graphical methods is also discussed.
PL
W pracy przedstawiono zagadnienia analizy, weryfikacji i projektowania tablicowych systemów regułowych. Systemy takie stanowią istotne rozszerzenie relacyjnych baz danych i atrybutowych tablic decyzyjnych. Aby zapewnić ich niezawodną i bezpieczną pracę, pewne własności logiczne powinny zostać zweryfikowane. W pracy przedstawiono model logiczny systemów tablicowych oraz podano definicje logiczne własności takich, jak zupełność, zgodność z ograniczeniami i determizm. Zaproponowano elementy algebraicznego podejścia do weryfikacji tych własności. Przedstawiono także ideę zastosowania podejścia graficznego do wspomagania projektowania.
3
Content available remote Granular sets and granular relations. Applications to knowledge representation and tabular systems analysis
60%
Ligęza A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2003
|
tom T. 7, z. 1-2
141-146
EN
This paper presents an idea of granular sets and granular relations and their application to knowledge representation with use of tabular systems. Granular sets are ones composed of subsets of atomic elements. Granular relations are relations defined on the Cartesian product of granular sets. Granular sets can be used to represent domains of attributes at higher level of abstraction then in the case of atomic values. Granular relations constitute an extension of relational databases and attributive decision tables. They can be used for concise and efficient knowledge representation. In order to assure safe and reliable performance of tabular systems, certain logical properties of them should be verified. The paper provides algebraic bases for analysis of tabular systems and knowledge manipulation.
PL
W pracy przedstawiono zarys koncepcji zbiorów granularnych i relacji granularnych oraz możliwości ich zastosowania do reprezentacji wiedzy w systemach tablicowych. Zbiory granularne to zbiory, w których wyróżniono pewne podzbiory stanowiące kolekcje elementów atomicznych. Relacje granularne to relacje zdefiniowane w iloczynie kartezjańskim zbiorów granularnych. Zbiory granularne mogą być zastosowane do reprezentacji dziedzin atrybutów na wyższym poziomie abstrakcji niż w przypadku wartości atomicznych. Relacje granularne stanowią rozszerzenie koncepcji tablic relacyjnych baz danych oraz atrybutowych tablic decyzyjnych. Mogą one być zastosowane do zwartej i efektywnej reprezentacji wiedzy w systemach tablicowych. W celu zapewnienia bezpiecznej i niezawodnej pracy systemów tablicowych należy dokonać weryfikacji ich własności formalnych. W pracy przedstawiono algebraiczne podstawy analizy systemów tablicowych oraz przetwarzania wiedzy oparte na wprowadzonym pojęciu granularności.
4
Content available remote Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
60%
Szpyrka M. , Szmuc T.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2001
|
tom 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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.