Knowledge based solution strategies in medical reasoning