Like the other propositional learners, Aq requires a mode declaration to specify the types of attributes that the relation has.
The mode declaration defines the range of values each attribute is allowed to take. The last attribute is always taken to be the class.
mode object( size(small, medium, large), colour(red, blue, green), shape(wedge, brick, pillar, sphere), class(yes, no) ). object(medium, blue, brick, yes). object(small, red, sphere, yes). object(large, green, pillar, yes). object(large, green, sphere, yes). object(small, red, wedge, no). object(large, red, wedge, no). object(large, red, pillar, no). : aq(object)? aq0 : pf aq0! aq0 isa [aq] with creator: aq(object); date: '97/10/21 - 10:32:49'; n_examples: 7; errors: 0; time: 0; rule: object(Size, Colour, Shape, Class) :- (Colour in [blue, green] -> Class = yes |Shape in [brick, sphere] -> Class = yes |Colour = red , Shape in [wedge, brick, pillar] -> Class = no). !