Модели представления знаний

Построить логическую модель в виде графа. Описать логическую модель совокупностью, с учетом выбранной предметной области.:
М = ,
где T - множество базовых элементов,
P - множество правил,
A - множество истинных выражений (аксиом),
F - правило вывода.
9. Получение диплома в вузе