2009 экзамен вариант 9 (1162070)
Текст из файла
ВариантЗадача 0. Точка на плоскости задается списком из двух действительных чисел. Построить логическуюпрограмму, которая для заданного бесповторного списка L точек на плоскости вычисляет список X всех парточек из списка L, наиболее удаленных друг от друга. Запрос к программе должен иметь вид ?G(L, X).Задача 1. Используя константные, функциональные и предикатные символы алфавита (см. Приложение1), построить замкнутую формулу логики предикатов, соответствующую следующему утверждению.«Сумма любых двух сходящихся последовательностей действительных чисел также является сходящейсяпоследовательностью действительных чисел»Задача 2. Для заданной формулы ϕ выяснить, применяя метод семантических таблиц, является ли этаформула общезначимой.∀x∃y(¬P (x, y) ∨ ∀zP (y, z))Задача 3. Для заданной формулы ϕ выяснить, применяя метод резолюций, является ли эта формулаобщезначимой.∀x(∀y∃v∀u((A(u, v) → B(y, u))&(¬∃wA(w, u) → ∀wA(w, v))) → ∃yB(x, y))Задача 4.
Для заданного запроса G =?P (X, Y ), R(Y ) к заданной логической программе P построить наоснове стандартной стратегии вычислений (с использованием операторов отсечения и отрицания) деревоSLD-резолютивных вычислений и определить множество вычисленных ответов. Примечание: заглавнымибуквами начинаются имена переменных и предикатов, а строчными буквами — имена констант и функций.P : Q(f (V ))Q(a)S(Z)S(c)P (f (X), a)P (d, X)R(X)R(d)←←←←←←←←S(V ), !;;Q(c);;Q(X), !, not(R(X));Q(X), R(d);not(Q(X));;Задача 5.
Какая семантическая таблица hΓ, ∆i называется выполнимой ? Является ли выполнимой семантическая таблица h{P (x)}, {P (y)}i?Задача 6. Что такое эрбрановский универсум? Каким условиям должна удовлетворять сигнатура σ длятого, чтобы эрбрановский универсум сигнатуры σ был конечным множеством?Задача 7. Какая интерпретация называется эрбрановской моделью для хорновской логической программыP? Верно ли то, что всякая хорновская логическая программа имеет непустую эрбрановскую модель?Задача 8. Сформулируйте правило SLDNF-резолюции.
Какой ответ будет получен на запрос ?not(P (x))к программе P = {P (c) ← R(c)}?Задача 9. Как определяется интерпретация темпоральной логики линейного времени PLTL ? Являютсяли равносильными PLTL формулы Fp и (p ∨ ¬p)Up?Задача 10. Пусть известно, что семантическая таблица hΓ, ∅i для классической логики предикатов имееттабличный вывод, одна из ветвей которого заканчивается такой семантической таблицей hΓ0 , ∆0 i, что Γ0 ∩∆0 =∅ и при этом ни одно правило табличного вывода не применимо к таблице hΓ0 , ∆0 i. Какие из приведенныхниже утверждений наверняка справедливы и почему?1. Множество формул Γ не имеет модели, потому что...2.
Множество формул Γ имеет модель с бесконечной предметной областью, потому что...3. Во множестве формул Γ обязательно есть хотя бы одна общезначимая формула, потому что...4. Во множестве формул Γ обязательно есть хотя бы одна противоречивая формула, потому что...5. Ни одно из приведенных выше утверждений не верно, потому что...Задача 11. Предположим, что из системы дизъюнктов S можно резолютивно вывести дизъюнкт P ∨ ¬P .Какие из приведенных ниже утверждений будут всегда верны и почему?1.
В системе дизъюнктов S есть противоречивый дизъюнкт, потому что. . .2. Система дизъюнктов S непротиворечива, потому что. . .3. Система дизъюнктов S противоречива, потому что. . .4. Такой резольвенты вывести из системы дизъюнктов S невозможно, потому что. . .5. Ни одно из приведенных выше утверждений в общем случае несправедливо, потому что. . .Задача 12. Пусть G - запрос к хорновской логической программы P. Какие из приведенных ниже утверждений справедливы и почему?1. Каждый правильный ответ на запрос G к программе P является вычисленным ответом, потому что...2. Каждый вычисленный ответ на запрос G к программе P является правильным ответом, потому что...3.
Некоторые (но не все) правильные ответы на запрос G к программе P является вычисленным, потомучто...4. Некоторые (но не все) вычисленные ответы на запрос G к программе P является правильными, потомучто...Задача 13. Известно, что логическая программа P 0 получена из хорновской логической программы Pв результате применения следующего преобразования: в конце каждого программного утверждения (будьто процедура или факт) D : A0 ← A1 , .
. . , Am был поставлен оператор отсечения так, что образовалосьутверждение D : A0 ← A1 , . . . , Am , !. Какие из приведенных ниже утверждений всегда справедливы ипочему?1. При обращении с любым запросом G к программе P 0 стандартная стратегия вычисления выдаст те жесамые ответы, что и при обращении с запросом G к программе P, потому что...2. При обращении с любым запросом G к программе P 0 стандартная стратегия вычисления выдасттолько самый первый ответ из тех, которые выдает стандартная стратегия вычисления на запрос G кпрограмме P, потому что...3.
При обращении с любым запросом G к программе P 0 стандартная стратегия вычисления выдаст толькосамый последний ответ из тех, которые выдает стандартная стратегия вычисления на запрос G кпрограмме P, потому что...4. Ни одно из приведенных выше утверждений в общем случае неверно, потому что....
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
