Требования к освоению дисциплины.

В результате изучения дисциплины студенты должны:

знать:

• реляционную, объектную и ассоциативную модели знаний;
• основы логического программирования и языка Visual Prolog;
• процедуру опровержения методом резолюции;
• алгоритм поиска с возвратом в пространствах состояний задач;
• прикладные области искусственного интеллекта;

уметь:

• использовать методы и алгоритмы нечеткой логики;
• осуществлять алгоритмизацию простейших логических задач методами графов и алгоритмами AND/OR;

владеть навыками:

• проведения формализации данных с применением языка логики предикатов;
• составления программ решения простейших задач на языке Visual Prolog;
• применения алгоритма поиска с возвратом;

Разработчики:кафедра информатики и электрорадиотехники.