Abductive Inference Model of Relevance Feedback in CBIR: A Notation and Formal Definition