Вариант 5
Задача вывода
всевозможных следствий из текущей базы
знаний с использованием метода резолюций.
Формализовать деятельность следующей
организации:
-
в организации
работает n сотрудников;
-
каждый сотрудник
занимает определенную должность;
-
сотрудник может
совмещать не более двух должностей;
-
существуют
должности, занимая которую, сотрудник
не может совмещать другую должность;
-
каждый сотрудник
подчиняется только одному начальнику;
-
начальник также
является сотрудником;
-
существует
начальник, который никому не подчиняется;
-
должность
характеризуется названием, должностными
обязанностями и уровнем заработной
платы;
-
сотрудники
образуют отделы;
-
каждый сотрудник
работает хотя бы в одном отделе;
-
у отдела существует
только один начальник.
Пример формализации
факта:
Manager(X,Y);
// X
является начальником Y
Примером выведенного
следствия из текущей базы знаний является
то, что каждый сотрудник не может работать
более чем в одном отделе.
Вариант 6
Задача нахождения
синонимичных и омонимичных понятий в
тексте. Предположим, что каждое понятие
в тексте описывается своим определением.
Например,
Треугольник
– это многоугольник, с тремя вершинами.
Треугольник
– это совокупность из трех попарно
взаимосвязанных отрезков.
Необходимо
формализовать каждое определение
понятия в виде семантической сети. Далее
необходимо найти изоморфное вложение
подграфов. В зависимости от того
пересекаются графы, один граф включается
в другой или не пересекаются, необходимо
сделать вывод о том, являются ли эти
понятия омонимичными (т.е. их определения
не пересекаются), либо одно понятие
является подмножеством другого и т.д.