The concept of artificial intelligence systems. Syntax and heuristic search strategy of the state space. Automatic reasoning and deductive systems. The method of resolution. Unification algorithm. Specific form of resolution. Applications: query dialog systems, combinatorial scheduling, deductive databases, program correctness. The modalities of application of automatic reasoning in teaching and learning. PROLOG and logic programming. The concepts of open and closed world. DATALOG Systems, BASELOG and LP. The concept and development of machine learning. Elements of pattern recognition. Sorting and classification. Introduction to expert systems. Knowledge base and the reasoning mechanisms.
Assignments. Programming in PROLOG. Demonstration of expert systems and development tools. Through the seminar work students apply theoretical knowledge to a specific practical problem.
Study program: Information Technology, Bachelor degree
Berković Ivana, full professor
1. Petar Hotomski, Artificial Intelligence Systems (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2006.
2. Ivana Berković, The Elements of Artificial Intelligence Through Examples and Assignments (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2006.
3. Stuart Russell, Peter Norving, Artificial Intelligence - A Modern Approach, The First and Second Book (translation on Serbian of the third edition), RAF - CET, Belgrade, 2011.