Вариант 12
1. Понятие логического следствия. Логические следствия в исчислении высказываний и исчислении предикатов.
2. Многие алгоритмы обобщения строят описание класса объектов в виде дерева решений (например, алгоритм ID3). Известно, что дерево решений можно преобразовать в набор продукционных правил. Верно ли обратное: всегда ли набор продукционных правил, который используется для классификации объектов, можно представить в виде дерева решений? Обосновать ответ.
3 Решить задачу. Введем предикат L(x, y) с интерпретацией « х любит y – ка». Используя этот предикат, построить фразы «Каждый любит кого-нибудь», «Некто не любит никого», «Ни один не любит всех»