Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion

@inproceedings{Chaibdraa1998AgentCL,
  title={Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion},
  author={Brahim Chaib-draa and Daniel Vanderveken},
  booktitle={ATAL},
  year={1998}
}
Searle and Vanderveken's model of speech acts is undoubtedly an adequate model for the design of communicating agents because it o ers a rich theory which can give important properties of protocols that we can formalize properly. We examine this theory by focusing on the two fundamentals notions, success and satisfaction, which represent a systematic, uni ed account of both the truth and the success conditional aspects. Then, we propose an adequate formalism{the situation calculus{for… CONTINUE READING