Ally, un systeme logique pour la generalisation en apprentissage automatique

par Jacques Nicolas

Thèse de doctorat en Informatique

Sous la direction de Laurent Trilling.

Soutenue en 1987

à Rennes 1 .

mots clés

Résumé

Deux criteres sont proposes, permettant de specifier logiquement les proprietes des formules produites par l'operation de generalisation: un critere de consistance et un critere de preference. Un langage de representation particulierement riche (la classe de bernays-schoenfinkel) est utilise

Titre traduit

Ally: a logical system for the generalisation problem in machine learning

Pas de résumé disponible.