FOI Nastava - Odabrana poglavlja umjetne inteligencije

Sadržaj se učitava...

FOI Nastava

apps

mdi-login

Odabrana poglavlja umjetne inteligencije

Selected Topics in Artificial Intelligence
2022/2023

7 ECTSa

Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)

Katedra za teorijske i primijenjene osnove informacijskih znanosti

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
Čubrilo Mirko	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.