1. Отметьте рассуждения, которые не являются индуктивными? 1 балл

Алюминий – твердое тело и металл; железо, медь, цинк – также твердые тела и металлы; платина - металл. Следовательно, платина - твердое тело.

Если гелий металл, он электропроводен. Гелий не электропроводен. Следовательно гелий не металл.

Аргентина является республикой; Бразилия – республика; Венесуэла – республика; Эквадор – республика. Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства; других латиноамериканских государств нет. Следовательно все латиноамериканские государства являются республиками.

Многие птицы умеют летать. Это потому, что у них есть крылья.

2. Определите верные утверждения для выражения F = (A \vee \neg A) \leftrightarrow B. 1 балл

Есди А - ложь, В - ложь, тогда F - истина

Если А - истина, В - ложь, тогда F - ложь

Если А - ложь, В - истина, тогда F - истина

Если А - истина, В - истина, тогда F - истина

3. Какие из следующих выражений тождественно истинны? 1 балл

A | B

(A \rightarrow B)\wedge (B\rightarrow A)

(A |(B \wedge \neg A))\vee(A\vee\neg(B\vee A))

(A \vee \neg A)\leftrightarrow B

4. Приведите сложности в создании экспертных систем. 1 балл

Сложное формирование базы знаний когда ее нет в естественном виде

Организация хранения фактов

Противоречивость знаний

Недостаточность вычислительных возможностей современных компьютеров

5. На основании чего экспертная система делает вывод? 1 балл

Конкретных фактов

Метода резолюций

Таблиц истинности

Базы знаний

6. Почему нет экспертных систем для инженерных вопросов? 1 балл

Большое количество информации

Нет экспертов в этой области

Нет хорошо формализованных знаний

7. Некоторые кружки красивы. Все кружки полезны. Cледовательно, ... 1 балл

Некоторые красивые вещи полезны

Все красивые вещи полезны

Все полезные вещи красивы

8. Как не доказывают формулы логики высказываний? 1 балл

С помощью правила modus ponens

С помощью экспертных систем

С помощью правила резолюций

С помощью таблиц истинности

9. Что такое конъюнктивная нормальная форма? 1 балл

Формула, состоящая только из конъюнкций

Конъюнкция скобок с элементарными дизъюнкциями

Элементарные конъюнкции, записанные через дизъюнцию

10. Выберите выражения, которые находятся в КНФ 1 балл

A\vee (B\vee C)

(B\wedge \neg A)\wedge (A\vee B)

A

A\wedge(B\vee C)