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
Odabrana poglavlja umjetne inteligencije
Selected Topics in Artificial Intelligence
2024/2025
7 ECTSa
Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
NN
1. 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
Doktorski studij Informacijske znanosti 1.1 (PDDSIZ) 1 izborni
Cilj kolegija
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.
Preduvjeti
Kolegij nema definirane preduvjete
Norma kolegija
Predavanja
30 sati
Nastavnik Uloga na kolegiju Oblik nastave Tjedana Sati Grupa
Schatten Markus Nositelj
Sadržaj predavanja
  • 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.
  • Teorijski aparat umjetne inteligencije
    Logike za umjetnu inteligenciju (račun sudova, kvantificirane booleovske formule, račun predikata prvog reda, modalni propozicijski računi). Sustavi produkcija (RETE algoritam). F-logika. Situacijski računi.
  • Logičko programiranje
    Pojam logičkog programa. Semantika (fiksne točke) logičkog programa. Različiti tipovi semantika logičkih programa.
  • 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 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