Содержание

Содержание 2

Введение 2

Задание 4

Тема 1: Логические основы системы Пролог-Д. 5

Логические основы работы 5

1.1.2. Описать на языке логики первого порядка свойства отношения равенство 5

Тема 2: Построение базы знаний 5

Факты и правила 5

2.1.2. Опишите на языке Пролог-Д состав своей семьи. 5

Арифметика и другие второстепенные предикаты в Прологе-Д 9

2.2.2. Опишите на языке Пролог-Д вычисление площадей геометрических фигур: трапеции, треугольника, параллелограмма. 9

2.2.3. Опишите вычисление пощади круга и длины окружности. Какова точность вычисления этих величин? Можно ли вычислить радиус круга по длине окружности? 12

Рекурсия 14

2.3.2.Написать на языке Пролог-Д базу знаний, описывающую вычисление сумы чисел натурального ряда. 15

2.3.4. Описать вычисление наименьшего общего кратного. 15

Графические возможности системы Пролог-Д 17

2.4.2. Используя рекурсивное определение, напишите базу знаний, описывающую многоэтажный дом. 17

Обработка списков 20

2.5.2. Напишите базу знаний, описывающую обращение списка (первый элемент становиться последним). 20

Заключение 22

Список литературы 23

Введение

Данная работа посвящена экспертным системам - это система искусственного интеллекта (интеллектуальная система), предназначенная для решения плохо формализованных и слабо структурированных задач в определенных проблемных областях, на основе заложенных в ней знаний специалистов-экспертов В рамках работы было рассмотрено проектирование основной части экспертных систем – баз знаний. Для каждого заданий создавалась база знаний, хранящая определенный набор данных и правил обработки этих данных. Для разработки баз знаний использовался язык программирования Пролог, свое название получивший от сокращения «Программирование логики».

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

Задание

Тема 1: Логические основы системы Пролог-Д.

1. Логические основы работы.

1.1.2. Опишите на языке логики первого порядка свойство отношения равенства

Тема 2: Построение базы знаний

1. Факты и правила

2.1.2. Опишите на языке Пролог-Д состав своей семьи.

2. Арифметика и другие второстепенные предикаты в Прологе-Д

2.2.2. Опишите на языке Пролог-Д вычисление площадей геометрических фигур: трапеции, треугольника, параллелограмма.

2.2.3. Опишите вычисление пощади круга и длины окружности. Какова точность вычисления этих величин? Можно ли вычислить радиус круга по длине окружности?

3. Рекурсия

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

2.3.4. Описать вычисление наименьшего общего кратного.

4. Графические возможности системы Пролог-Д

2.4.2. Используя рекурсивное определение, напишите базу знаний, описывающую многоэтажный дом.

5. Обработка списков

2.5.2. Напишите базу знаний, описывающую обращение списка (первый элемент становиться последним).

Тема 1: Логические основы системы Пролог-Д.

Логические основы работы

1.1.2. Описать на языке логики первого порядка свойства отношения равенство

С помощью языка логики первого порядка можно описать все задачи, решаемые на ЭВМ. На его основе построен и система Пролог-Д.

Отношение равенство запишем как РАВНО(X,Y). Это отношение принимает значение ИСТИНА, если X равен Y, и значение ЛОЖЬ если X и Y не равны между собой. Отношение равенство обладает следующими