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

Необходимо выполнить представленные ниже задания. Работа выполняется в формате Word.

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

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

3. Решить задачу. Введем предикат L(x, y) с интерпретацией « х любит y – ка». Используя этот предикат, построить фразы «Каждый любит когонибудь», «Некто не любит никого», «Ни один не любит всех»