Intelligent Agents IV: Agent Theories, Architectures, and Languages