Анотация

---

Дисциплината "Логическо програмиране и продукционни системи" запознава студентите с теорията, методите, средствата и технологиите за проектиране, програмиране и използване на системи за логическо и продукционно програмиране.

Съдържание

---

Лекциите по дисциплината са разпределени в три основни раздела: логически системи, продукционни системи и експертни системи. Особено важен е трети раздел, който разглежда технологиите за проектиране на експертни системи, техните архитектурни и методологични особености.
В рамките на лабораторните упражнения се проектират и анализират експериментални алгоритми, системи и модули, с цел придобиване на практически умения за тяхното програмиране и усвояване на разгледаните в лекциите инструментални средства.
Дисциплината завършва с изпит, като при формиране на крайната оценка се взема предвид работата на студентите по време на лабораторните упражнения.