Logic file system : un système de fichier basé sur la logique

Pour rechercher des documents numeriques (musiques, e-mails, sources de programmes) les systemes traditionnels, comme les systemes de fichiers ou le Web, fournissent chacun des outils de navigation et d'interrogation, mais ne permettent pas de les combiner. La navigation est intuitive et progressive mais elle implique une classification des donnees rigide et unique. L'interrogation apporte flexibilite et expressivite, mais ne possede pas les avantages de la navigation. Pour manipuler le contenu de ces documents, d'autres outils existent mais ils souffrent des memes limitations. Nous proposons un nouveau paradigme pour les systemes d'information base sur la logique : le Logic File System (LFS), qui offre une organisation expressive, une recherche combinant interrogation et navigation, et une facilite de manipulation, a la fois des fichiers et de leurs contenus ; le tout d'une facon integree et mis en oeuvre au niveau systeme de fichier.