Recognizing objects from constraints

In object-oriented representation, inheritance determines the attributes of a given object, given its type. Conversely, recognition determines the type of an object, given its attributes. The author addresses the more general problem of recognition from constraints; arguing that it can be seen as a special case of the classical abduction process and that it can be implemented as an abduction operation on constraints. Abductive reasoning is common in most fields of artificial intelligence. Constraint logic programming (CLP) generalizes logic programming by replacing unification with constraint solving. He first explores the relationship between abduction and CLP and shows that CLP is a special case of abduction. A class of problems is then identified for which the usual unrestricted forms of abduction are unsuitable. Within the CLP framework a restricted form of abduction is formulated which is applicable to the whole class of problems, in which object-oriented recognition can be considered as a special case