Wyniki wyszukiwania - BazTech

Ograniczanie wyników

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

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

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.

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.

Abductive diagnostic inference: theory and implementation

Ligęza A., Parra P. F.

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

1999

T. 3, z. 1

201-207

In this paper a tool for diagnosing certain class of "steady-state" faults occurring in static or dynamic systems is presented. The formalism that is used is called an AND/OR/NOT causal graphs. The influences between possible symptoms, from elementary diagnoses to manifestation failures are represented in a connected graph where the links can be positive or negative (NOT). These links are combined at each node by means of the logical connectives. Diagnostic reasoning is supported using various techniques and extensions, and a final validation stage of generated possible diagnoses. The presented approach includes introduction of diagnoses covering not only specific component faults but "wrong" compositions of control actions and operational conditions, fuzzy characterization of faults, ordering of alternative symptoms with use of qualitative probabilities.

W pracy przedstawiono narzędzie do diagnostyki pewnej klasy ustalonych awarii występujących w systemach statycznych i dynamicznych. Zastosowany formalizm opiera się na grafach przyczynowo-skutkowych reprezentujących logiczne zależności typu AND/OR7 NOT. Powiązania przyczynowo-skutkowe pomiędzy symptomami są reprezentowane łukami grafu, przy czym istnieje możliwość reprezentacji oddziaływania pozytywnego i negatywnego (NOT). Łuki grafu są połączone w każdym węźle za pomocą spójników logicznych. Realizowane jest wnioskowanie diagnostyczne z wykorzystaniem różnych technik i rozszerzeń oraz końcową weryfikacją generowanych diagnoz. Proponowane podejście umożliwia nie tylko diagnostykę awarii poszczególnych elementów ale także błędnego sterowania i nieodpowiednich warunków pracy oraz diagnostykę w przypadku oddziaływań rozmytych i jakościowych prawdopodobieństw wystąpienia symptomów.