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

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

В разделе объясняется, как формальная логика позволяет записывать знания так, чтобы их могла использовать программа. Подпункты посвящены высказываниям и условиям, понятиям факта и правила, а также простым умозаключениям по схеме «если — то». Примеры из школьной жизни помогут перевести знакомые рассуждения в строгую форму.

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

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

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

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

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

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

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