Navigacija

19D081AR - Automatsko rezonovanje

Specifikacija predmeta
Naziv Automatsko rezonovanje
Akronim 19D081AR
Studijski program Elektrotehnika i računarstvo
Modul modul Primenjena matematika
Tip studija doktorske akademske studije
Nastavnik (predavač)
Nastavnik/saradnik (vežbe)
    Nastavnik/saradnik (DON)
      Broj ESPB 9.0 Status predmeta izborni
      Uslovljnost drugim predmetima nema
      Ciljevi izučavanja predmeta Upoznavanje studenata sa osnovnim metodama i tehnikama automatskog rezonovanja i primenama u matematici, računarstvu i elektrotehnici
      Ishodi učenja (stečena znanja) Studenat je sposoban da prepozna i reši neke probleme iz elektrotehnike i računarstva primenom ideja i tehnika automatskog rezonovanja.
      Sadržaj predmeta
      Sadržaj teorijske nastave Predstavljanje znanja. Klasične i neklasične logike. Deduktivni sistemi . Tehnike i strategije automatskog rezonovanja. Rezonovanje bazirano na modelima, pod zadatim uslovima, vremenski određeno rezozovanje, heurističko rezonovanje. Logičko programiranje. Razumevanje i prevođenje jezika. Softverski agenti. Verifikacija i kontrola softvera.
      Sadržaj praktične nastave Odgovarajući zadaci iz navedenih oblasti teorijske nastave.
      Literatura
      1. J. Harrison: "Handbook of Practical Logic and Automated Reasoning" Cambridge University Press, 2009.
      2. A. Voronkov and A. J. A. Robinson editors: "Handbook of Automated Reasoning", Vol. I, North Holand, 2001.
      3. L. Wos: " Journal of Automated Reasoning, Special Issue: Advances in Logic Through Automated Reasoning" , L. Wos, ed., Vol. 27, No. 2, 2001.
      4. G. Luger, W. A. Stubblefield: " Artificial Intelligence: Structures and Strategies for Complex Problem Solving", The Benjamin/Cummings PublishingCompany, Inc. 1993.
      Broj časova aktivne nastave nedeljno tokom semestra/trimestra/godine
      Predavanja Vežbe DON Studijski i istraživački rad Ostali časovi
      8
      Metode izvođenja nastave predavanja , auditorne vežbe, diskusije.
      Ocena znanja (maksimalni broj poena 100)
      Predispitne obaveze Poena Završni ispit Poena
      Aktivnosti u toku predavanja 0 Pismeni ispit 30
      Praktična nastava 0 Usmeni ispit 0
      Projekti 0
      Kolokvijumi
      Seminari 70