Задание 2

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

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

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

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

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

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

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

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

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

Рекурсия 13

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

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

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

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

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

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

Заключение 20

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

Задание

Тема 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 не равны между собой. Отношение равенство обладает следующими свойствами:

переменная равна сама себе (рефлексивность);

если X=Y, то Y=X (симметричность);

если X=Z и Z=Y, то X=Z (транзитивность).

На языке логики первого порядка эти свойства будут записаны в следующем виде:

РАВНО (X,X)

РАВНО(X,Y)<-РАВНО(Y,X)

РАВНО(X,Y)<-РАВНО(X,Z)& РАВНО(Z,Y)

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

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

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

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

В данной задаче будем описывать семью, родственные отношения которой приведены на рисунке.

1. Абдикеев Н.М. Проектирование интеллектуальных систем в экономике. Учебник/М.: Экзамен, 2004, - 526с.

2. Алексеев М.Н., Бешенков С.А., Гейн А.Г., Григорьев С.Г. Информатика и информационные технологии: практические работы / Миасс, 2000 - 42с.

3. Доорс Дж., Рейблейн А., Вадера С. Пролог - язык программирования будущего / М.: Финансы и статистика, 1990 - 144 с.

4. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. Учебник / С-П.:Питер, 2000 - 382 с.

5. Романов В.П. Интеллектуальные информационные системы в экономике. Учебник / М:. Экзамен, 2003 - 494 с.

Примечаний нет.