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.
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.
Study program: Industrial Engineering, Bachelor degree
Berković Ivana, full professor