Решения тестов / Тема №4. Трактовка формулы Ковальского
.pdf08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
В начало / Мои курсы / ЛФП / Тема 4 / Трактовка формулы Ковальского
Тест начат |
Четверг, 8 Апрель 2021, 10:22 |
Состояние |
Завершенные |
Завершен |
Четверг, 8 Апрель 2021, 10:25 |
Прошло времени |
2 мин. 40 сек. |
Баллы |
15,00/15,00 |
Оценка |
10,00 из 10,00 (100%) |
|
|
Вопрос 1
Верно
Баллов: 1,00 из 1,00
Сколько надо знать и помнить правил , чтобы воспользоваться методом резолюции?
Выберите один ответ: a. Два правила
b. Одно правило |
|
|
c. три правила
d. Ни одного правила
Вопрос 2
Верно
Баллов: 1,00 из 1,00
Метод резолюции Робинсона– это ………
Выберите один ответ:
a. хорновские дизъюнкты
b. Правило вывода Modus Ponens для случая истинного А
c. Правило вывода новой логической формулы из двух посылок. |
|
|
d. Цепное правило для случая применения его к формулам, которые не могут быть приведены к конъюнктивной нормальной форме
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
1/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
|
|
|
Вопрос 3 |
|
|
|
Верно |
|
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
|
|
|
Терм представляет средство для …… |
|
|
|
Выберите один ответ: |
|
|
|
a. обозначения интересующих нас объектов |
|
|
|
|
b. обозначения предикатов
c. описания условий, которые должны быть выполнены
d. обнаружения целей
Вопрос 4
Верно
Баллов: 1,00 из 1,00
Правила содержат….
Выберите один ответ: a. набор аксиом
b. множество различных фактов
c. утверждения, истинность которых зависит от выполнения некоторых условий |
|
|
d. Только константы
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
2/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
Вопрос 5
Верно
Баллов: 1,00 из 1,00
Факты задают…..
Выберите один ответ:
a. множество объектов
b. отличия одного объекта от другого
c. отношения между объектами |
|
|
d. Имена отдельных объектов
Вопрос 6
Верно
Баллов: 1,00 из 1,00
Синтаксически предикат – это…..
Выберите один ответ:
a. частный случай отношения
b. множество термов
c. набор нескольких предикатных символов
d. кортеж из n термов, перед которыми стоит предикатный символ |
|
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
3/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
|
|
Вопрос 7 |
|
|
Верно |
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
Формула – это либо атомарная формула(по сути предикат), либо одно из следующих выражений:…….
Выберите один или несколько ответов:
a. (F1,F2) |
|
|
|
b. (F1:-F2) |
|
|
|
c. (F) |
|
|
|
d. (F1;F2) |
|
|
Вопрос 8
Верно Баллов: 1,00 из 1,00
Синтасически терм – это……….
Выберите один ответ:
a. конъюнкция переменных
b. либо константа, либо переменная, либо кортеж из n термов, перед которыми стоит |
|
|
|
функтор |
|
c. набор функторов |
|
d. константа |
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
4/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
|
|
|
Вопрос 9 |
|
|
|
Верно |
|
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
|
|
|
Предложение описывает…. |
|
|
|
Выберите один ответ: |
|
|
|
a. Логические свойства отношений |
|
|
|
|
b. некоторую функцию
c. факты
d. основные цели программы
Вопрос 10
Верно
Баллов: 1,00 из 1,00
Предикат –это……
Выберите один ответ:
a. множество упорядоченных переменных
b. элемент функции
c. Средство для выражения отношения между объектами, которые обозначены с помощью термов
d. n-местное отношение
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
5/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
|
|
|
Вопрос 11 |
|
|
|
Верно |
|
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
|
|
|
Правила определяют….. |
|
|
|
Выберите один ответ: |
|
|
|
a. одни отношения через другие |
|
|
|
|
b. последовательность предложений, описывающих предикат
c. составную цель
d. Синтаксис языка
Вопрос 12
Верно
Баллов: 1,00 из 1,00
Формула Ковальского Алгоритм = логика + управление Что входит в понятие управление?
Выберите один ответ: a. цели
b. Подпрограммы поиска с возвратом
c. Подпрограммы унификации
d. Подпрограммы поиска с возвратом и унификации , метод резолюции |
|
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
6/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
Вопрос 13
Верно
Баллов: 1,00 из 1,00
Факты содержат……
Выберите один ответ:
a. переменные и константы
b. только переменные
c. утверждения, которые всегда истинны |
|
|
d. Следствия, выводимые из программы
Вопрос 14
Верно Баллов: 1,00 из 1,00
Синтаксически предложение – это ……
Выберите один ответ:
a. набор объектов программы
b. правильно построенная формула, в которой каждое вхождение переменной находится в |
|
|
|
области действия квантора по переменной |
|
c. любые формулы |
|
d. формулы, в состав которых входят константы |
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
7/8 |
08.04.2021 |
Трактовка формулы Ковальского: просмотр попытки |
Вопрос 15
Верно
Баллов: 1,00 из 1,00
Формула Ковальского Алгоритм= логика + управление Что входит в понятие логики?
Выберите один ответ: a. факты
b. правила
c. Факты и правила
d. Факты, правила и цели |
|
|
◄ Методы оценки
Перейти на...
Декларативная и процедурная трактовки программы ►
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339489&cmid=15669 |
8/8 |