Page "Abductive reasoning" Paragraph 17

A different formalization of abduction is based on inverting the function that calculates the visible effects of the hypotheses.

Formally, we are given a set of hypotheses and a set of manifestations ; they are related by the domain knowledge, represented by a function that takes as an argument a set of hypotheses and gives as a result the corresponding set of manifestations.

In other words, for every subset of the hypotheses, their effects are known to be.