Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
