Model checking probabilistic social commitments for intelligent agent communication

@article{Sultan2014ModelCP,
  title={Model checking probabilistic social commitments for intelligent agent communication},
  author={Khalid Sultan and Jamal Bentahar and Mohamed El-Menshawy},
  journal={Appl. Soft Comput.},
  year={2014},
  volume={22},
  pages={397-409}
}
Interaction among autonomous agents in Multi-Agent Systems (MASs) is a key aspect for agents to coordinate with one another. Social approaches, as opposed to the mental approaches, have recently received a considerable attention in the area of agent communication. They exploit observable social commitments to develop a verifiable formal semantics through which communication protocols can be specified. Developing and implementing algorithmic model checking for social commitments have been… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 31 REFERENCES

A logical model for commitment and argument network for agent communication

  • Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
  • 2004
VIEW 4 EXCERPTS

Formalizing and verifying protocol refinements

M. P. Singh S. N. Gerard
  • ACM Trans . Intell . Syst . Technol .
  • 2013