Именованные слоты

Слот-указатели

Процедурные слоты

ISA-слоты

AKO-слоты

В них нет свободных переменных

Вершины сопоставляются бинарным отношениям

Они являются формой записи утверждений клаузальной логики

Заключения

Функциональные символы

Посылки

Термы

Атомарные формулы

Они не используются в сети Интернет

Они позволяют соединять синтаксис и семантику

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

Они не применимы в случаях, когда системы правил применимы

Они уменьшают вычислительную сложность решаемых задач

Применение неудачного правила блокирует завершение вычислений

В любой применимой последовательности перемена мест правил не приводит к изменению результирующего состояния

Не требует использования стратегий разрешения конфликтного множества

Каждое правило, применимое к состоянию S, применимо к состоянию S1, полученному при выполнении любого применимого правила из П к S

Целевое состояние, удовлетворяющееся некоторым состоянием S, удовлетворяется состоянием, полученным из S выполнением любого применимого правила из П

Статистический анализ правил

Управление с поиском на графе

Последовательное применение правил

Случайный выбор правил

Режим с возвращением

Безвозвратный

Пробный

Последовательный

Параллельный

Рекурсивный

Пустое конфликтное множество

Исчерпание доступной памяти

Достижение максимального количества итераций

Обнаружение противоречий в рабочей памяти

Достижение целевого состояния

Выбор очередного правила

Применение всех применимых правил одновременно

Проверка выполнимости условия правила

Автоматическое создание новых правил

Помещение применимого правила в конфликтное множество