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. D. W. Patterson, Introduction to Artificial Inteligence and Expert Systems, 1990.
2. R. Shingal, Formal Concepts in Artificial Intelligence, Chapman and Hall, 1992.
Srce - Sveučilišni računski centar Sveučilišta u Zagrebu