ОДМ/Laboratory/Laboratory2/6questions
Raw

6. Контрольні запитання

Предикати та квантори

  1. Що таке предикат? Що таке його місність (арність)? Наведіть приклад одномісного та двомісного предиката з вашого дерева.
  2. Назвіть область визначення та область значень предиката. Чим предикат відрізняється від висловлення?
  3. Поясніть, чому nn-місний предикат рівносильний відношенню — підмножині MnM^{n}. Що є цією підмножиною для предиката FATHER(x,y)\mathrm{FATHER}(x, y)?
  4. Як читаються формули ∀x P(x)\forall x\,P(x) та ∃x P(x)\exists x\,P(x)? Сформулюйте закон де Моргана для кванторів: чому ¬∀x P(x)≡∃x ¬P(x)\neg\forall x\,P(x) \equiv \exists x\,\neg P(x)?
  5. Що таке вільна та зв’язана змінна у формулі? Якими кванторами зв’язані змінні x,y,zx, y, z у правилі BROTHER(x,y)≡MAN(x)∧∃z (… )\mathrm{BROTHER}(x, y) \equiv \mathrm{MAN}(x) \wedge \exists z\,(\dots)?

Синтаксис і семантика Prolog

  1. Дайте означення факту, правила та запиту. Що означає знак :- і що означає кома в тілі правила?
  2. За яким правилом Prolog відрізняє атом від змінної? Чому запис Ivan є помилкою для імені особи; як правильно записати константу «Іван»?
  3. Що таке анонімна змінна _ і коли її зручно вживати? Що питає запит father(ivan, _)?
  4. Як за допомогою двох правил з однаковою головою виразити диз’юнкцію? Запишіть parent/2 через father/2 і mother/2 та поясніть, чому потрібні саме два правила.
  5. Що таке припущення замкненого світу? Чому неповна база знань може повертати false там, де ви очікуєте true?

Виконання запитів

  1. Що таке уніфікація? Наведіть приклад цілі та факту, які уніфікуються, і вкажіть отриману підстановку змінної.
  2. Опишіть пошук із поверненням (backtracking). Яку роль відіграє ; (крапка з комою) у відповідях SWISH?
  3. Порівняйте оператори = (уніфікація) та \= (не уніфікуються). Навіщо в правилі brother умова X \= Y і що станеться без неї?

Завдання-міркування

  1. Запишіть логічною формулою предикат GRANDFATHER(x,y)\mathrm{GRANDFATHER}(x, y) через FATHER\mathrm{FATHER} і PARENT\mathrm{PARENT}. Скільки «поколінь» відношень він поєднує?
  2. Поясніть означення COUSIN(x,y)\mathrm{COUSIN}(x, y): чому двоюрідні мають спільного діда чи бабу, але різних батьків? Для свого дерева наведіть запит із кількома відповідями та поясніть порядок їх появи (а якщо є повтори — їхню причину).

Laboratory/Laboratory2/6questions.md · 3.7 KB · updated 2026-08-04 14:38