Module Knowledge.Order

Orders knowledge by its information content.

Order.partial is a generalization of the total order, which is used to compare the amount of information in two specifications of knowledge.

Note: The information content of a value ordering shall not be confused with any other intrinsic ordering of the associated value type. For example, if we will take age, measured in natural numbers, then the order natural numbers has nothing to do with the amount of information associated with each age. From the knowledge representation perspective. We either do not know the age, or know it to some certainty. Therefore, the domain representation could be either int option, with None being the minimal element (denoting an absence of knowledge about the age of an object) or Some x, s.t., order (Some x) (Some y) = NC iff x <> y, i.e., neither is having more or less knowledge than another.