a. Le modèle booléen

Dans le modèle booléen les termes de la requête sont posés sous forme d'équivalence (=) ou sous forme conditionnelle (<, >,...). Ils sont combinés par des conjoncteurs de coordination dans des équations booléennes. Le système va appliquer une relation d'équivalence entre cette question et les termes descripteurs des documents de la base. Cette relation d'équivalence est binaire, elle est soit vraie, soit fausse. Ainsi chaque document de la base respecte ou ne respecte pas, dans sa description, l'équation produite par la requête. Si cette représentation est particulièrement adaptée aux machines elle l'est moins pour les utilisateurs. Ils doivent impérativement saisir les termes d'un vocabulaire contrôlé pour être certains d'avoir posé une question correcte. De plus ces systèmes fournissent en réponse un ensemble de documents validant exactement les conditions de la question, et éliminent systématiquement ceux qui ne les respectent pas tous. S'ils répondent tous "vrai", comment est-il possible d'en fournir une classification ?