выдают ограниченный набор интуитивных предположений, отталкиваясь от посылок, одновременно менее трудоемких (за счет правдоподобия, например) и дающих обильные умозаключения (которые лучше всего помогают прояснить происходящее).