Верификационная психоисторическая машина
Психоистория у Азимова (и социоматематика у Горькавого) применялась для предсказания будущего, а также его коррекции. (Впрочем, Азимова я читала не так уж много, так что возможно этим дело не ограничивалось.) Допустим, психоистория существует. Условная верификационная машина на её базе функционировала бы так. Загружаем в неё версию исторических событий или описание текущего положения дел, а на выходе она либо выдаёт, что аномалий не обнаружено, либо некоторое количество ворнингов. Ворнинги могут означать, что или данных мало, или они искажены, или указывает на недостаточность теории как таковой - тут возможно множество вариантов. Смысл в рационализации и автоматизации поиска аномалий.