Задание 3

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

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

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

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

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

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

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

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

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

Рекурсия 13

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

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

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

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

Обработка списков 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. Описать на языке логики первого порядка свойства отношения равенство

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

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

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

3. Братко И. Программирование на языке Пролог для искуственого интеллекта: Пер. с англ. / М.: Мир, 1990 - 560 с.

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

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

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

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