An Architecture for Rational Agents - LLOYD, J. W; SEARS, T. D (Lecture notes in computer science, 2006)