Journal of the American Society for Information Science · 1991 · 19 citations · 0 references
ComputingComputer ScienceInformation SystemsAlgorithmsInformation RetrievalKnowledge RepresentationBoolean RetrievalInteractive Information RetrievalQuery ProcessingRetrieval ModelsSearch SystemsSearching AlgorithmsBoolean EquationsBoolean QueryingBoolean SatisfiabilityBoolean Search QueriesQuery EvaluationQuery RepresentationSearch Query FormulationUser Interaction
On the basis of several pragmatic assumptions we developed an algorithm for the automatic construction of query formulations in Boolean form. The suggested algorithm also substantially simplifies the end-user interaction. The user expresses his search request by a set of documents pertinent to his need. The quality of the search depends only on the algorithm and on how completely and precisely the information need of a user is represented in his search request. The algorithm might also be useful for correcting query formulations on the basis of the user's feedback during his interaction with the system. © 1991 John Wiley & Sons, Inc.