ALLY, UN SYSTEME LOGIQUE POUR LA GENERALISATION EN APPRENTISSAGE AUTOMATIQUE / JACQUES NICOLAS ; SOUS LA DIRECTION DE LAURENT TRILLING

Date : 1987

Editeur / Publisher : [S.l.] : [s.n.] , 1987

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Nicolas, Jacques (19..-.... ; docteur en sciences de l'environnement) (Auteur / author)

Trilling, Laurent (1941-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (1969-2022) (Organisme de soutenance / degree-grantor)

Relation : ALLY, UN SYSTEME LOGIQUE POUR LA GENERALISATION EN APPRENTISSAGE AUTOMATIQUE / Jacques Nicolas ; sous la direction de Laurent Trilling / Grenoble : Atelier national de reproduction des thèses , 1987

Résumé / Abstract : 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