Selecting the Most Plausible Model
Each possible model corresponds to a maximal, consistent set of assumption in the ATMS.
The Model Manager exploits a general procedure which considers the Derivation Sources of the assumptions in a user model in order to select the most plausible one.
The selection procedure is explicit and general for the domain of user modeling, indipendent from the specific application.