Главная » Просмотр файлов » Подготовка к экзамену

Подготовка к экзамену (1158071), страница 2

Файл №1158071 Подготовка к экзамену (Подготовка к экзамену) 2 страницаПодготовка к экзамену (1158071) страница 22019-09-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

(имхо: почему нет, просто они все справа, но моё мнение не в счёт)

(невыполнимая впринципе формула только одна - тождественно ложный диъюнкт (а также все формулы, равносильные ему, пример: any x (P(x) & !P(x))). Ставим слева пустое множество, справа - тлд, всё пучком)

___________________________________________________________

Задача 6 (2 балла).

Какие формулы логики предикатов называются равносильными? Докажите, что два предложения ϕ и ψ являются равносильными тогда и только тогда, когда множество логических следствий формулы ϕ совпадает с множеством логических следствий формулы ψ?

Равносильными называются формулы фи и пси, для которых общезначима формула (фи -> пси)&(пси -> фи) - эту формулу ещё называют отношением эквиваленции.

Доказательство очевидно глядя на формулу. (“=>” очевидно, а обратно - не особо)

Думаю написать что оно следует из теоремы о логическом следствии будет достаточно.

____________________________________________________________

Задача 7 (2 балла).

Какой ответ на запрос G к хорновской логической программе P называется вычисленным? Существуют ли такие правильные ответы на запрос G к хорновской логической программе P, которые не могут быть вычислены?

Если последовательность SLD резолюции конечна и завершается квадратиком, то конкатенация Theta i ограниченная Y1...Yn является вычислимым ответом.

Не существуют с точностью до подстановки, по теореме полноты.

____________________________________________________________

Задача 8 (2 балла).

Что такое допущение замкнутости мира?

Верно ли, что ϕ ∨ ψ |=CWA ¬ϕ?

CWA: Это когда из того что

Г |=/= fi => Г |cwa= -fi

Хрен знает, я бы сказал что “да”, я тоже.

Я бы сказал, что “нет”. Если взять фи и пси одинаковыми, то получим, что из ϕ ∨ ψ выводится фи.

____________________________________________________________

Задача 9 (2 балла).

Как определяется отношение выполнимости I, s0 |= ϕUψ в темпоральной логике PLTL? Являются ли формулы ϕU(ψ1 &ψ2) и (ϕUψ1 & ϕUψ2) равносильными?

I, s0 |= ϕUψ

значит, что cуществует K>=0 : верно I, sk |=ψ и для любого 0<=i<k верно I, si |=ф

Кажись верны, хотя в лекция предлагается вывести формулы самим.

Не являются равносильными, ϕU(ψ1 &ψ2 ) говорит, что фи будет истинно до тех пор, пока не станут истинными пси1 и пси2 одновременно. Вторая формула говорит, что фи истинно, до тех пор, пока не окажется что и пси1 и пси2 уже были истинными, не обязательно одновременно.

________________________________________________________

Задача 6 (2 балла).

Какая интерпретация называется эрбрановской интерпретацией для заданной сигнатуры σ? Сколько существует различных эрбрановских интерпретаций в сигнатуре σ, состоящей

только из одного одноместного предикатного символа P и из одной предметной константы c ?

Смотри выше.

2 интерпретации.

_________________________________________________________

Задача 7 (2 балла).

Приведите определение SLD-резолютивного вычисления запроса G, обращенного к хорновской логической программе P. Верно ли, что если P |= ∀xR(x), то запрос G =? R(c), R(f (y)), обращенный к хорновской логической программе P имеет хотя бы одно успешное SLD-резолютивное вычисление?

Пусть программа P(c)←; и запрос ?G: P(X)

<P(c)←,{X/c},square>

Верно.

___________________________________________________________

Задача 8 (2 балла).

Что называется стратегией вычисления логических программ? Зависит ли ответ на запрос G =? not(P (x)) от того, какая именно стратегия вычисления применяется?

Спосом построения (обхода) SLD - дерева.

Зависит - правильность ответа неизвестна.

Может оказаться так, что в одной ветви находится решение для P(x), а другая ветвь бесконечна - тогда получается что при одной стратегии обхода получим зависание, при другой - квадратик.

(мне всё-таки кажется, что нет, но посмотрим <= из того, что надо обойти всё и всякие теоремы об остановах, etc)

____________________________________________________________

Задача 9 (2 балла).

Как определяется частичная корректность программы π относительно предусловия ϕ и постусловия ψ в интерпретации I?

Является ли программа while X > 0 do X + + od частично корректной относительно предусловия ϕ = (X > 0) и постусловия ψ = (X < 0) в стандартной интерпретации

I |= ф{pi} psi

Кажись корректно.

Да, хотя она никогда не завершится. Если там имелось в виду X--, то тогда некорректно, ибо по завершении будет X=0, а не X<0.

____________________________________________________________

Задача 6 (2 балла).

Какова формулировка теоремы об эрбрановских интерпретациях? Сколько эрбрановских моделей в сигнатуре σ = 〈Const = {c}, F unc = ∅, P red = {P }〉 имеет формула ϕ = ∃xP (x)&¬P (c)?

Система дизъюнктов невыполнима тогда и только тогда, когда она невыполнима ни на одной эрбрановской интерпретации.

От формулы количество эрбрановских моделей вообще не зависит. ЗАВИСИТ!!!

Эрбрановские модели интерпретации отличаются только толкованием предикатных символов.

В данном случае моделей интерпретаций 2 штуки, P(с) принимает значение либо true либо false.

Существует 2 эрбрановских интерпретации для заданной сигнатуры, но ни одна не является моделью данной формулы.

Ответ: 0

_____________________________________________________________

Задача 7 (2 балла).

Какова формулировка теоремы полноты операционной семантики хорновских логических программ относительно декларативной семантики? Верно ли, что из этой теоремы полноты следует, что для любого основного атома A, являющегося логическим следствием программы P, любое

вычисление запроса ?A, обращенного к программе P, является успешным?

Класс задач ХЛП в точности совпадает с классом задач машины тьюринга.

Любой правильный ответ является частным случаем какого-то из вычисленных.

Верно, так как есть правильный ответ {} (пустая подстановка), он должен быть частным случаем одного из вычисленных => существует вычисленный ответ. Не уверен, ответ может быть, но не по всем ветвям SLD-дерева => не все вычисления успешны (?)

________________________________________________________________

Задача 8 (2 балла).

Какова формулировка теоремы Черча о проблеме общезначимости в классической логике предикатов? Существует ли алгоритм, проверяющий противоречивость конечных множеств замкнутых формул логики предикатов?

См.выше.

__________________________________________________________________

Задача 9 (2 балла).

Как определяется отношение выполнимости I, s0 |= Fψ в темпоральной логике

PLTL? Являются ли формулы F(ψ1 &ψ2 ) и Fψ1 & 2 равносильными?

Существует такая K>=0, что I,sk |= ψ

Являются. Не являются, вспомним определение: “Future: φ должно стать истинным хотя бы в одном состоянии в будущем.” - первая формула, в отличие от второй, требует одновременности истинности ψ1 и ψ2.

______________________________________________________________________

Задача 5 (2 балла).

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

Γ, ∀xϕ(x) | ∆〉

Γ | ∃x¬ϕ(x), ∆〉

См выше

________________________________________________________________

Задача 6 (2 балла).

Как формулируется теорема компактности Мальцева? Следует ли из теоремы компактности теорема Эрбрана?

См.выше

______________________________________________________________

Задача 7 (2 балла).

Какой ответ на запрос G к хорновской логической программе P называется правильным? Сколько правильных ответов может иметь запрос G =?A, обращенный к хорновской логической программе P, в том случае, если A основной атом?

См.выше

__________________________________________________________________

Задача 8 (2 балла).

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

точно такое же множество ответов?

См. выше

_____________________________________________________________________

Задача 9 (2 балла).

Как определяется отношение выполнимости I, w |= □ϕ в модальной логике?

Верно ли, что для любой модели Крипке I и для любого состояния w если I,

w |= □¬p, то I, w |= ♦p ?

См.выше

_________________________________________________________________________

Задача 5 (2 балла).

Сформулируйте теорему компактности Мальцева. Следует ли из этой теоремы

утверждение: Если бесконечное множество предложений Γ не имеет модели, то хотя бы одно предложение множества Γ является противоречивым ?

____________________________________________________________________________

Задача 6 (2 балла).

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

Докажите, что два предложения ϕ и ψ являются равносильными тогда и только тогда, когда множество логических следствий формулы ϕ совпадает с множеством логических следствий формулы ψ?

_____________________________________________________________________________

Задача 7 (2 балла).

Какой ответ на запрос G к хорновской логической программе P называется

вычисленным? Существуют ли такие правильные ответы на запрос G к хорновской логической программе P, которые не могут быть вычислены?

Определение вычисленного ответа

Пусть

G0 = ? C1, C2, . . . , Cm - целевое утверждение с целевыми переменными Y1, Y2, . . . , Yk,

P = {D1, D2, . . . , DN } — хорновская логическая программа,

comp = (Dj1, θ1, G1), (Dj2, θ2, G2), . . . , (Djn , θn, ...) - успешное SLD-резолютивное вычисление, порожденное запросом G к программе P.

Тогда подстановка θ = (θ1θ2 . . . θn)|Y1,Y2,...,Yk,представляющая собой композицию всех вычисленных унификаторов θ1, θ2, . . . , θn, ограниченную целевыми

переменными Y1, Y2, . . . , Yk , называется вычисленным ответом на запрос G0 к программе P.

Теорема полноты гласит, что каждый правильный ответ — это пример (частный случай) некоторого вычисленного ответа .

__________________________________________________________________________

Задача 8 (2 балла).

Что такое допущение замкнутости мира? Верно ли, что ϕ ∨ ψ |=CWA ¬ϕ?

Суть Допущения Замкнутость Мира (CWA) состоит в том,что при извлечении CWA-логических следствий из базы знаний Г (|=cwa) нужно рассматривать не все модели для Г,а только такую минимальную модель,в которой истинными являются одни лишь классические следствия (|=) из Г. Такая минимальная модель существует, вообще говоря, не всегда, например, Г={A V B}.

CWA-логическое следствие: пусть существуется непротиворечивое множество замкнутых формул Г и замкнутая формула ф.Тогда формула -ф является логическим следствием Г в допущении замкнутости мира Г |= cwa - ф,если неверно,что ф логически следует из Г. (CWA = close world assumption).

Теперь наш второй вопрос.Чтобы эта штука была верной,по определению необходимо,чтобы был неверен факт: “ф логически следует из ”.На мой взгляд,этот факт не верен.Значит,ответ “Верно”

Тут, как заметили в аналогичном вопросе, для случая ф=пси получаются странные вещи. Также, может быть, стоит обратить внимание на факт “Такая минимальная модель существует, вообще говоря, не всегда, например, Г={A V B}.” - тут как раз такой случай, но что из этого следует?

____________________________________________________________________

Задача 9 (2 балла).

Как определяется интерпретация интуиционистской логики высказываний? Является ли формула p → ¬¬p общезначимой в интуиционистской логике высказываний?

Характеристики

Тип файла
Документ
Размер
439 Kb
Высшее учебное заведение

Список файлов ответов (шпаргалок)

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6461
Авторов
на СтудИзбе
304
Средний доход
с одного платного файла
Обучение Подробнее