Information Retrieval: Uncertainty and Logics