Интеллектуальные информационные системы

1. Понятие решающей функции. Построение решающих функций по критерию минимального расстояния. Разделяющие решающие функции: методы построения.

2. Приведите алгоритм построения нормальных форм: ДНФ, КНФ для формул логики высказываний.

3. Решить задачу. Доказать справедливость рассуждения: Если экзаменатор строг, то экзамен трудно сдать. Экзаменатор строг или студенты плохо посещают занятия. Если студенты плохо посещают занятия, то плохо работает администрация факультета. Однако администрация работает хорошо. Значит, экзамен трудно сдать. Используйте для доказательства метод резолюции