Національний університет "Львівська політехніка"

Білет №16

1. Покажіть зв’язок між бінарним фактом, тріадою і елементами концептуального графу.

6

2. Наведіть приклад використання предикатів для формування бази знань.

6

3.Демони і їх значення у фреймових моделях подання знань.

6

4. Усунення імплікацій і тотожностей за допомогою тотожних перетворень. Використання для автоматизації виведення теорем.

6

5. Що таке псевдофізичні логіки. Їх використання в СШІ

6

6. Таблиця істинності заперечення у логіці Лукасевича.

6

7. Логіка знання. Основні аксіоми.

6

8. Поняття про неточне логічне виведення.

6

9. Реалізувати заперечення за допомогою модельного нейрона.

6

10 Оцінка ризику прийняття рішення.

6

Білет №17

1. Подання знань в СШІ

6

2.Позитивні і негативні атомарні формули. Фразова форма логіки предикатів.

6

3. Інтерпретація формул в логіці першого порядку.

6

4.Наведіть приклад семантичної мережі.

6

5.Фрейми і екземпляри фреймів.

6

6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину

6

7. Квантори модальних логік.

6

8. Епістемічні логіки. Основні аксіоми.

6

9. Основні поняття теорії можливостей.

6

10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

6

Білет №18

1. Що таке штучний інтелект ?.

6

2.Фрази Хорна. Правила де Моргана.

6

3.Основні правила виведення в логіці предикатів.

6

4. Усунення кванторів існування і узагальнення. Як ця процедура використовується в СШІ

6

5.Назвіть приклади де СШІ продуктивніші за природній інтелект.

6

6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину

6

7. Квантори модальних логік.

6

8. Епістемічні логіки. Основні аксіоми.

6

9. Основні поняття теорії можливостей.

6

10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

6