Задачи (Старые варианты экзамена), страница 2
Описание файла
Файл "Задачи" внутри архива находится в папке "Старые варианты экзамена". PDF-файл из архива "Старые варианты экзамена", который расположен в категории "". Всё это находится в предмете "математическая логика и логическое программирование" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 2 страницы из PDF
Для заданной формулы ϕ выяснить, применяя метод семантических таблиц,является ли эта формула общезначимой.ϕ = ∃y(∀xP (y, f (x)) → ∀xR(x)) → ∀x(¬∃yP (y, f (x)) ∨ R(x))Задача 2. Для заданной формулы ϕ выяснить, применяя метод семантических таблиц, является ли этаформула общезначимой.∀x∃y(¬P (x, y) ∨ ∀zP (y, z))Задача 2 (3 балла). Для заданной формулы ϕ выяснить, применяя метод семантических таблиц,является ли эта формула общезначимой.ϕ = ∃y(∀xP (y, f (x)) → ∀xR(x)) → ∀x(¬∃yP (y, f (x)) ∨ R(x))Задача 2 (3 балла). Для заданной формулы ϕ выяснить, применяя метод семантических таблиц,является ли эта формула общезначимой.ϕ = ∃y(∃xP (y, x) → ∀xR(x)) → ∀x(¬∀yP (y, f (x)) ∨ R(x))Задача 2 (3 балла).
Для заданной формулы ϕ выяснить, применяя метод семантических таблиц,является ли эта формула общезначимой.∃z(∃y¬A(z, y) → ∀xB(x)) → ∀y(B(y) ∨ ∃xA(x, h(x)))Задача 2 (3 балла). Для заданной формулы ϕ выяснить, применяя метод семантических таблиц,является ли эта формула общезначимой.∃x((∀x¬P (x) → ∃xR(x)) → ∃y(P (x) ∨ R(y)))Задача 3 (3 балла). Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.ϕ = ∃x∃y(P (x, y) → R(x)) → ∀x(¬∃yP (x, y) ∨ R(x))Задача 3 (3 балла).
Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.ϕ = ∀x(P (x, x) → ∀x(R(x) → ∃x(∃xP (x, x) & R(x))))Задача 3. Для заданной формулы ϕ выяснить, применяя метод резолюций, является ли эта формулаобщезначимой.∃x(∃y¬P (x, y) → ∀xR(x)) → ∀x(R(x) ∨ ∃xP (x, f (x)))Äëÿ çàäàííîé ôîðìóëû ϕ âûÿñíèòü, ïðèìåíÿÿ ìåòîä ðåçîëþöèé, ÿâëÿåòñÿ ëèýòà ôîðìóëà îáùåçíà÷èìîé.Çàäà÷à 3 (3 áàëëà).∃z(∃y¬A(z, y) → ∀xB(x)) → ∀y(B(y) ∨ ∃xA(x, h(x)))Äëÿ çàäàííîé ôîðìóëû ϕ âûÿñíèòü, ïðèìåíÿÿ ìåòîä ðåçîëþöèé, ÿâëÿåòñÿ ëèýòà ôîðìóëà îáùåçíà÷èìîé.Çàäà÷à 3 (3 áàëëà).(∃y¬P (y) → R(f (c))) → ∀x∃y(P (f (x)) ∨ R(y))Задача 3 (3 балла). Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.ϕ = ∀x(¬∃yP (x, y) ∨ R(x)) → ∃x∃y(P (x, y) → R(x))Задача 3. Для заданной формулы ϕ выяснить, применяя метод резолюций, является ли эта формулаобщезначимой.∀x(∀y∃v∀u((A(u, v) → B(y, u))&(¬∃wA(w, u) → ∀wA(w, v))) → ∃yB(x, y))Задача 3 (3 балла).
Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.ϕ = ∃x∃y(P (x, y) → R(x)) → ∀x(¬∃yP (x, y) ∨ R(x))Задача 3 (3 балла). Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.ϕ = ∀x(P (x, x) → ∀x(R(x) → ∃x(∃xP (x, x) & R(x))))Задача 3 (3 балла). Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.∃x((∀yP (x, y) ∨ ∃xR(x)) → (∃xP (x, x) ∨ R(x)))Задача 3 (3 балла).
Для заданной формулы ϕ выяснить, применяя метод резолюций, является лиэта формула общезначимой.∃x(∃y¬E(x, y) → ∀xD(x)) → ∀x(D(x) ∨ ∃xE(x, f (x)))Задача 4 (3 балла). Для заданного запроса G =? A(Y, X), not(A(X, Y )) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций. P : A(X, c) ← E(X), !, not(B(X));A(X, Y ) ← D(X), B(g(Y ));B(g(X)) ← !, D(X);B(X)← B(g(X));E(b)← ;D(c)← ;Задача 4 (3 балла).
Для заданного запроса G =? A(Y, Y ), not(A(X, Y )) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций. P : A(c, Y ) ← B(g(Y )), E(Y );A(X, b) ← E(X), !, not(B(X));B(c)← !;B(g(X)) ← B(X);E(b)← ;Задача 4.
Для заданного запроса G =? not(A(X, X)), A(X, Y ) к заданной логической программеP построить на основе стандартной стратегии вычислений (с использованием операторов отсеченияи отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленных ответов.Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчными буквами— имена констант и функций. P : A(X, c)← E(X), not(B(X));A(g(Y ), X) ← B(X), !, E(Y );B(g(X))← !;B(X)← B(g(X));← ;E(b)Çàäà÷à 4 (3 áàëëà). Äëÿ çàäàííîãî çàïðîñà G =? P (Y, X), not(P (X, X)) ê çàäàííîé ëîãè÷åñêîéïðîãðàììå P ïîñòðîèòü íà îñíîâå ñòàíäàðòíîé ñòðàòåãèè âû÷èñëåíèé (ñ èñïîëüçîâàíèåì îïåðàòîðîâîòñå÷åíèÿ è îòðèöàíèÿ) äåðåâî SLD-ðåçîëþòèâíûõ âû÷èñëåíèé è îïðåäåëèòü ìíîæåñòâî âû÷èñëåííûõîòâåòîâ. Ïðèìå÷àíèå: çàãëàâíûìè áóêâàìè íà÷èíàþòñÿ èìåíà ïåðåìåííûõ è ïðåäèêàòîâ, à ñòðî÷íûìèáóêâàìè èìåíà êîíñòàíò è ôóíêöèé.
P : P (g(Y ), c) ← Q(Y ), !, not(R(f (Y )));P (g(Y ), X)R(f (X))R(X)Q(b)←←←←R(X), Q(Y );Q(X), !, P (X, g(X));;;Çàäà÷à 4 (3 áàëëà). Äëÿ çàäàííîãî çàïðîñà G =? A(X, Y ), not(A(X, X)) ê çàäàííîé ëîãè÷åñêîéïðîãðàììå P ïîñòðîèòü íà îñíîâå ñòàíäàðòíîé ñòðàòåãèè âû÷èñëåíèé (ñ èñïîëüçîâàíèåì îïåðàòîðîâîòñå÷åíèÿ è îòðèöàíèÿ) äåðåâî SLD-ðåçîëþòèâíûõ âû÷èñëåíèé è îïðåäåëèòü ìíîæåñòâî âû÷èñëåííûõîòâåòîâ. Ïðèìå÷àíèå: çàãëàâíûìè áóêâàìè íà÷èíàþòñÿ èìåíà ïåðåìåííûõ è ïðåäèêàòîâ, à ñòðî÷íûìèáóêâàìè èìåíà êîíñòàíò è ôóíêöèé. P : A(X, c) ← E(X), !, not(B(X));A(X, Y )B(g(X))B(X)E(b)← B(g(X)), E(Y );← !, E(g(X));← B(g(X));← ;Задача 4 (3 балла).
Для заданного запроса G =? A(Y, X), not(A(X, Y )) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций.
P : A(X, c) ← E(X), !, not(B(X));A(X, Y ) ← D(X), B(g(Y ));B(g(X)) ← !, D(X);B(X)← B(g(X));E(b)← ;D(c)← ;Задача 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));;Задача 4 (3 балла). Для заданного запроса G =? A(Y, X), not(A(X, Y )) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций.P : A(X, c)A(X, Y )B(g(X))B(X)E(b)D(c)←←←←←←E(X), !, not(B(X));D(X), B(g(Y ));!, D(X);B(g(X));;;Задача 4 (3 балла).
Для заданного запроса G =? A(Y, Y ), not(A(X, Y )) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций.P : A(c, Y )A(X, b)B(c)B(g(X))E(b)←←←←←B(g(Y )), E(Y );E(X), !, not(B(X));!;B(X);;Задача 4 (3 балла). Для заданного запроса G =? P (X, Y ), not(P (X, X)) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций.P : P (g(Y ), c)P (g(Y ), X)R(f (X))R(X)Q(b)←←←←←Q(Y ), !, not(R(f (Y )));R(X), Q(Y );Q(X), !, P (X, g(X));;;Задача 4 (3 балла).
Для заданного запроса G =? A(X, Y ), not(A(X, X)) к заданной логическойпрограмме P построить на основе стандартной стратегии вычислений (с использованием операторовотсечения и отрицания) дерево SLD-резолютивных вычислений и определить множество вычисленныхответов. Примечание: заглавными буквами начинаются имена переменных и предикатов, а строчнымибуквами — имена констант и функций.P : A(X, c)A(g(X), X)B(g(X))B(X)E(b)←←←←←E(X), not(B(X)), !;B(X), E(X);!;B(g(X));;Задача 5 (2 балла).