Задачи (Старые варианты экзамена), страница 5

PDF-файл Задачи (Старые варианты экзамена), страница 5 Математическая логика и логическое программирование (52940): Ответы (шпаргалки) - 7 семестрЗадачи (Старые варианты экзамена) - PDF, страница 5 (52940) - СтудИзба2019-09-18СтудИзба

Описание файла

Файл "Задачи" внутри архива находится в папке "Старые варианты экзамена". PDF-файл из архива "Старые варианты экзамена", который расположен в категории "". Всё это находится в предмете "математическая логика и логическое программирование" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст 5 страницы из PDF

Какие из приведенныхниже утверждений всегда справедливы и почему?1. Если каждый дизъюнкт множества S0 выполним, то и каждый дизъюнкт множества S1выполним, потому что....2. Если каждый дизъюнкт множества S1 выполним, то множество дизъюнктов S0 имеет модель,потому что....3. Если множество дизъюнктов S0 имеет модель, то множество дизъюнктов S1 имеет модель, потомучто....4. Все приведенные выше утверждения всегда верны, потому что...Задача 11 (3 балла). Предположим, что в правило резолюции было внесено следующее изменение:резольвентой дизъюнктов D1 = D10 ∨L1 и D2 = D20 ∨¬L2 объявляется всякий дизъюнкт D0 = (D10 ∨D20 )η,где η — некоторый унификатор (необязательно наиболее общий) литер L1 и L2 . Какие из приведенныхниже утверждений будут справедливы и почему?1. После такого изменения и теорема корректности резолютивного вывода и теорема полнотырезолютивного вывода уже будут неверны, потому что...2.

После такого изменения теорема корректности резолютивного вывода остается верной, а теоремаполноты резолютивного вывода уже будет неверна, потому что...3. После такого изменения теорема полноты резолютивного вывода остается верной, а теоремакорректности резолютивного вывода уже будет неверна, потому что...4. После такого изменения и теорема корректности резолютивного вывода и теорема полнотырезолютивного вывода остаются верными, потому что...Задача 11.

Известно, что из множества непустых дизъюнктов S = {D1 , D2 , . . . , DN } можно построить резолютивный вывод пустого дизъюнкта . Какие из приведенных ниже утверждений всегдасправедливы и почему?1. Существует успешный табличный вывод для исходной таблицы T = h∅, {D1 &D2 & . . . &DN }i, потому что. . . .2. Существует успешный табличный вывод для исходной таблицы T = h{D1 &D2 & . . . &DN }, ∅i, потому что.

. . .3. Существует успешный табличный вывод для исходной таблицы T = h∅, {D1 ∨ D2 ∨ . . . ∨ DN }i,потому что. . . .4. Существует успешный табличный вывод для исходной таблицы T = h{D1 ∨ D2 ∨ . . . ∨ DN }, ∅i,потому что. . . .5. Ни одно из приведенных утверждений неверно.Ïðåäïîëîæèì, ÷òî ôîðìóëà ϕ èìååò ïðåäâàðåííóþ íîðìàëüíóþ ôîðìó, à ýòî ñîîòâåòñòâóþùàÿ åé ôîðìóëà â ñêîëåìîâñêîé ñòàíäàðòíîé ôîðìå, ïîëó÷åííàÿ â ðåçóëüòàòåïðèìåíåíèÿ ïðîöåäóðû ñêîëåìèçàöèè ê ôîðìóëå ϕ.

Êàêèå èç ïðèâåäåííûõ íèæå óòâåðæäåíèé áóäóòâñåãäà ñïðàâåäëèâû è ïî÷åìó?1. Ôîðìóëà ϕ → ψ ÿâëÿåòñÿ îáùåçíà÷èìîé, ïîòîìó ÷òî...2. Ôîðìóëà ϕ → ψ ÿâëÿåòñÿ âûïîëíèìîé, ïîòîìó ÷òî...3. Ôîðìóëà ψ → ϕ ÿâëÿåòñÿ îáùåçíà÷èìîé, ïîòîìó ÷òî...4. Ôîðìóëà ψ → ϕ ÿâëÿåòñÿ âûïîëíèìîé, ïîòîìó ÷òî...5. Íè îäíî èç ïðèâåäåííûõ âûøå óòâåðæäåíèé â îáùåì ñëó÷àå íå âåðíî, ïîòîìó ÷òî...Çàäà÷à 11 (3 áàëëà).ψÇàäà÷à 11 (3 áàëëà).

Ïóñòü S - ýòî íåêîòîðîå ìíîæåñòâî äèçúþíêòîâ, à [S] - ýòî ìíîæåñòâî âñåõîñíîâíûõ ïðèìåðîâ äèçúþíêòîâ èç ìíîæåñòâà S. Êàêèå èç ïðèâåäåííûõ íèæå óòâåðæäåíèé âñåãäàñïðàâåäëèâû è ïî÷åìó?1. Åñëè äèçúþíêò D ðåçîëþòèâíî âûâîäèì èç ìíîæåñòâà äèçúþíêòîâ S , òî ýòîò æå äèçúþíêò Dðåçîëþòèâíî âûâîäèì èç ìíîæåñòâà îñíîâíûõ ïðèìåðîâ äèçúþíêòîâ [S], ïîòîìó ÷òî...2. Åñëè äèçúþíêò D ðåçîëþòèâíî âûâîäèì èç ìíîæåñòâà îñíîâíûõ ïðèìåðîâ äèçúþíêòîâ [S], òîýòîò æå äèçúþíêò D ðåçîëþòèâíî âûâîäèì èç ìíîæåñòâà äèçúþíêòîâ S , ïîòîìó ÷òî...3. Åñëè ýðáðàíîâñêàÿ èíòåðïðåòàöèÿ I ÿâëÿåòñÿ ìîäåëüþ äëÿ ìíîæåñòâà äèçúþíêòîâ S , òî ýòà æåýðáðàíîâñêàÿ èíòåðïðåòàöèÿ I ÿâëÿåòñÿ ìîäåëüþ äëÿ ìíîæåñòâà îñíîâíûõ ïðèìåðîâ äèçúþíêòîâ[S], ïîòîìó ÷òî...4. Åñëè ýðáðàíîâñêàÿ èíòåðïðåòàöèÿ I ÿâëÿåòñÿ ìîäåëüþ äëÿ ìíîæåñòâà îñíîâíûõ ïðèìåðîâ äèçúþíêòîâ [S], òî ýòà æå ýðáðàíîâñêàÿ èíòåðïðåòàöèÿ I ÿâëÿåòñÿ ìîäåëüþ äëÿ ìíîæåñòâà äèçúþíêòîâ S , ïîòîìó ÷òî...Задача 11 (3 балла).

Выберите и мотивируйте правильные продолжения следующего утверждения.«Формула ϕ логики предикатов первого порядка выполнима тогда и только тогда, когда...»1. В любом дереве табличного вывода для исходной таблицы T = h{ϕ}, ∅i каждая ветвь завершаетсяаксиомой, потому что ....2. В любом дереве табличного вывода для исходной таблицы T = h{ϕ}, ∅i хотя бы одна ветвь завершается аксиомой, потому что ....3. Хотя бы в одном дереве табличного вывода для исходной таблицы T = h{ϕ}, ∅i каждая ветвьзавершается аксиомой, потому что ....4. Хотя бы в одном дереве табличного вывода для исходной таблицы T = h{ϕ}, ∅i хотя бы однаветвь завершается аксиомой, потому что ....5. Ни одно из приведенных выше продолжений утверждения не верно, потому что....Задача 11.

Предположим, что из системы дизъюнктов S можно резолютивно вывести дизъюнкт P ∨ ¬P .Какие из приведенных ниже утверждений будут всегда верны и почему?1. В системе дизъюнктов S есть противоречивый дизъюнкт, потому что. . .2. Система дизъюнктов S непротиворечива, потому что. . .3. Система дизъюнктов S противоречива, потому что. . .4. Такой резольвенты вывести из системы дизъюнктов S невозможно, потому что. . .5. Ни одно из приведенных выше утверждений в общем случае несправедливо, потому что. . .Задача 11 (3 балла).

Пусть задано некоторое непустое множество дизъюнктов S0 . Пусть S1 — этомножество всех формул, резолютивно выводимых из множества дизъюнктов S0 . Какие из приведенныхниже утверждений всегда справедливы и почему?1. Если каждый дизъюнкт множества S0 выполним, то и каждый дизъюнкт множества S1 выполним, потому что....2. Если каждый дизъюнкт множества S1 выполним, то множество дизъюнктов S0 имеет модель,потому что....3. Если множество дизъюнктов S0 имеет модель, то множество дизъюнктов S1 имеет модель, потомучто....4. Все приведенные выше утверждения всегда верны, потому что...Задача 11 (3 балла).

Пусть A(X) — атом, P — хорновская логическая программа, I — эрбрановскаямодель для логической программы P. Какие из приведенных ниже утверждений всегда справедливыи почему?1. Если I |= ∃X A(X), то запрос ? A(X), обращенный к программе P, имеет хотя бы одно успешноевычисление, потому что...2. Если все вычисления запроса ? A(X), обращенного к программе P, являются успешными, тоI |= ∀X A(X), потому что...3. Если хотя бы одно вычисление запроса ? A(X), обращенного к программе P, является успешным,то I |= ∃X A(X), потому что...4.

Если I |= ∀X A(X), то все вычисления запроса ? A(X), обращенного к программе P, являютсяуспешными, потому что...Задача 11 (3 балла). Предположим, что в правило резолюции было внесено следующее изменение:резольвентой дизъюнктов D1 = D10 ∨L1 и D2 = D20 ∨¬L2 объявляется всякий дизъюнкт D0 = (D10 ∨D20 )η,где η — некоторый унификатор (необязательно наиболее общий) литер L1 и L2 . Какие из приведенныхниже утверждений будут справедливы и почему?1. После такого изменения и теорема корректности резолютивного вывода и теорема полноты резолютивного вывода уже будут неверны, потому что...2.

После такого изменения теорема корректности резолютивного вывода остается верной, а теоремаполноты резолютивного вывода уже будет неверна, потому что...3. После такого изменения теорема полноты резолютивного вывода остается верной, а теорема корректности резолютивного вывода уже будет неверна, потому что...4.

После такого изменения и теорема корректности резолютивного вывода и теорема полноты резолютивного вывода остаются верными, потому что...Задача 11 (3 балла). Известно, что из множества непустых дизъюнктов S = {D1 , D2 , . . . , DN } можно построить резолютивный вывод пустого дизъюнкта . Какие из приведенных ниже утвержденийвсегда справедливы и почему?1. Семантическая таблица T = h∅, {D1 &D2 & . . .

&DN }i имеет успешный табличны вывод, потомучто...2. Семантическая таблица T = h∅, {D1 &D2 & . . . &DN }i не имеет успешного табличного вывода, потому что...3. Семантическая таблица T = h{D1 &D2 & . . . &DN }, ∅i имеет успешный табличны вывод, потомучто...4. Семантическая таблица T = h{D1 &D2 & . . . &DN }, ∅i не имеет успешного табличного вывода, потому что...5. Ни одно из приведенных утверждений в общем случае неверно.Задача 12 (3 балла). Пусть P — это хорновская логическая программа. Пусть также известно,что ни один запрос к программе P не имеет успешных SLD-резолютивных вычислений. Какие изприведенных ниже утверждений будут при этом всегда верны и почему?1.

Система дизъюнктов S, соответствующихпротиворечивой, потому что...утверждениямпрограммыP,является2. В программе P нет ни одного факта, потому что...3. Программа P состоит только из фактов, потому что...4. Такой хорновской логической программы P не существует, потому что...5. Все приведенные выше утверждения, вообще говоря, неверны, потому что...Задача 12 (3 балла).

Известно, что запрос ? P (x) к программе P имеет успешное SLD-резолютивноеопровержение, в результате которого в качестве ответа вычисляется подстановка {x/f (y)}. Какие изприведенных ниже утверждений будут всегда справедливы, независимо от программы P и атома P (x)и модели I? Ответ обосновать.1. P |= ∀x P (x), потому что...2. P |= ∃x P (x), потому что...3. P |= ∀y P (f (y)), потому что...4.

P |= ∃y P (f (y)), потому что...5. Ни одно из приведенных выше утверждений в общем случае не верно.Задача 12. Предположим, что для хорновской логической программы P выполняется соотношениеTP (∅) = ∅, где TP — оператор непосредственного логического следования для программы P. Какие изприведенных ниже утверждений справедливы и почему?1. Интерпретация I = ∅ является моделью программы P, потому что....2. Программа P не имеет ни одной модели, потому что...3. Любая эрбрановская интерпретация I является моделью программы P, потому что...4. Исходное предположение неосуществимо, то есть не существует ни одной такой хорновской логической программы P, для которой выполнялось бы указанное соотношение, потому что ...5. Ни одно из указанных утверждений не верно, потому что...Ïðåäïîëîæèì, ÷òî çàïðîñ G1 = ?C1, îáðàùåííûé ê õîðíîâñêîé ëîãè÷åñêîéïðîãðàììå P , èìååò âû÷èñëåííûé îòâåò θ1, à çàïðîñ G2 = ?C2, îáðàùåííûé ê òîé æå ñàìîé õîðíîâñêîéëîãè÷åñêîé ïðîãðàììå P , èìååò âû÷èñëåííûé îòâåò θ2.

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