Контрольные вопросы

1. Дайте понятие семантического дерева.

2. Перечислите методы представления.

3. Дайте характеристику методов Куайна, редукции, Эрбрана (достоинства и недостатки).

4. Опишите метод резолюций Робинсона, дайте понятие «резольвирование».

5. Как теоретически получить результат вывода?

6. Определите понятие “фактор уверенности”.

7. Назовите алгебры обработки факторов уверенности

8. Определите понятие «нечеткая переменная».

9. Сформулируйте правила обработки нечетких переменных.