REASONING ABOUT KNOWLEDGE AND ACTION / 473