Selected Topics in Artificial Intelligence 2024/2025
7ECTSa
Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
NN
1. semestar
Osnovne informacijemdi-information-variantIzvođači nastavemdi-account-groupNastavni plan i programmdi-clipboard-text-outlineModel praćenjamdi-human-male-boardIspitni rokovimdi-clipboard-check-outlineRasporedmdi-calendar-clockKonzultacijemdi-account-voice
Cilj kolegija Odabrana poglavlja umjetne inteligencije je upoznati studenate poslijediplomskog studija sa suvremenim istraživanjima u području umjetne inteligencije, s naglaskom na istraživanja za potrebe informacijskih znanosti i poslovnih sustava.
Neka problemska područja umjetne inteligencije Problemi planiranja (svijet blokova, problem školskog rasporeda, igra SOKOBAN, igra Lemings, igra Incredible Machines). Sustavi za podržavanje istine. Sustavi strojnog učenja. Logička problemi raspoznavanja booleovskih funkcija. Dedukcija u domeni prava.
Programski jezici i alati iz domene umjetne inteligencije Prolog. Jezici i alati za rukovanje ograničenjima (Eclipse Prolog, XSB Prolog). Implementacije F-logike (Flora, Florid). Implementacije situacijskog računa (Golog).
Višeagentni sustavi Pojam višeagentnog sustava. Pojam znanja u višeagentnom sustavu. Aksiomi znanja. Primjene (protokoli razmjene informacija).
Integracija logičkih sustava i Weba Razvoj i struktura Semantičkog Weba. Gradivni elementi (razine) i tehnologija Semantičkog Weba - XML (ponavljanje), Resoruce Description Framework (RDF) i RDF Schema, Ontology Web Language (OWL), SPARQL Protocol And RDF Query Language (SPARQL), Rule Interchange Format (RIF), Gleaning Resource Descriptions from Dialects of Language (GRDDL), RDF in Attributes (RDFa), Protocol for Web Description Resources (POWDER) i POWDER-S. Ontologije u informacijskim znanostima. Deskriptivne logike (DL), zaključivanje u DL te integracija DL u Semantički Web. Povezivanje logike i pravila (Unifying Logic), dokazi za osiguravanje povjerenja u podatke (Proof) i odlučivanje o povjerenju u podatke (Trust), kriptografija za osiguravanje pouzdanosti podataka i njihovih izvora (Crypto) te kreiranje sučelja za aplikacije Semantičkog Weba (User Interface & Application).
Sadržaj seminara/vježbi
Ishodi učenja kolegija
Ishodi učenja programa
Osnovna literatura
Russell, J., Norvig, P. Artificial Intelligence: A Modern Approach, (3rd edition), Prentice Hall, 2009.
Luger, G. F., Stubblefield, W. Artificial Intelligence: Structures and Strategies for Complex Problem Solving, (6th edition), Addison-Wesley, 2008.
Ertel, W. Introduction to Artificial Intelligence, Springer 2011.
Shoham, Y., Leyton-Brown, K. Multiagent systems: Algorithmic, Game-Theoretic and Logical Foundations, Cambridge University Press, 2008.
Dopunska literatura
Čubrilo, M. Matematička logika za ekspertne sisteme, Informator, Zagreb, 1989.
Gabbay, D. M., Hogger, C., Robinson, J. A. (Editors). Handbook of Logic in Artificial Intelligence and Logic Programming, serija knjiga 1. Logical Foundations 2. Background computational Structures 3. Deduction Metodologies 4. Semantic Structures 5. Semantic Modelling
Funge, J. D. Artificial Intelligence For Computer Games: An Introduction, Peters Corp. 2004.
Časopisi: 1. Artificial Intelligence, Elsevier (dostupan preko servisa Science Direct) 2. Journal of Symbolic Computation, Elsevier (dostupan preko servisa Science Direct) 3. Knowledge Base Systems, Elsevier (dostupan preko servisa Science Direct) 4. European Journal of Operational Research, (dostupan preko servisa Science Direct) 5. The Journal of Logic and Algebraic Programming, North Holland, (dostupan preko servisa Science Direct)
Biere, A., Heule, M.,Van Maaren, H., Walsh, T. (Authors/Editors). Handbook of Satisfiability, IOS Press, 2009
Ghallab, M, Nau, D., Traverso, P. Automated Planning: Theory and Practice, Elsevier, 2004.
van Ditmarsch, H., van der Hoek, W., Kooi, B. Dynamic epistemic logic, Springer, 2008.
Slični kolegiji
Naziv doktorskog studija je Logic and Artificial Intelligence. Program obuhvaća proučavanje logičkih sustava na teorijskoj razini, kao i njihove primjene, uključujući tehnike automatske dedukcije, višeagentne sustave, kognitivnu robotiku i formalizme za reprezentaciju znanja). Posebna pažnja posvećena je abduktivnom rezoniranju, strojnom učenju, vremenskim logikama, itd.
Studij nudi vrlo velik izbor istraživačkih tema. Svaki od dvanaest profesora nudi, u okviru jedinstvenog studija, svoj izbor istraživačkih tema, uključujući: konstruktivne logike i njihove semantike, principe refleksije i njihovu primjenu u sustavima automatske dedukcije, primjenu dokazivanja teorema u području programiranja, izgradnju i implementaciju višeagentnih sustava, formalne modele digitalnih sustava, itd.
Vrlo širok izbor tema iz područja AI. Među njima je i nekoliko koje se po sadržaju preklapaju sa sadržajem ovog kolegija (Techniques in Artificial Intelligence, Knowledge-based Applications Systems, Natural Language and the Computer Representation of Knowledge)
Redoviti studentiIzvanredni studenti
U kalendaru ispod se nalaze konzultacije predmetnih nastavnika, no za detalje o konzultacijama možete provjeriti na profilu pojedinog predmetnog nastavnika.