Logics of time and computation
Logics of time and computation
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning about knowledge
On the relationship between strand spaces and multi-agent systems
ACM Transactions on Information and System Security (TISSEC)
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
A distributed framework for solving the Multiagent Plan Coordination Problem
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A complete and decidable security-specialised logic and its application to the TESLA protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Hi-index | 0.00 |
Using a knowledge-based approach we adjust a knowledge-based algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-based algorithm for multi-agent communication [1] solves the sequence transmission problem from one agent to a group of agents, but does not fully comply with the dialogue communication. The number of messages being communicated during one-on-one communication between the initiator and each other agent from the group can differ. Furthermore the CPS process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to the knowledge-based algorithm for multi-agent communication for it to handle these properties of CPS. For the adjustments of this new multi-agent communication algorithm it is shown that the gaining of knowledge required for a successful CPS process is still guaranteed.