Вариант 5

Задача вывода всевозможных следствий из текущей базы знаний с использованием метода резолюций. Формализовать деятельность следующей организации:

1. в организации работает n сотрудников;

2. каждый сотрудник занимает определенную должность;

3. сотрудник может совмещать не более двух должностей;

4. существуют должности, занимая которую, сотрудник не может совмещать другую должность;

5. каждый сотрудник подчиняется только одному начальнику;

6. начальник также является сотрудником;

7. существует начальник, который никому не подчиняется;

8. должность характеризуется названием, должностными обязанностями и уровнем заработной платы;

9. сотрудники образуют отделы;

10. каждый сотрудник работает хотя бы в одном отделе;

11. у отдела существует только один начальник.

Пример формализации факта:

Manager(X,Y); // X является начальником Y

Примером выведенного следствия из текущей базы знаний является то, что каждый сотрудник не может работать более чем в одном отделе.

Вариант 6

Задача нахождения синонимичных и омонимичных понятий в тексте. Предположим, что каждое понятие в тексте описывается своим определением. Например,

Треугольник – это многоугольник, с тремя вершинами.

Треугольник – это совокупность из трех попарно взаимосвязанных отрезков.

Необходимо формализовать каждое определение понятия в виде семантической сети. Далее необходимо найти изоморфное вложение подграфов. В зависимости от того пересекаются графы, один граф включается в другой или не пересекаются, необходимо сделать вывод о том, являются ли эти понятия омонимичными (т.е. их определения не пересекаются), либо одно понятие является подмножеством другого и т.д.