Хотя посмотрите статьи Джуды Перла из Калифорнийского университета в Лос-Анджелесе, работа которого относится к числу самых заметных попыток решить задачу формализации причинной зависимости.