Sadržaj se učitava...
mdi-home Početna mdi-account-multiple Djelatnici mdi-script Studiji mdi-layers Katedre mdi-calendar-clock Raspored sati FOI Nastava search apps mdi-login
Uvod u modeliranje znanja
Introduction to Knowledge Modelling
2024/2025
6 ECTSa
Informacijski i poslovni sustavi 1.2 (IPS)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
M3
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
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 15 2 1
Sekovanić Vlatka Suradnik Vježbe u praktikumu 15 2 2
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
U kalendaru ispod se nalaze konzultacije predmetnih nastavnika, no za detalje o konzultacijama možete provjeriti na profilu pojedinog predmetnog nastavnika.
2024 © Fakultet organizacije i informatike, Centar za razvoj programskih proizvoda