**Description**

**Theoretical study:**

Basics of algebra of logic and automated reasoning methods. Introducing the concept, structure and functioning of the system based on knowledge, use of nonprocedural programming languages for the development of intelligent systems. Algebra of logic. Boolean algebra. Formal theories. Automated Reasoning. Nonprocedural programming languages, logic programming. Basics of fuzzy logic and neural networks.

**Practical teaching:**

Making the set of examples and tasks in the domain of propositional algebra. Boolean functions and their minimization. Resolution rule definition for predicate calculus. The programming language PROLOG. Identify and use specific tools for the development phase of the system logic and fuzzy logic control.

**General information**

**Study program**: Industrial Engineering, Bachelor degree

**ECTS: **6

**Semester:** 6

**Lectures:** 2

**Exercises:** 1

**Lecturer**

**Berkovi****ć Ivana**, full professor

Email: berkovic@tfzr.uns.ac.rs

**Course books**

#### 1. Ivana Berković, The Elements of Artificial Intelligence Through Examples and Assignments (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2006.

#### 2. Petar Hotomski, Dušan Malbaški, Mathematical Logic and Principles of Programming (in Serbian), Technical Faculty "Mihajlo Pupin", Zrenjanin, 2012.

#### 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.