Humans and animals make inferences about the world under limited time and knowledge. In contrast, many models of rational inference treat the mind as a Laplacean Demon, equipped with unlimited time, knowledge, and computational might. Following H. Simon's notion of satisfying, the authors have proposed a family of algorithms based on a simple psychological mechanism: one-reason decision making....