В БД хранятся правила вида:
  ЕСЛИ <условие> ТО <гипотеза>

Каждое условие имеет:
  MD  — мера доверия    [0, 1]
  MND — мера недоверия  [0, 1]

Операторы нечёткой логики:
  AND  → MD(A and B)  = MIN(MD_A,  MD_B)
         MND(A and B) = MAX(MND_A, MND_B)
  OR   → MD(A or B)   = MAX(MD_A,  MD_B)
         MND(A or B)  = MIN(MND_A, MND_B)
  NOT  → MD(not A)    = 1 - MD_A
         MND(not A)   = 1 - MND_A

Комбинирование двух предположений E1, E2:
  MD[H: E1,E2]  = MD[H:E1]  + MD[H:E2]  × (1 - MD[H:E1])
  MND[H: E1,E2] = MND[H:E1] + MND[H:E2] × (1 - MND[H:E1])

Коэффициент уверенности (Шортлифф):
  KU[H:E] = MD[H:E] - MND[H:E]   ∈ [-1, +1]