индуктивная логика

Inductive logic