Models of agent interaction based on modal logics

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Baldoni, Matteo | Baroglio, Cristina | Marengo, Elisa | Patti, Viviana | Schifanella, Claudio

Affiliations: Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy

Note: [] Corresponding author. Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera 185, I-10149 Torino, Italy. E-mails: baldoni@di.unito.it (M. Baldoni), baroglio@di.unito.it (C. Baroglio), emarengo@di.unito.it (E. Marengo), patti@di.unito.it (V. Patti), schi@di.unito.it (C. Schifanella)

Abstract: The specification of interaction and of the related forms of reasoning is crucial in the research area of multi-agent systems and in many application areas. This article summarizes the activities and the achievements obtained by the authors in the last years. Two are the main research lines, respectively leading to the proposal of a mentalistic approach to the specification of agent interaction policies, based on the class of grammar logics, and the proposal of a constraint-based representation of regulative and declarative patterns of interaction inside commitment-based protocols.

Keywords: Interaction protocols, multimodal logics, agents, web services, semantic web, e-learning, commitments

DOI: 10.3233/IA-2011-0008

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 83-88, 2011