metadata_matrix

SetSeparationSystem.metadata_matrix(sep: tuple[int, int], data_list: list | ndarray, normal_form: str = 'disjunctive', _known_sep_matrices: dict[int, tuple] = None) → ndarray

Explain the meaning of a separation, generated by repeatedly taking corners of separations, by calculating a simplified logical term which explains the separation.

Parameters

sepOrientedSep

The separation to explain.

data_listlist

The possible values of info_objects for separations. The rows of the matrix are also in this order.

normal_form{‘disjunctive’, ‘conjunctive’}

Disjunctive Normal Form (DNF) means that the result is a union of intersections. Conjunctive Normal Form (CNF) means that the result is an intersection of unions.

_known_sep_matricesdict

Cache already computed results. This avoids computing the same stuff twice.

Returns

np.ndarray

Matrix in CNF or DNF explaining the feature.