heuristic logic

Мат. эвристическая логика