Суть ДСМ-метода.

Пусть задано:

A={A1, A2, …, Ap} - множество причин

B={B1, B2, …, Bm} - множество следствий

Q={q1, q2, …, qr} – множество оценок достоверности выражений A_ièB_j

Выражение A_ièB_j называется положительной гипотезой с оценкой достоверности q_k.

Гипотеза называется отрицательной

Положительные гипотезы обозначим h⁺_i,j,k, отрицательные – h ^-_i,j,k.

Гипотезы с оценками q_k = 1 и q_k = 0 рассматриваются как явления с установленной истинностью (ложностью). q_k находится как доля примеров, подтверждающих гипотезу.