Курс состоит из двух блоков:

• Базы знаний и онтологии
• Классические методы МО

Каждый блок включает в себя несколько лабораторных работ, для сдачи необходимо сделать R&D отчет по итогам модуля. Защита лабораторных работ происходит в таком формате:

• Показываете ЛР в виде рабочего проекта - если всё ок, значит можно приступать к следующему заданию. Показывать две за раз можно, но если есть замечания, то на следующей паре можно только показывать ЛР, а не защищать модуль.
• Для закрытия модуля и получения оценки необходимо рассказать про блок выполненных заданий с точки зрении постановки задачи, требований, ограничений, назначения.

Модуль 1. Базы знаний и онтологии

Лабораторная 1.

Часть 1. Создание базы знаний и выполнение запросов в Prolog

Требуется создать базу знаний в языке программирования Prolog и реализовать набор запросов, используя эту базу знаний. Задача направлена на развитие навыков работы с фактами, предикатами, и правилами в логическом программировании.

Задание

• Создание базы знаний:

  Создайте базу знаний. База знаний должна включать в себя не менее 20 фактов с одним аргументом, 10-15 фактов с двумя аргументам, которые дополняют и показывают связь с другими фактами и 5-7 правил. Факты могут описывать объекты, их свойства и отношения между ними. Факты 2 и более аргументами могут описывать различные атрибуты объектов, а правила - логические законы и выводы, которые можно сделать на основе фактов и предикатов.

• Выполнение запросов:

  Напишите несколько запросов для БЗ. Запросы должны быть разной сложности и включать в себя:

  • Простые запросы к базе знаний для поиска фактов.
  • Запросы, использующие логические операторы (и, или, не) для формулирования сложных условий (или использовать логические операторы в правилах).
  • Запросы, использующие переменные для поиска объектов с определенными характеристиками.
  • Запросы, которые требуют выполнения правил для получения результата.

• Документация:

  В коде должны быть комментарии описания фактов, предикатов и правил.

Критерии оценки

• Корректность базы знаний и выполненных запросов.
• Сложность и разнообразие запросов.
• Качество документации и комментариев к коду.

Тематики БЗ