A workshop on the course "Artificial Intelligence Systems" at V. N. Karazin Kharkiv National University, which I took as a 4th year student in 2023, majoring in Computer Engineering at the Computer Science Department. In practice, it was a study of logic theory with using the Prolog programming language.
The main objectives of the course are:
- study of basic terms and concepts used in artificial intelligence methods;
- studying the basics of the calculus of statements and the calculus of predicates;
- familiarization with the methodology of system evaluation using the predicate calculus;
- study of methods of solution search;
- familiarization with the principles of building productive systems;
- study of methods of knowledge representation;
- familiarization with the basics of building expert systems.
Практикум по курсу "Системи штучного інтелекту" в Харківському національному університеті імені В. Н. Каразіна, що я проходив на 4 курсі в 2023 році за спеціальністю "Комп'ютерна інженерія" на факультеті комп`ютерних наук. На практиці це було вивчення теорії логіки з використанням мови програмування Пролог.
Основними завданнями вивчення дисципліни є:
- вивчення основних термінів та понять, які використовуються в методах штучного інтелекту;
- вивчення основ числення висловлювань та числення предикатів;
- ознайомлення з методологією оцінки систем за допомогою числення предикатів;
- вивчення методів пошуку рішень;
- ознайомлення з принципами побудови продукційних систем;
- вивчення методів представлення знань;
- ознайомлення з основами побудови експертних систем.