PL
 |
EN
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:  systemy tablicowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Granular sets and granular relations. Applications to knowledge representation and tabular systems analysis
Ligęza A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2003
|
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.
2
Content available remote Knowledge representation and inference for analysis and design of databases and tabular rule-based systems
Ligęza A.
Computer Science
|
2001
|
Vol. 3
13-60
EN
Rule-based systems constitute a powerful tool for specification of knowledge in design and implementation of knowledge-based systems. They provide also a universal programming paradigm for domains such as intelligent control, decision support, situation classification and operational knowledge encoding. In order to assure safe and reliable performance, such systems should satisfy certain formal requirements, including completeness and consistency. This paper addresses the issue of analysis and verification of selected properties of a class of such systems in a systematic way. A uniform, tabular scheme of single-level rule-based systems is considered. Such systems can be applied as a generalized form of databases for specification of data patterns (unconditional knowledge), or can be used for defining attributive decision tables (conditional knowledge in form of rules). They can also serve as lower-level components of a hierarchical, multi-level control and decision support knowledge-based systems. An algebraic knowledge representation paradigm using extended tabular representation, similar to relational database tables is presented and algebraic bases for system analysis, verification and design support are outlined.
PL
Systemy regułowe stanowią silne narzędzie specyfikacji wiedzy dla projektowania i implementacji systemów z bazą wiedzy. Równocześnie dostarczają one uniwersalnej metodologii programowania dla zastosowań w dziedzinach, takich jak: inteligentne sterowanie, wspomaganie decyzji, klasyfikacja sytuacji oraz kodowanie wiedzy operacyjnej. Aby jednak zapewnić bezpieczne i niezawodne działanie takich systemów powinny one spełniać szereg wymagań formalnych, takich jak zupełność i spójność. W artykule przedstawiono problematykę systematycznej analizy i weryfikacji wybranych własności pewnej klasy systemów. Zaproponowano jednolity, jednopoziomowy tablicowy sposób reprezentacji wiedzy w systemach regułowych. Systemy takie mogą znaleźć zastosowanie jako uogólnione bazy danych dla specyfikacji wzorców danych (wiedza w postaci uogólnionych faktów) lub też mogą być zastosowane do budowy atrybutowych tablic decyzyjnych (wiedza w postaci reguł). Mogą one także stanowić komponenty niskiego poziomu w wielopoziomowych systemach hierarchicznych przeznaczonych do sterowania lub wspomagania decyzji. Zaprezentowano algebraiczne podejście do reprezentacji rozszerzonych systemów tablicowych oparte na schemacie relacyjnych baz danych oraz naszkicowano podstawy algebraicznej analizy, weryfikacji i wspomagania projektowania takich systemów.
3
Content available remote Tabular systems with object values. Extended knowledge representation and knowledge manipulation algebra
Ligęza A., Parra P. F.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2001
|
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.
4
Content available remote Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods
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
|
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.
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ć.