Početna stranicaVisoka učilištaKorisničke stranice

Sadržaj predmeta

Inteligentni sustavi ->
Kratica: RAČ06O7Opterećenje: 45 + 15 + 30 + 0
Nositelji: prof. dr. sc. Slobodan Ribarić
doc. Bojana Dalbelo-Bašić
Definicija umjetne inteligencije. Turingov test. Inteligentni sustavi: funkcije i svojstva. Prikaz znanja, sheme za prikaz znanja i zaključivanje. Agenti i multiagentski inteligentni sustavi. Automatsko zaključivanje uporabom propozicijske logike. Rezolucijsko zaključivanje. Automatsko zaključivanje uporabom predikatne logike. Zaključivanje u sustavima temeljenim na pravilima. Vjerojatnosno zaključivanje. Prikaz i rješavanje problema u prostoru stanja. Postupci i tehnike pretraživanja prostora stanja. Zaključivanje o vremenskim odnosima u vremenskim bogatim domenama.
Literatura:
1. S. J. Russell, P. Norvig: Artificial Intelligence: A Modern Approach, Prentice Hall, 1994.
2. N. J. Nilsson: Artificial Intelligence: A New Synthesis, Morgan Kaufmann Publishers, 1998.
3. R. Shinghal: Formal Concepts in Artificial Intelligence - Fundamentals, Chapman & Hall, 1992.
Srce - Sveučilišni računski centar Sveučilišta u Zagrebu