Navigacija

13D081AR - Automatsko rezonovanje

Specifikacija predmeta
Naziv Automatsko rezonovanje
Akronim 13D081AR
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. S. Kleene: "Introduction to Metamathematics", North-Holland, 1952.
      2. L. Wallen: " Automated Proof -Search in Non-classical Logic", MIT Press, 1990.
      3. L. Wos at all: " Automated Reasoning: Intoroduction and Applications" McGraw-Hill, 1992.
      4. L. Wos: " Journal of Automated Reasoning, Special Issue: Advances in Logic Through Automated Reasoning" , L. Wos, ed., Vol. 27, No. 2, 2001.
      5. 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
      6
      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
      Kolokvijumi
      Seminari 70