Efektivita inference ve fuzzy deskripční logice

Mgr. Radek JENDRYŠČÍK

Master's thesis

Effectiveness of inference in fuzzy description logic

Anotácia:

V této diplomové práci je ukázána možnost použití fuzzy logiky, deskripční logiky. První dvě kapitoly se zabývají predikátovou a deskripční logikou. V třetí kapitole se věnuji vysvětlení pojmů jako je fuzzy množina a stupeň příslušnosti. Je zde uvedena základní definice, vzájemný vztah těchto pojmů a poté rozebrány základní operace, které lze s těmito množinami provádět. Následně se věnuji přímo fuzzy logice a jejím odlišnostem oproti klasickým logikám. Zmiňuji dva různé druhy logiky, které pojem fuzzy logika zastřešují, a to vícehodnotovou logikou, ta vznikla přímým zobecněním klasické logiky, a logiku lingvistickou, která se zaměřuje především na významy jednotlivých slov. U obou druhů logiky je definován jazyk a interpretační pravidla. Následující kapitola pojednává o rezoluci. Možnosti prohledávání do šířky a do hloubky. Pátá kapitola prináší samotnou aplikaci a vyhledávání vhodného výrobku dle požadovaných kritérií pomocí fuzzy logiky.

Abstract:

This thesis focuses to the inference in fuzzy logics, especially in fuzzy description logic. Starting chapters introduce the syntax and semantics of two-valued logics and then it is extended into the concept of fuzzy logics. There is stated the idea of fuzzy set defining further the concept truth degrees both in predicate and description logics. The process of inference is then explicated and several strategies based on resolution principle are explained. The last chapter describes practical example of inference in fuzzy description logic.

Kľúčové slová

fuzzy logika, deskripční logika, rezoluce

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 27. 7. 2009

Zverejniť od: 27. 7. 2009

Obhajoba závěrečné práce

• Obhajoba proběhla 20. 8. 2009
• Vedúci: doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.

University of Ostrava

Faculty of Science

Master programme / odbor:
Information Science / Information Systems