Контроль корректности вычислений

Формирование отражения изменений в мире

Управление приоритетами правил

Модификацию модели мира

Оптимизацию использования памяти

Только факты, истинные в предметной области

Только предикатные символы из условия правил

Конечные отношения для интерпретации предикатных символов

Список всех правил

Интерпретирующее отображение

Условие правила должно быть истинным в текущем состоянии рабочей памяти

Правило должно иметь наивысший приоритет в конфликтном множестве

Рабочая память должна быть пустой

В рабочей памяти должны отсутствовать факты, противоречащие условию правила

Каждая атомарная формула условия должна быть истинна

Приоритет правила

Множество добавляемых фактов

Условие

Название правила

Множество удаляемых фактов

Эволюционный характер разработки больших программных систем

Изменения в компонентах могут проводиться относительно независимо

Централизованное управление данными

Жёсткая структура, требующая внесения последовательных изменений

Модульный характер

Правило Лопиталя

Правило отделения

Правило интегрирования по частям

Правило подстановки

Правило Крамера

Аксиома генерализации

Аксиома Архимеда

Аксиома выбора

Аксиомы, определяющие свойства логических связок (например, импликации)

Аксиома спецификации