Множество объектов

Множество свойств этих объектов

Множество теорем

Множество оценок

Множество возможных причин свойств

Множество фактов предметной области или гипотез

Множество определений

Множество теорем

Множество правил вывода

Множество аксиом предметной области

Порождение множества гипотез

Тестирование аргументов

Редукция множества гипотез по отвергающим аргументам

Расширение множества аргументов

Дифференциация множества гипотез

c обладает γ-условием для p относительно o

с обладает β-условием для p относительно o

o является положительным примером для p

c является фрагментом o

с – причина свойства р

 с обладает α-условием для p относительно o

Реорганизация атрибутов

Реорганизация элементов решений

Переиндексация

Удаление элементов

Добавление элементов

Трансформационная адаптация

Абстрактная адаптация

Подстановочная адаптация

Дедуктивная адаптация

Генеративная адаптация

o является неявным примером для p

o является отрицательным примером для p

o является положительным примером для p

Множество отрицательных примеров содержит больше одного элемента

Множество положительных примеров содержит больше одного элемента

Проста в вычислениях

Расстояние между точкой и классом стремится к расстоянию Евклида, когда дисперсии параметров класса стремятся к нулю

Учитывает корреляционные свойства классов

Метрика Махаланобиса совпадает с Евклидовой

Всегда учитывает распределение точек в классе

Предикатные символы

Логические связки

Кванторы существования

Литеры

Кванторы всеобщности