The formalization of retrieval and advisory systems