Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych

• Autorzy: Kluska-Nawarecka S. , Adrian A. , Durak J. , Mrzygłód B. , Wilk-Kołodziejczyk D.

Warianty tytułu

EN

Mathematical tools for representation of knowledge on metal products defects

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono dwa odmienne sposoby zastosowań metod matematycznych do reprezentowania wiedzy o wadach wyrobów stalowych. W tradycyjnym stosuje się funkcje i równania do opisu badań procesów technologicznych i obiektów materialnych. W symbolicznym zakłada się istnienie izomorfizmu pomiędzy bytami materialnymi a pewnymi strukturami matematycznymi. Wykorzystuje się własności tych struktur do formalnego opisu rzeczywistości.

EN

Two different methods of applications of mathematical methods for describing of knowledge about defects of steel products are presented. In traditional method the functions and equations for description of investigations of technological processes products are applied. In the symbolic is assumed the existence of isomorphism between reality and some mathematical structures. For formal description of reality the properties for these structures are used.

Słowa kluczowe

PL

diagnostyka wad; wyroby hutnicze; reprezentacja wiedzy; formalizacja wiedzy; logiki; wnioskowanie; język logiki

EN

diagnostics of defects; steel products; knowledge representation; knowledge formalization; logic; deductions; language of logic

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Hutnik, Wiadomości Hutnicze
• Rocznik: 2005
• Tom: Vol. 72, nr 4
• Strony: 247--251
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Kluska-Nawarecka S.

• Akademia Górniczo-Hutnicza, Kraków

autor

Adrian A.

• Akademia Górniczo-Hutnicza, Kraków

autor

Durak J.

• Akademia Górniczo-Hutnicza, Kraków

autor

Mrzygłód B.

• Akademia Górniczo-Hutnicza, Kraków

autor

Wilk-Kołodziejczyk D.

• Akademia Górniczo-Hutnicza, Kraków

Bibliografia

• 1. Guy A. G.: Wprowadzenie do nauki o materiałach, Warszawa 1977
• 2. Hillert M.: Acto Metali, 1965, nr 13, s. 227-238
• 3. Smith C.S.: Grains, Phases and Enterfaces: An Interpretation of Microstructure, trans. AIME. t. 175, 1948, s. 15-31
• 4. Adrian H.: Model termodynamiczny wydzielanie węglikoazotków w stalach niskostopowych o podwyższonej wytrzymałości z zastosowaniem do badań hartowności, wyd. AGH, Kraków 1995
• 5. Wagnew C.: Theorie der Aternung von Niederschlagen durch Umlosen (Ostwald-Reifung) Z. Elektrochem, t. 65, 1961, s. 581-591
• 6. Bóle L, Dziewicki K., Rychlih P., Szałas A.: Wnioskowanie w logikach nieklasycznych, Akademicka Oficyna Wydawnicza PLJ, Warszawa 1995
• 7. Adrian H.: Badania metaloznawcze pęknięcia tarczy hamulcowej samochodu osobowego, Kraków 2004 (ekspertyza, praca nie publikowana)
• 8. Śnieżyńśki B.: Zastosowanie logiki wiarygodnego rozumowania w systemach diagnostycznych, praca doktorska Kraków 2003
• 9. Kluska-Nawarecka S., Adrian A., Durak J., Rójek G., Wilk- Kołodziejczyk D., Marek B.: Problem budowy bazy wiedzy dla potrzeb diagnostyki wad wyrobów metalowych, Hutnik-Wiadomości hutnicze, czerwiec 2004, s. 265—270
• 10. Mrzyglód B., Wilk-Kolodziejczyk D., Adrian A., Durak J.: Zastosowania logiki wiarygodnego rozumowania w diagnostyce wad wyrobów metalowych, Materiały XII konferencji Informatyka w Technologii Metali, Ustroń 2005