Технологии обработки информации. Вопросы к экзамену 2025 - 2026 уч. Год

• Часть 1

• 1. Классификация, назначение и состав предложений в прологе. Когда последовательность записи предложений в прологе, условий в правилах и подцелей в запросе влияет на выполнение программы? Примеры. Обобщение

Классификация предложений:

1. Факт - состоит из утверждения, всегда является истинной. <утв1>. % ф1

2. Правило - состоит из левой части, содержит утверждение (условная истина), и правой части, содержит 1/несколько условий, объединенных логич И (,)/ИЛИ (;) <утв2>:-<усл1>,<усл2>. % пр1

3. Запрос - содержит 1/ несколько целей, объединенных логич И (,)/ИЛИ (;) <цель1>,<цель2>. % з1

Назначение предложений: - Описание знаний о мире (факты)

- Определение логических отношений (правила позволяют связывать факты и формировать сложные отношения)

- Поиск решений / проверка на истинность для заданной цели (запросы)

Когда последовательность записи предложений в прологе влияет на выполнение программы:

Смена местами запроса и правил-фактов ничего не меняет, т.к. мы объявляем эти области. Смена местами фактов и правил ничего не меняет, кроме порядка выдачи ответов. (первее то, что объявлено раньше)

Последовательность записи предложений: сначала факты и правила (группировка по названию предиката, без этого ошибка чтения, что позволяет пропускать группу при несовпадении предиката), потом запросы.

Когда нельзя переставлять правила:

при наличии красных отсечений

Последовательность записи условий/подцелей: важно учитывать, т.к выполнение некоторых условий/подцелей может зависеть от результатов предыдущих (например, конкретизация переменной). Может влиять на работоспособность программы (возникновение лог ошибки), кол-во решений.

человек(мари, 10).

девочка(Х):- человек(Х, У), У<11. (если поменять местами условия – ошибка)

Последовательность выполнения целей в запросе аналогичны выполнению условий в правиле.

На примерах:

студент(иванов,иван).%ф

надбавка(Фамилия,Имя,да):-студент(Фамилия,Имя).%пр

надбавка(Фамилия,Имя,Назначение).%з

Факт и запрос от правила отличие: по структуре и наличию условий

Факт от запроса с одной целью: по сути только по расположению в программе

• 2. Передача данных в прологе внутри одного предложения, из одного предложения в другое. Передача данных через логическое «или». Условия передачи данных. Примеры. Обобщение.

Передача происходит за счет лексического диапазона переменной - одно предложение.

Внутри одного предложения (из одного условия/цели в другое)

Условия: наличие в предложении 2х именованных переменных с одним именем и конкретизация одной из них.

Из одного в другое (из запроса в левую часть правила, из правой в левую (рекурсия))

Условия: сопоставимые предложения и их аргументы, две именованные переменные, одна из который имеет конкретизацию, а другая нет.

Передача данных в запросе и факте - будет.

Передача данных из левой части правила в условие правой части правила через логическое ИЛИ будет происходить, а передача между условиями нет

	Факт	Левая часть правила	Правая часть правила	Запрос
Факт			+	+
Левая часть правила			+	+
Правая часть правила	+	+
Запрос	+	+