Efektivita inference ve fuzzy predikátové logice

Bc. Tomáš TURČEK

Diplomová práce

Effectiveness of inference in fuzzy predicate logic

Abstract:

The aim of this work was finding the most efficient inferential strategy and technology, creation of appropriate examples, the knowledge bases for the demonstration in the FPL GERDS, then design and create the knowledge base and then test inferential strategies, automated system for deduction FPL GERDS. Tests are made up of various combinations of logic operands for different numbers of formulas. Inference we evaluate the effectiveness of graphics made for the lowest time inference performed and the lowest number resolutive generating several inferential strategies.

Abstract:

Cieľom tejto práce bolo zistenie najefektívnejšej inferenčnej stratégie a jej techniky, vytvorenie vhodných príkladov, znalostných báz pre demonštráciu v systéme FPL GERDS, teda navrhnúť a vytvoriť znalostné báze a následne ich testovať inferenčnými stratégiami automatizovaného systému pre dedukciu FPL GERDS. Testy sú zostavené z rôznych kombinácií logických operandov pre rôzne počty formulí. Efektivitu inferencie sme vyhodnocovali graficky pre najnižší dosiahnutý čas vykonanej inferencie a najnižšieho počtu vygenerovaných rezolvent niekoľkými inferenčnými stratégiami.

Klíčová slova

Inferenčné stratégie, systém pre automatizovanú dedukciu, logické operandy, efektívna inferencia, fuzzy logika, generovanie rezolvent, lineárne prehľadávanie, prehľadávanie do šírky, modifikované lineárne prehľadávanie, DCF algoritmus

Jazyk práce: slovenština

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

Zveřejnit od: 25. 6. 2009

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

• Obhajoba proběhla 20. 8. 2009
• Vedoucí: doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Magisterský studijní program / obor:
Informatika / Informační systémy