FOI Nastava - Uvod u modeliranje znanja

Sadržaj se učitava...

FOI Nastava

apps

mdi-login

Uvod u modeliranje znanja

Introduction to Knowledge Modelling
2022/2023

6 ECTSa

Informacijski i poslovni sustavi 1.2 (IPS)

Katedra za teorijske i primijenjene osnove informacijskih znanosti

5. semestar

Osnovne informacijemdi-information-variant

Izvođači nastavemdi-account-group

Nastavni plan i programmdi-clipboard-text-outline

Model praćenjamdi-human-male-board

Ispitni rokovimdi-clipboard-check-outline

Rasporedmdi-calendar-clock

Konzultacijemdi-account-voice

Izvođenje kolegija

Studij	Studijski program	Semestar	Obavezan
Informacijski i poslovni sustavi 1.2 (IPS)	Umjetna inteligencija u poslovanju	5	obavezan

Cilj kolegija

Osnovni cilj predmeta je upoznavanje studenata s osnovama modeliranja i prikaza znanja domene te automatskim rezoniranjem kao temeljnim područjima umjetne inteligencije, Studenti će steći znanja iz teorije automata i propozicijske i predikatne logike te će ta znanja praktično primijeniti za modeliranje i rješavanje problema u različitim domenama iz poslovanja. Također će naučiti ulogu formalizama za modeliranje znanja u cjelokupnom procesu razvoja informacijskih i inteligentnih sustava.

Preduvjeti

Matematika 1 (IPS 1.2)

Norma kolegija

Predavanja

30 sati

Vježbe u praktikumu

30 sati

Nastavnik	Uloga na kolegiju	Oblik nastave	Tjedana	Sati	Grupa
Lovrenčić Sandra	Nositelj	Predavanja	0	2	1
Sekovanić Vlatka	Suradnik	Vježbe u praktikumu	0	2	1

Sadržaj predavanja

Uvod u predmet (2)
Pregled područja, formalni sustavi, značaj teorije automata, značaj automatskog rezoniranja, modeliranje i prikaz znanja domene i rezoniranje kao temeljna područja umjetne inteligencije, motivacijski primjeri
Regularni jezici i konačni automati (6)
Osnovni pojmovi, regularni jezici, regularni izrazi, deterministički konačni automati, nedeterministički konačni automati, prikaz automata, veza konačnih automata i regularnih izraza, primjeri modeliranja odabranih problema
Kontekstno slobodne gramatike (4)
Neregularni jezici i lema o nadimanju, Chomskyjeva hijerarhija gramatika, definicija kontekstno slobodnih gramatika, deterministički i nedeterministički potisni automati, veza kontekstno slobodnih gramatika i potisnih automata, Backus-Naur forma, primjeri modeliranja odabranih problema
Turingov stroj (2)
Definicija, deterministički Turingov stroj, nedeterministički Turingov stroj, prepoznavanje jezika i rješavanje problema, varijacije Turingovog stroja, primjeri primjene
Modeliranje znanja u propozicijskoj logici (računu sudova) (2)
Sintaksa i semantika, interpretacija i istinitost propozicija, logička posljedica, primjeri modeliranja znanja
Rezoniranje u propozicijskoj logici (4)
Automatsko rezoniranje, disjunktivna i konjunktivna normalna forma, rezolucija za propozicijsku logiku i njezine modifikacije, problem zadovoljivosti i DPLL algoritam, primjeri modeliranja i rješavanja problema
Modeliranje znanja u predikatnoj logici (računu predikata) (2)
Sintaksa i semantika, prevođenje rečenica, primjeri modeliranja znanja odabranih domena iz poslovanja
Rezoniranje u predikatnoj logici (6)
Preneksna normalna forma, Skolemova normalna forma, unifikacija, Hornova klauzula, rezolucija i njezine modifikacije, SLD rezolucija i pretraživanje klauzula, logičko programiranje, primjeri modeliranja i rješavanja problema iz poslovanja
Razvoj područja i mogućnosti primjene (2)
Druge vrste logike (neizrazita, modalna, vremenska…) i njihov značaj za umjetnu inteligenciju, automatsko dokazivanje teorema, provjera modela, formalna verifikacija softvera i hardvera

Sadržaj seminara/vježbi

Laboratorijske vježbe
Na vježbama se rade zadaci vezani uz praktičnu primjenu gradiva za modeliranje znanja i rješavanje problema iz informacijskih znanosti, uključujući teoriju automata i logičke programske jezike.

Ishodi učenja kolegija

Ispitati je li zadani jezik kontestno slobodan te ga opisati nedeterminističkim potisnim automatom.
Objasniti osnovne značajke i razlike između modeliranja problema iz područja informacijskih znanosti pomoću računa sudova i računa predikata
Modelirati zadani problem iz područja informacijskih znanosti pomoću računa predikata.
Iskazati osnovne definicije i teoreme te objasniti koncepte vezane uz logičku posljedicu.
Oblikovati zadani problem iz područja informacijskih znanosti u disjunktivnu, konjunktivnu i Skolemovu normalnu formu.
Primijeniti Davis-Putnam-Logemann-Loveland algoritam za određivanje zadovoljivosti skupa tvrdnji.
Primijeniti pravilo rezolucije i njegove modifikacije za određivanje logičke posljedice.
Konstruirati Turingov stroj za zadani problem prepoznavanja jezika i zadani problem izračunavanja.
Analizirati načine pronalaženja rješenja u logičkim programskim jezicima te osmisliti rješenja jednostavnijih zadanih problema i implementirati ih pomoću zadanog logičkog programskog jezika

Ishodi učenja programa

razumjeti stanje i trendove razvoja suvremenih informacijskih i komunikacijskih tehnologija (ICT), razumjeti njihov utjecaj na pojedinca, organizaciju i društvo te procijeniti njihovu primjenjivost u zadanom kontekstu
razumjeti i primijeniti ključne aspekte informacijske tehnologije (programiranje, algoritmi, strukture podataka, baze podataka i znanja
razumjeti i primijeniti suvremene tehničke koncepte i prakse u informacijskim tehnologijama (arhitektura računala, operacijski sustavi, mreže računala)
razumjeti i primijeniti matematičke metode, modele i tehnike primjerene rješavanju problema iz područja informacijskih i poslovnih sustava
razumjeti bitne čimbenike koji utječu na poslovanje organizacije i pojedinaca te primijeniti osnovne metode i koncepte planiranja, upravljanja i obračuna poslovanja
analizirati stanje, identificirati prilike i definirati probleme s kojima se susreću organizacije i pojedinci u primjeni ICT, te formulirati rješenja uz primjenu ICT
razumjeti osnovna vertikalna područja primjene ICT (industrija, zdravstvo, promet, turizam, država i sl.), te horizontalne aplikacije (uredski sustavi, DSS, CRM, ERP, DMS i sl.)
razumjeti i primijeniti suvremene metodološke pristupe razvoja organizacijskih i informacijskih sustava, te oblikovanja organizacije i organizacijske strukture
razumjeti suvremene organizacijske koncepte i upravljati organizacijskom kulturom
modelirati poslovne procese i podatke u organizacijama i primijeniti modele u razvoju informacijskih i poslovnih sustava
razumjeti i primijeniti metode, tehnike razvoja informacijskih i programskih sustava u suvremenim razvojnim okolinama
razumjeti i primijeniti procese, metode i tehnologije upravljanja IT uslugama i resursima te podrške i pružanja različitih vrsta usluga vezanih uz ICT
razumjeti i primijeniti etička načela, zakonsku regulativu i norme koje se primjenjuju u struci
razumjeti osnovna načela i metode upravljanja organizacijom i uspješno raditi u timu
uspješno komunicirati s klijentima, korisnicima i kolegama na verbalan i pisani način uz primjenu odgovarajuće terminologije uključujući i sposobnost komunikacije o struci na stranom jeziku
pratiti stručnu literaturu na hrvatskom i stranom jeziku, pripremiti i samostalno održati prezentacije na hrvatskom i stranom jeziku stručnoj i općoj publici, te kritičku evaluaciju prezentirane stručne teme
razumjeti i primijeniti vještine učenja potrebne za cjeloživotno učenje i nastavak obrazovanja na diplomskom studiju.
razumjeti i primijeniti osnovne principe planiranja i razvoja karijere u struci i vlastitih poduzetničkih poduhvata

Osnovna literatura

Goranko, V. (2017.) Logic as a Tool: A Guide to Formal Logical Reasoning, Wiley
O'Reagan, G. (2017.) Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications, Springer
Mozgovoy, M. (2010.) Algorithms, Languages, Automata, and Compilers: A Practical Approach, Jones and Bartlett Publishers

Dopunska literatura

Barwise, J.; Etchemendy, J. (2011.) Language: proof and logic, 2nd edition. CSLI publications
Bratko, I. (2011.) Prolog programming for artificial intelligence, 4th edition. Pearson Education Canada
Čubrilo, M. (1989). Matematička logika za ekspertne sisteme. Informator

Slični kolegiji

Redoviti studenti

Izvanredni studenti

izvanredni rok

Datum: 14.04.2025.

Vrijeme: 16:00

Opis: Na Fakultetu

U kalendaru ispod se nalaze konzultacije predmetnih nastavnika, no za detalje o konzultacijama možete provjeriti na profilu pojedinog predmetnog nastavnika.