Главная / Программирование / Основы программирования на языке Пролог / Тест 2

Основы программирования на языке Пролог - тест 2

Упражнение 1:

Номер 1

Какие из перечисленных ниже объектов используются при конструировании термов?

Ответ:

(1) кванторы

(2) функциональные символы

(3) предикатные символы

Номер 2

В правиле резолюции контрарными литералами называются:

Ответ:

(1) исходные дизъюнкты

(2) вычеркнутые формулы

Номер 3

Что такое литерал?

Ответ:

(1) атомная формула

(2) отрицание атомной формулы

(3) атомная формула или отрицание атомной формулы

Упражнение 2:

Номер 1

Первая подстановка является более общей, чем вторая, если:

Ответ:

(1) первая подстановка получается из второй путем применения композиции

(2) вторая подстановка получается из первой путем применения композиции

Номер 2

Хорновский дизъюнкт содержит положительных литералов:

Ответ:

(1) ни одного

(2) ровно один

(3) более одного

(4) не более одного

Номер 3

В правиле резолюции резольвируемыми называются:

Ответ:

(1) исходные дизъюнкты

(2) вычеркнутые формулы

Упражнение 3:

Номер 1

Правило состоит:

Ответ:

(1) только из одного положительного литерала

(2) только из отрицательных литералов

(3) из одного положительного и нескольких отрицательных литералов

Номер 2

Факт состоит:

Ответ:

(1) только из одного положительного литерала

(2) только из отрицательных литералов

(3) из одного положительного и отрицательных литералов

Номер 3

Вопрос состоит:

Ответ:

(1) только из одного положительного литерала

(2) только из отрицательных литералов

(3) из одного положительного и отрицательных литералов

Упражнение 4:

Номер 1

Формула в конъюнктивной нормальной форме состоит из:

Ответ:

(1) конъюнкции конечного числа литералов

(2) конъюнкции конечного числа дизъюнктов

(3) дизъюнкции конечного числа конъюнктов

Номер 2

Формула в сколемовской нормальной форме не содержит:

Ответ:

(1) кванторов

(2) кванторов всеобщности

(3) кванторов существования

Номер 3

Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:

Ответ:

(1) кванторы

(2) кванторы всеобщности

(3) кванторы существования

Упражнение 5:

Номер 1

Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?

Ответ:

(1) да

(2) нет

Номер 2

Логическая программа завершается успехом в случае, если:

Ответ:

(1) был выведен пустой дизъюнкт

(2) был выведен пустой конъюнкт

(3) ни одну из подцелей не удается унифицировать ни с одним дизъюнктом программы

Номер 3

Обязательно ли метод резолюций завершается за конечное число шагов?:

Ответ:

(1) да

(2) нет

Главная / Программирование / Основы программирования на языке Пролог / Тест 2