Выделить из приведенного описания две группы данных: версии и факты. Указать прямые и обратные связи между версиями и фактами. Например, отсутствие признаков попытки потушить пожар или покинуть помещение, представляет собой факт, который потребовал для своего объяснения выдвижения версии о состоянии потерпевшего.
Выдвинутая версия заключалась в том, что «Ракитин во время выпивки дал потерпевшему снотворное, поэтому Колосов не мог ликвидировать пожар, или оставить горящую квартиру». Для подтверждения или опровержения версии был сформулирован, требующий своего установления, новый факт: «в органах потерпевшего содержится снотворное». После установления последнего в ходе повторной судебно-медицинской экспертизы, версия подтвердилась.
Перейдем от вербальных формулировок к знаково-символическому выражению версий, фактов и связей между ними. Составим схему, отражающую последовательность рассуждений. Используем для выстраивания последовательности выдвижения и проверки версий рисунок 1. Рассуждение начнем с обнаружения факта А – «Отсутствие признаков попытки потерпевшим потушить пожар или покинуть помещение». При условии его обнаружения, выдвигается, имеющая вероятность р(Н/А), версия Н: «потерпевший находился в состоянии глубокого сна, обусловленном принятием снотворного». При условии правильности версии, формулируется новый факт В, заключающийся в том, что с вероятностью р(В/Н) снотворное можно обнаружить исследованием органов потерпевшего. Поскольку факт В был установлен, версия Н – подтвердилась, а ее вероятность стала равной 1,0 – достоверному событию.
Последовательное выполнение следователем указанных действий, может быть произведено компьютерной системой. Используемая система позволяет решать подобные задачи следующим образом. На стадии обучения системы следует ввести в нее: во-первых, развернутые формулировки версий и фактов; во-вторых, численные значения используемых вероятностей. Вероятность обнаружить факт А, составляет р(А).