Opérateurs de Dérivation Modaux pour l'Analyse Logique de Concepts

L'Analyse Logique de Concepts consiste en une généralisation de l'Analyse Formelle de Concepts dans laquelle, les ensembles d'attributs sont remplacés par des expressions d'une logique arbitraire. Dans ce cadre, certaines approches existantes ont permis de dériver une logique contextualisée à partir d'un contexte formel, aboutissant ainsi à un système d'information logique. Il peut être constaté que toutes les approches proposées en ce sens, réutilisent l'opérateur ensembliste de Galois, afin de construire les formules logiques. Il s'avère que cet opérateur de Galois, hérité de la théorie classique de l'Analyse Formelle de Concepts, ne permet pas de prendre en considération des descriptions incomplètes d'objet. A cet effet, nous proposons dans ce papier, de nous inspirer d'une lecture possibiliste de la théorie de l'Analyse Formelle de Concepts permettant ainsi de considérer des opérateurs de dérivation modaux à même de générer des concepts formels possibles à partir de contexte formels incomplets.