Trong một chiến lược , các robot cần tìm kiếm các căn cứ dữ liệu đầy đủ cho các bằng chứng disconfirming , để tránh những kết luận sớm nhất và phân tích dữ liệu kết thúc khi những gì phù hợp nhất có thể đã được tiếp cận giữa các nhận xét và một tuyên bố về những gì họ có nghĩa là .
Thang máy có thể đạt được kết luận sớm nhất mà không cần tìm kiếm bằng chứng .