В этом разделе обозначаются тема проекта, её связь с информатикой и причины выбора. Формулируются проблема, цель и задачи, уточняются объект и предмет изучения, а также описываются предполагаемый продукт и способы его проверки. Введение задаёт читателю направление проекта и показывает, какие знания понадобятся для создания прототипа экспертной системы.

Раздел раскрывает значение термина «искусственный интеллект» и знакомит с задачами, которые решают интеллектуальные системы: поиском, распознаванием образов и обработкой знаний. Отдельно объясняется, что ИИ включает разные подходы и не сводится только к нейронным сетям. Это создаёт основу для сравнения логических методов с другими способами построения программ.

В разделе объясняются факты, правила, запросы и логический вывод — основные элементы логического программирования. На простых примерах показывается, как из заданных утверждений получить новое заключение. Также рассматриваются переменные, сопоставление выражений и поиск решений, чтобы читатель понимал, за счёт каких операций программа отвечает на запросы.

В этом пункте рассматриваются происхождение и особенности Prolog как одного из известных языков логического программирования. Описывается его базовый синтаксис, организация базы знаний и механизм поиска с возвратом. Примеры кода помогают связать теоретические понятия с реальной записью фактов и правил в программе.

Раздел показывает, для каких задач ИИ подходят правила и формальная логика: например, для экспертных консультаций, проверки условий и поиска решений. Рассматриваются преимущества такого подхода, включая возможность проследить цепочку вывода, и ограничения, связанные с полнотой базы знаний. Это помогает определить, когда логическая модель уместна на практике.

В практической части выбирается предметная область и составляется небольшая база знаний из проверяемых фактов и понятных правил. Затем система реализуется в Prolog или другой доступной учебной среде, после чего формируются запросы для демонстрации вывода. Описание шагов позволит оценить, как теоретические принципы превращаются в работающий программный продукт.

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

В заключении кратко соотносятся полученные результаты с задачами проекта: перечисляются изученные принципы логического программирования и возможности созданной экспертной системы. Отмечается, удалось ли добиться корректных ответов на выбранные запросы, какие ограничения обнаружены и что можно улучшить при дальнейшем развитии прототипа. Новые факты и темы, не раскрытые ранее, здесь не вводятся.

В этом разделе приводятся использованные учебники, справочные издания и электронные ресурсы по искусственному интеллекту, логике и языку Prolog. Для каждого источника указываются необходимые библиографические сведения, а для интернет-материалов — название страницы и дата обращения. Список позволяет проверить происхождение теоретических сведений и при необходимости продолжить изучение темы.