Языки логического программирования

Упражнение 1:

Номер 1

Укажите формальное определение атома Пролога?

Ответ:

(1) предикатная функция, аргументами которой являются другие предикатные функции

(2) предикатная функция без аргументов

(3) предикатная функция, аргументами которой являются высказывания

(4) предикатная функция, аргументами которой являются термы

Номер 2

Что является атомом Пролога?

Ответ:

(1) предикатная функция без аргументов

(2) предикатная функция, аргументами которой являются высказывания

(3) составной терм без переменных

(4) предикатная функция, аргументами которой являются переменные

(5) предикатная функция, аргументами которой являются константные объекты Пролога

Номер 3

Что не является атомом Пролога?

Ответ:

(1) предикатная функция, аргументами которой являются переменные

(2) предикатная функция, аргументами которой являются константные объекты Пролога

(3) предикатная функция, аргументом которой является составной функциональный терм

(4) предикатная функция без аргументов

(5) предикатная функция от трех переменных

Упражнение 2:

Номер 1

Что по определению является программой Пролога?

Ответ:

(1) множество фактов (правил без тела)

(2) множество правил с непустым телом

(3) множество правил вида B₀ ↔ B₁,...,B_m (m ≥ 0), где B₀, B₁,..,B_m – атомы и где тело правила может быть пустым (m = 0)

(4) множество функциональных термов

Номер 2

Что по определению является запросом Пролога?

Ответ:

(1) множество высказываний вида ↔ C_i (i ∈ 1,r), где C_i – атомы

(2) высказывание вида ↔ C₁,..,C_r (r > 0), где C_i (i ∈ 1,r) – атомы

(3) высказывание вида ↔ C, где C – атом

(4) высказывание вида ↔ C₁,..,C_r (r ≥ 0), где C_i (i ∈ 1,r) – атомы

Номер 3

Какие атомы могут употребляться в запросе?

Ответ:

(1) любые

(2) только те, которые участвуют в телах правил программы

(3) только те, которые участвуют в заголовках правил программы

(4) только те, которые употребляются в программе

Упражнение 3:

Номер 1

Как определяется подстановка Пролога?

Ответ:

(1) функция, действующая из множества переменных программы в множество термов без переменных

(2) функция, действующая из множества переменных программы в множество термов программы

(3) функция, определенная на множестве любых выражений программы и действующая в соответствующие выражения

(4) функция, определенная на множестве всех переменных программы, действующая на множество термов программы и продолженная на множество всех выражений программы

Номер 2

Что такое по определению частный случай выражения?

Ответ:

(1) результат применения одной из возможных подстановок к выражению

(2) результат применения всех возможных подстановок к выражению

(3) результат применения к выражению одной из подстановок, отличающийся от выражения только обозначением переменных

(4) результат применения к выражению всех подстановок, отличающийся от выражения только обозначением переменных

Номер 3

Что такое по определению вариант выражения?

Ответ:

(1) выражение, отличающееся от исходного только обозначением переменных

(2) один из частных случаев выражения

(3) частный случай выражения, отличающийся от выражения только обозначением переменных

Упражнение 4:

Номер 1

Как определяется унификатор выражений?

Ответ:

(1) подстановка, для которой попарно все выражения тождественны

(2) подстановка, для которой все выражения тождественны

(3) подстановка для двух выражений, при которой они оказываются тождественными

(4) два тождественно равных частных случая

Номер 2

Как определяется наиболее общий унификатор выражений?

Ответ:

(1) применение любого другого унификатора к этим выражениям является частным случаем этих выражений

(2) такой унификатор двух атомов, что применение любого другого унификатора для этих атомов является частным случаем применения НОУ к ним

(3) любой другой унификатор является частным случаем НОУ

(4) универсальная подстановка для любых выражений

Номер 3

В каком случае не существует НОУ выражений?

Ответ:

(1) ни в каком — всегда существует

(2) не существует ни одного унификатора для выражений

(3) существует неограниченное множество унификаторов выражений

Упражнение 5:

Номер 1

Что называется интерпретацией программы?

Ответ:

(1) множество значений переменных программы, при которых все правила программы и запрос являются истинными

(2) множество всех наборов переменных программы, при которых все правила программы и запрос являются истинными

(3) множество НОУ, применение которых превращает программу в множество фактов

(4) множество фактов программы – атомов без переменных

Номер 2

Что называется моделью программы?

Ответ:

(1) структура фактов и правил программы

(2) структура правил и фактов программы с точностью до обозначения переменных

(3) интерпретация I программы, если для любого правила B₀ ↔ B₁,...,B_m и любой подстановки Θ, где ΘB₀ – атом без переменных из ΘB₁,...,ΘB_m ⊆ I следует, что ΘB₀ ∈ I

(4) пересечение всех интерпретаций программы

Номер 3

Что называется основной моделью программы?

Ответ:

(1) структура фактов и правил программы с точностью до обозначения переменных

(2) пересечение всех интерпретаций программы

(3) пересечение всех моделей программы

Упражнение 6:

Номер 1

Что называется ответом на запрос интерпретации?

Ответ:

(1) кортеж термов в результате подстановки переменных, при которой все атомы запроса истинны в этой интерпретации

(2) ответ "Да", "Нет" или множество значений переменных, при которых запрос становится истинным в этой интерпретации

(3) множество значений переменных, при которых запрос становится истинным

Номер 2

Что называется правильным ответом?

Ответ:

(1) ответ "Нет"

(2) ответ "Да"

(3) ответ основной модели

(4) ответ модели пересечений всех интерпретаций

Номер 3

В каких случаях ответом является "Да" или "Нет"?

Ответ:

(1) множество всех правильных ответов пусто

(2) любые интерпретации переменных противоречат друг другу

(3) запрос не содержит переменных

(4) запрос не содержит атомов

Номер 4

Как связаны ответ и правильный ответ?

Ответ:

(1) никак

(2) частный случай любого ответа, не содержащий переменных, есть правильный ответ

(3) любой правильный ответ может быть получен из некоторого ответа, не являющегося правильным

(4) любой правильный ответ есть ответ

(5) некоторые из правильных ответов не являются ответами

(6) множество ответов является подмножеством всех правльных ответов

Упражнение 7:

Номер 1

Как определяется отношение выводимости запросов Q₁ и Q₂?

Ответ:

(1) существует подстановка, превращающая все атомы запроса Q₁ в атомы запроса Q₂

(2) Q₁ и Q₂ различаются лишь одним атомом запроса, который в Q₂ получается некоторой подстановкой из соответствующего атома из Q₁

(3) Q₁ и Q₂ различаются лишь одним атомом запроса, который в Q₂ получается НОУ из соответствующего атома из Q₁

Номер 2

Что представляет собой пространство вычислений программы?

Ответ:

(1) множество всевозможных запросов с отношением выводимости

(2) дерево вычислений запроса

(3) лес вычислений запросов

(4) цепочка вычислений, в которой 2 рядом стоящих запроса связаны отношением выводимости

Номер 3

Как графически представляется пространство вычислений программы?

Ответ:

(1) множеством всевозможных запросов с отношением выводимости

(2) деревом вычислений запроса

(3) лесом вычислений запросов

(4) цепочкой вычислений, в которой 2 рядом стоящих запроса связаны отношением выводимости

Языки логического программирования - тест 9