Логические основы системы Пролог-Д

ID работы - 620878
информационные технологии (контрольная работа)
количество страниц - 22
год сдачи - 2012

---

СОДЕРЖАНИЕ:

---

Содержание
Задание 2
Тема 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
Список литературы 22

---

ВВЕДЕНИЕ:

---

Задание
Тема 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).

---

СПИСОК ЛИТЕРТУРЫ:

---

Список литературы
1. Абдикеев Н.М. Проектирование интеллектуальных систем в экономике. Учебник/М.: Экзамен, 2004, - 526с.
2. Алексеев М.Н., Бешенков С.А., Гейн А.Г., Григорьев С.Г. Информатика и информационные технологии: практические работы / Миасс, 2000 – 42с.
3. Братко И. Программирование на языке Пролог для искуственого интеллекта: Пер. с англ. / М.: Мир, 1990 – 560 с.
4. Доорс Дж., Рейблейн А., Вадера С. Пролог – язык программирования будущего / М.: Финансы и статистика, 1990 – 144 с.
5. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. Учебник / С-П.:Питер, 2000 – 382 с.
6. Романов В.П. Интеллектуальные информационные системы в экономике. Учебник / М:. Экзамен, 2003 – 494 с.
Цена: 1000.00руб.