Photo

Bertet Karell

Maitre de Conférences

Systèmes implicatifs:  aspects  algorithmiques et applicatifs

Les systèmes implicatifs offrent un cadre méthodologique complet et robuste pour exprimer et traiter efficacement des liens entre des données sous forme de règles conjonctives. La pertinence d'un tel cadre méthodologique provient essentiellement du lien formel entre les systèmes implicatifs, la théorie des treillis  (via le treillis des fermés et un opérateur de fermeture, ou encore le treillis des concepts ou treillis de galois et une correspondance objets-attributs) et la logique propositionelle (via les clauses de Horn). Nos contributions actuelles sont:
  • orientées modèle: étude algorithmique de la base directe canonique
  • orientées modélisation:
    • outil de classification dans un contexte de reconnaissance d'images détériorées à l'aide d'un treillis de Galois,
    • inférence à partir de règles dans un contexte de systèmes experts flous,
    • et plus généralement utilisation pertinente  de modèles issus de la théorie des treillis dans des domaines scientifiques traités au sein du laboratoire
FlagFR
Version anglaise 
 
 

Phone : (33) 05 46 45 83 08 
Fax : (33) 05 46 45 82 42 

(kbertet@univ-lr.fr)

Curriculum Vitae

Publications

Enseignement

ULR Université de La Rochelle 23, Avenue Albert EINSTEIN, 17071 LA ROCHELLE Cedex 9, Tel : (33) 05 46 45 91 14
L3I Laboratoire d'informatique et d'imagerie industrielle, Avenue de Marillac, 17042 LA ROCHELLE Cedex 1, Tel : (33) 05 46 45 82 10