Bc. Michael Jakovlev, Automatická dedukcia v prvorádovej Goedelovej logike, doc. RNDr. Dušan Guller, PhD., jakovlev2@uniba.sk
Inteligentné (umelé) systémy majú pomerne dlhú históriu vývoja, prekvapujúco šesťdesiat až sedemdesiat rokov. Boli navrhnuté na riešenie komplexných problémov reálneho sveta ako aj na vykonávanie sofistikovaného rozhodovania a práce s neurčitosťou. Keďže tradičné algoritmické techniky ("hard computing") majú limitované využitie kvôli deskripčnej a výpočtovej zložitosti, inteligentné systémy sa spoliehajú na metódy "soft computing"- u akými sú strojové učenie, bayesovské a markovoské siete, fuzzy logiky, umelé neuronové siete, evolučné výpočty, metaheuristiky, techniky "swarm" inteligencie a induktívneho uvažovania. Prístup cez fuzzy logiky sa zdá byť veľmi sľubným pre dva kľúčové dôvody. Jeho silná deklaratívna účinnosť je založená na mnohohodnotových logikách, ktoré poskytujú matematicky korektnú a pokročilú sémantiku neurčitosti. Naviac môžu ponúknuť výpočtovú efektívnosť využitím metód automaticke
Cieľom diplomovej práce je návrh systému automatickej dedukcie v prvorádovej Goedelovej logike, ktorý je založený na hyper-rezolvencii.
zdrojove kody, prezentacia a pdf diplomovej prace sa daju najst tu - https://github.com/jakino22/diplomka
Text prace sa da najst tu https://www.overleaf.com/read/wwjvqjsznwgr#63d695
Zdroje:
Hyperresolution for Gödel Logic with Truth Constants - Dušan Guller https://dai.fmph.uniba.sk/~guller/product_logic/fss17.pdf
A DPLL procedure for the propositional Godel logic - Dušan Guller https://www.scitepress.org/Papers/2010/30617/30617.pdf
On the complexity of derivationin propositional calculus - G. S. Tseitin https://www.decision-procedures.org/handouts/Tseitin70.pdf
A Maehine-Orlented Logic Based on the Resolution - J. A. Robinson https://dl.acm.org/doi/pdf/10.1145/321250.321253

Toto je stranka progresu mojej Diplomovej prace