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