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