thesis

Ally, un systeme logique pour la generalisation en apprentissage automatique

Defense date:

Jan. 1, 1987

Edit

Institution:

Rennes 1

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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