Algoritmi za standardnu translaciju modalnih formula

diplomski rad

• Autor: Filip Skrinjar
• Mentor: Mladen Vuković (mentor)
• Član povjerenstva: Mladen Vuković (predsjednik povjerenstva)
• Član povjerenstva: Goranka Nogo (član povjerenstva)
• Član povjerenstva: Vedran Čačić (član povjerenstva)
• Član povjerenstva: Miljenko Huzak (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Prirodoslovno-matematički fakultet; (Matematički odsjek); Zagreb
• Datum i država obrane: 2019-12-19, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

Glavna tema ovog rada je Szalasov algoritam koji za danu modalnu formulu pronalazi njenog korespondenta prvog reda na okvirima. U prvom poglavlju rada promatramo osnovni modalni jezik, Kripkeovu semantiku te iznosimo potrebne definicije i pojmove logike prvog i drugog reda. Potom se bavimo temom korespondencije formula osnovnog modalnog jezika i formula logike prvog i drugog reda. Uz to promatramo i funkciju standardne translacije za formule osnovnog modalnog jezika. U trećem poglavlju detaljno promatramo Szalasov algoritam. Teorijski ga analiziramo, opisujemo po koracima, iznosimo pseudokod algoritma kao i neke primjere rada.

Sažetak (engleski)

The main topic of this Master thesis is Szalas’ algorithm which for a given modal formula, finds its first-order correspondent. In the first chapter of the thesis, we look at the basic modal language, Kripke semantics, and present the necessary definitions and concepts of first and second-order logic. We then address the topic of correspondence between basic modal formulas and first or second-order formulas. We also look at the standard translation function for basic modal formulas. In the third section, we look at the Szalas’ algorithm in detail. We analyze it theoretically, describe it step by step, present the pseudocode of the algorithm and present some examples.

• Ključne riječi: Szalasov algoritam; Kripkeova semantika
• Ključne riječi (engleski): Szalas’ algorithm; Kripke semantics
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:099612
• Studijski program: Naziv: Računarstvo i matematika; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2021-03-09 12:39:27