Задание
Тема 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. Опишите на языке Пролог-Д состав своей семьи.
Особенностью языка Пролог-Д, отличающей его от других языков, используемых для работы на ЭВМ, является его применение не только для программирования, но, главным образом, для описания данных и правил их обработки. Построение базы знаний на Пролог-Д означает выявление множества исследуемых объектов и связей между ними, совокупность которых описывает явление или процесс. Это свойство системы Пролог-Д может быть использовано для создания баз данных, словарей, естественно-языковых интерфейсов для существующих систем.
В данной задаче будем описывать семью, родственные отношения которой приведены на рисунке.
|