Доклад посвящен формированию гипотез, объясняющих наблюдаемое. Описываются средства представления и обработки знаний в языке, облада- ющем свойством т.н. подстановочности. В отличие от известных логических методов абдукции, предложенные средства обеспечивают получение необхо- димых и достаточных условий для формального объяснения наблюдаемого, на основе которых формируются причины наблюдаемого или находятся реле- вантные обстоятельства, выводящие на эти причины. Рассматриваются примеры в проблематике управления и диагностики наблюдаемого.