Multi-agent System Based on the Extended ConGolog

On the basis of situation calculus, formalisms of agents' belief and intention using the possible world semantics are represented in the multi-agent system. We introduce time parameter and communication predicate into the earlier ConGolog, thus extending the temporal features and strengthening the interaction among agents in ConGolog. What's more, a cooperation model about the multi-agent system is put forward. At last, with extended ConGolog, a case of the multi-agent system is specified. The multi-agent system based on the extended ConGolog embodies features including interaction among agents and reason about action in the dynamic and incompletely known environment, and provides a theoretical foundation and method of implementation for constructing complex multi-agent collaboration systems