При выборе лучшего правила AQ может использовать критерии типа «максимальное число покрываемых положительных примеров» и «минимальное число используемых атрибутов»

AQ требует, чтобы все правила были непересекающимися (взаимоисключающими). 

На шаге генерации опорного множества AQ находит максимально общие правила, которые не удовлетворяют ни одному отрицательному примеру NE

AQ выбирает опорный пример из множества положительных примеров PE

Условия правил в AQ могут задаваться как конъюнкции пар атрибут=значение или как дизъюнкции значений одного атрибута

AQ после выбора правила навсегда удаляет это правило из пространства гипотез и больше не использует его