Reasoning about rational agents - Wooldridge, Michael J. (Intelligent robots and autonomous agents, 2000)