Subject: Reasnoning about knoledge and automatic conclusion (17.DOM47Z )
Study programmes of the course:
| Type of studies | Title |
|---|---|
| Doctoral Academic Studies | Mathematics in Engineering (Year: 2, Semester: Winter) |
Gaining fundamental knowledge about knowledge representation and automated reasoning and taking part in research and scientific work.
Knowledge about basic notions and results in the field of knowledge representation and automated reasoning. Taking part in the research work in some areas of knowledge representation and automated reasoning chosen by students and working in cooperation with scientists in the country and abroad.
Classical logic. Herbrand theorem and Skolem form. Resolution and analytic tableaux in predicate logic. Modal logic (epistimic logic,temporal logic, dynamic logic). Probability logic. Logic for nonmonotonic reasonong. Polyvalent logic. Possibility logic. Intuistionistic logic. Application of logic theories in knowledge modelling. Automated theorem proving.
The presentation of the theoretical part during the lectures is followed by the corresponding examples which contribute to better understanding of the theoretical part. The students are expected to individually study the additional literature and discuss it with the subject teacher at the consultation classes. Through research and study work the student will, on the bases of scientific journals and other relevant literature that has been studied independently, develop further understanding of the material covered in lectures. Working with the course teacher the student develops the ability to independently work on a scientific paper.
| Authors | Title | Year | Publisher | Language |
|---|---|---|---|---|
| 2005 | English | |||
| 1981 | English | |||
| 2003 | English | |||
| 1990 | English |
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Term paper | Yes | Yes | 50.00 |
| Theoretical part of the exam | No | Yes | 50.00 |
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.