Fakultet tehničkih nauka

Predmet: Predstavljanje znanja i automatsko zaključivanje (17.DOM47Z)

Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast
  • Primenjene računarske nauke i informatika
  • Teorijska i primenjena matematika
ESPB 10

Sticanje osnovnih znanja o predstavljanju znanja i automatskom zaključivanju i uključivanje u naučno-istraživački rad.

Poznavanje osnovnih pojmova i rezultata u oblasti predstavljanja znanja i automatskog zaključivanja. Uključivanje u istraživanje iz određenih oblasti predstavljanja znanja i automatskog zaključivanja, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Klasična logika. Erbranova teorema i Skolemova forma. Rezolucija i analitički tablo u predikatskoj logici. Modalne logike (logike znanja, temporalne logike, dinamičke logike). Verovatnosne logike. Logike za nemononotono rezonovanje. Polivalentne logike. Possibility logike. Intuicionistička logika. Primene logičkih teorija u modeliranju znanja. Automatsko dokazivanje teorema.

Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i diskutuje je sa nastavnikom na konsultacijama. Kroz studijski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.

Autori Naziv Godina Izdavač Jezik
J. Halpern Reasoning About Uncertainty 2005 MIT Press Engleski
Janičić, P. Matematička logika u računarstvu 2009 Matematički fakultet, Beograd Srpski jezik
Zoran Ognjanović, Nenad Krdžavac Uvod u teorijsko računarstvo 2005 Fakultet organizacionih nauka, Beograd Srpski jezik
H. Lewis, C. Papadimitriou Elements of the theory of computation/ 1981 Prentice-Hall Engleski
J. Halpern, R. Fagin, Y. Moses, M. Vardi Reasoning About Knowledge 2003 MIT Press Engleski
Huges and Creswell A companion to modal logic 1990 Addison-Wesley Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Teorijski deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00