1. Что "похоронило" логическое программирование?
1 балл
Комбинаторный взрыв
Работа Мински и Паперта
Разные базы знаний
2. Что такое предваренная нормальная форма?
1 балл
Конъюнкция нескольких простых дизъюнкций
Формула, состоящая из двух частей, кванторной и КНФ
Форма, зависящая от констант и функций
3. Какая из формул представлена в Сколемовской нормальной форме?
1 балл
\forall x_1 \forall x_2 \exists x_3 \forall x_4 \forall x_5 P(x_1,x_2,x_3) \wedge P(x_4,x_5,x_6)
P(a,u,f(u)) \vee P(x,y,g(u,x,y))
(A|(B\wedge \neg A))\vee (A\vee \neg (B\vee A))
4. К каким из указанных предикатов применимо унифицированное правило резолюций?
1 балл
P(x,a)\vee Q(x)
и
\neg P(b,x)
P(a,y) \vee Q(g(y))
и
\neg P(x,f(x))
P(x,a)\vee Q(x)
и
\neg P(b,c)
5. Задана модель с предикатом умножения:
P(x,y,z)\leftrightarrow xy=z
. Какое из указанных свойств является свойством замкнутости умножения?
1 балл
\forall x \forall y \exists z P(x,y,z)
\forall x \forall y \exists z P(x,z,y)
\forall x Q(x,1,x) \wedge Q(1,x,x)
6. Для чего используется прувер?
1 балл
Поиск лемм
Проверка уже существующих доказательств
Проверка гипотез
Формулировка аксиом
7. Что используется при автоматическом доказательстве теорем?
1 балл
Экспертная система
Правило резолюций
Логическое программирование
8. Почему выражение
\forall y \exists x P(x,y)
не всегда верно, если рассматривать предикат
P(x,y)
как "
x
является родитель
y
"?
1 балл
Родитель самого первого родителя не входит в множество модели
Предикат нельзя применить к генеалогическому древу
Человек может не иметь родителя
9. Что такое комбинаторный взрыв?
1 балл
Резкое увеличение времнеи алгоритма при увеличении числа вариантов
Уменьшение числа вариантов
Машинное доказательство теоремы
10. Какие формулы являются тождественно истинными?
1 балл
((\forall x P(x)) \wedge (\forall x Q(x))) \leftrightarrow (\forall x P(x) \wedge Q(x))
((\exists x P(x)) \wedge (\exists x Q(x))) \leftrightarrow (\exists x P(x) \wedge Q(x))
((\forall x P(x)) \vee (\forall x Q(x))) \leftrightarrow (\forall x P(x) \vee Q(x))
((\exists x P(x)) \vee (\exists x Q(x))) \leftrightarrow (\exists x P(x) \vee Q(x))
×
Практика, практика и еще раз практика!
Войдите
или
зарегистрируйтесь
, чтобы отвечать на тесты и решать задачи.