Beth Dissertation Award

Conference on Formal Grammar


Weather Forecast |  Weather Maps |  Weather Radar

Language and logic

Week 1 Time: 14:00 - 15:30 Room 249

Workshop on Formal Models of Communication

Andrew J. I. Jones, Steven O. Kimbrough


Call for papers

Workshop Co-Chairs: Andrew J I Jones (Department of Informatics, King’s College London) and Steven O Kimbrough (Wharton Business School, University of Pennsylvania).

Invited Speakers: to be confirmed.

The workshop is organized in conjunction with the activity in SINTELNET Working Group No. 2, on Communicative Interaction. (SINTELNET is the European Network for Social Intelligence, FET Open Coordination Action:

Summary of the three principal workshop themes

1. Critical assessment of approaches to ACLs: in multi-agent systems research, a number of different approaches have been taken to the formal-logical characterisation of Agent Communication Languages (ACLs), including the FIPA [2002] language, the commitment-based models of Colombetti [2000] and Singh [1998], and the Jones & Parent [2007] convention-based approach. (For an overview see Chopra et al. [in press].)

2. Theories of signalling: philosophical analyses of communicative action, in the tradition of Austin, Grice and Searle, formed the principal background to work on ACLs. However, the prospect of alternative foundations is emerging from theories of signalling, informed by – in particular – games theory and evolutionary biology. (See, e.g., Skyrms [2010].)

3. Deception: there exist a number of philosophical and formal-logical analyses of deception - see, e.g., Adler [1997], Sakama & Caminada [2010]. It would be of interest to compare these with the accounts offered in signalling theory, and to raise the question of whether the phenomenon of deception has been adequately accommodated in models of ACLs.

We invite papers (not exceeding 15-20 pages) on topics relating principally to one or more of those three themes.

Submission Procedure: papers (pdf) should be submitted to Andrew Jones: e-mail

Deadline for submissions: 23 April 2012

Notification: by 01 June 2012

Publication: it is possible that the proceedings of the workshop may be published in the FOLLI subseries of Springer’s LNCS, or in the Journal of Logic, Language and Information (JOLLI).


FIPA [2002] FIPA Communicative Act Library Specification.

Colombetti [2000] Colombetti, M., “A commitment-based approach to agent speech acts and conversations”, Proceedings of the Workshop on Agent Languages and Communication Policies, 4th International Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, pp.21-29, 2000.

Singh [1998] Singh, M.P., “Agent Communication Languages: Rethinking the Principles”, IEEE Computer 31, 12 (Dec.), pp.40-47, 1998.

Jones & Parent [2007] Andrew J I Jones and Xavier Parent, “A Convention-based Approach to Agent Communication Languages”, Group Decision and Negotiation 16, pp. 101-14, 2007.

Chopra et al. [in press] Amit Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicola Fornara, Andrew J I Jones, Munindar P. Singh, Pinar Yolum, “Research Directions in Agent Communication”, ACM Transactions on Intelligent Systems and Technology, 26 pp., in press.

Skyrms [2010] Brian Skyrms, Signals – Evolution, Learning & Information, Oxford University Press, Oxford UK, 2010.

Adler [1997] Adler, J.E., “Lying, deceiving, or falsely implicating”, Journal of Philosophy 94(9), pp.435-452, 1997.

Sakama & Caminada [2010] Chiaki Sakama and Martin Caminada, “The Many Faces of Deception” in: Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon@30), Lexington, KY, USA, October 2010.

Minister of Science and Higher Education - Professor Barbara Kudrycka Marshall of Opole Province (Voivodeship) - Mr Józef Sebesta Rector of Opole University - Professor Krystyna Czaja Mayor of Opole - Mr Ryszard Zembaczyński RADIO OPOLE TVP Opole Polish Association for Logic and Philosophy of Science The INFTY Research Networking Programme The Association for Symbolic Logic European Network for Social Intelligence ZAK S.A. Cement Plant ODRA

Springer Princeton University Press Cambridge Scholars Publishers Oxford University Press Birkhauser