Ответить на вопросы

Ответить на вопросы своими словами на основе лекций.

1/ Понятие логического следствия. Логические следствия в исчислении высказываний и исчислении предикатов.

2. Многие алгоритмы обобщения строят описание класса объектов в виде дерева решений (например, алгоритм ID3). Известно, что дерево решений можно преобразовать в набор продукционных правил. Верно ли обратное: всегда ли набор продукционных правил, который используется для классификации объектов, можно представить в виде дерева решений? Обосновать ответ.