Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Reasnoning about knoledge and automatic conclusion (17.DOM47Z)

Native organizations units: No data

Type of studies	Title
Doctoral Academic Studies	Mathematics in Engineering (Godina: 2, Winter)

General information:

Category	Scientific-professional
Scientific or art field	Teorijska i primenjena matematika
Interdisciplinary	Yes
ECTS	10

Educational goal:

Gaining fundamental knowledge about knowledge representation and automated reasoning and taking part in research and scientific work.

Educational outcome:

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.

Course content:

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.

Teaching methods:

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.

Literature:

Authors	Title	Year	Publisher	Language
H. Lewis, C. Papadimitriou	Elements of the theory of computation/	1981	Prentice-Hall	English
Huges and Creswell	A companion to modal logic	1990	Addison-Wesley	English
Zoran Ognjanović, Nenad Krdžavac	Uvod u teorijsko računarstvo	2005	Fakultet organizacionih nauka, Beograd	Serbian language
J. Halpern, R. Fagin, Y. Moses, M. Vardi	Reasoning About Knowledge	2003	MIT Press	English
Janičić, P.	Matematička logika u računarstvu	2009	Matematički fakultet, Beograd	Serbian language
J. Halpern	Reasoning About Uncertainty	2005	MIT Press	English