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

Білет №7

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

6

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

3

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

7

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

9

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

5

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

6

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

6

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

6

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

6

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

6

Білет №8

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

3

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

9

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

5

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

7

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

6

6. Дати означення нечіткої множини.

6

7. Інтерпретація коефіцієнтів матриці ризику.

6

8. Міра неточності складного твердження.

6

9. Твердження у логіці Лукасевича.

6

10. Квантори можливості та необхідності.

6

Білет №9

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

6

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

7

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

9

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

3

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

5

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

6

7. Використання основних понять теорії ймовірностей при неточному виведенні.

6

8. Основні властивості функції належності нечіткої множини.

6

9. Нечітке логічне виведення.

6

10. Записати таблицю істинності Лукасевича для заперечення.

6