Fuzzy Horn clauses in artificial intelligence : a study of free models, and applications in art painting style categorization