ЛР3_ИСИТ. Лабораторная работа 3 по дисциплине Интеллектуальные системы и технологии Фамилия
 Скачать 0.74 Mb.
|
|
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ им. проф. М.А. Бонч-Бруевича Факультет «Институт непрерывного образования» Лабораторная работа №3 по дисциплине «Интеллектуальные системы и технологии»
Санкт-Петербург 2021 Задание:Изучить функциональные возможности языка логического программирования Prolog. Проанализировать свойства персональной рабочей платформы информатизации. Изучить функциональные возможности системы Visual Prolog. Найти в глобальной сети Internet систему Visual Prolog. Выбрать определённый вариант системы Visual Prolog, соответствующий состоянию персональной рабочей платформы информатизации. Установить систему Visual Prolog на рабочую платформу информатизации с регистрацией выполняемых действий в виде копий экранов. Развернуть систему Visual Prolog и ознакомиться с основными функциональными возможностями среды разработки. Построить базу данных относительно родства двух человек согласно примеру с рис. 1.  Составить запрос для определения правильности утверждения: Марина является родителем Саши. Реализовать составленный согласно п.9 запрос в системе Visual Prolog и создать копии реализации. Добиться успешной реализации составленного запроса. Составить запрос для определения правильности утверждения: Алексей является родителем Ольги. Реализовать составленный согласно п.11 запрос в системе Visual Prolog и создать копии реализации. Добиться успешной реализации составленного запроса. Составить запрос для установления факта: кто является ребёнком Николая? Реализовать составленный согласно п.13 запрос в системе Visual Prolog и создать копии реализации. Добиться успешной реализации составленного запроса. Составить запрос: кто является родителями Ивана? Реализовать составленный согласно п.15 запрос в системе Visual Prolog и создать копии реализации. Добиться успешной реализации составленного запроса. Составить запрос для определения всех родителей и их детей. Реализовать составленный согласно п.17 запрос в системе Visual Prolog и создать копии реализации. Добиться успешной реализации составленного запроса. Проанализировать результаты выполненных экспериментов. Примеры результатов успешной деятельности по установке пакета приведены в Приложении. Составить отчёт по выполненной лабораторной работе. В отчёт включить: цель работы, задание, копии выполненных действий с комментариями, представляющими их содержание, и вывод. Представить отчёт о выполненной работе преподавателю и защитить его. Исправить отчёт по выполненной работе в соответствии с замечаниями преподавателя, распечатать и подписать титульный лист отчёта, сдать преподавателю электронную копию отчёта и подписанный титульный лист. Ход работы:Функциональные возможности языка логического программирования Prolog.Язык логического программирования prolog — декларативный, что означает, что программа, написанная на нем, выглядит как набор логических описаний, определяющих цель, ради которой она и написана. В основе Пролога лежит раздел математической логики, называемый исчисление предикатов. Задача пролог-программы заключается в том, чтобы доказать, является ли заданное целевое утверждение следствием из имеющихся фактов и правил. Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений. В логическом программировании, как оно реализовано в прологе, используется только одно правило вывода — резолюция. Программа на Прологе описывает отношения, определяемые с помощью предложений. Как и в любом другом языке, ориентированном на символьные вычисления, предложения выстраиваются из термов, которые в свою очередь подразделяются на атомы, числа, переменные и структуры. Загрузка и установка  Создание БД ВыводВ ходе работы были успешно реализованы заданные запросы на языке логического программирования Prolog в системе Visual Prolog. |