Specification and Verification of Agent Interaction using Social Integrity Constraints

  title={Specification and Verification of Agent Interaction using Social Integrity Constraints},
  author={Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
  journal={Electr. Notes Theor. Comput. Sci.},
In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 52 extracted citations


Publications referenced by this paper.
Showing 1-10 of 19 references

Commitment machines. In Intelligent Agents VIII: 8th International Workshop, ATAL 2001, Seattle, WA, USA, Revised Papers, volume 2333 of Lecture Notes in Artificial Intelligence, pages 235–247

  • P. Yolum, M. Singh
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…