Pubblicazioni

Book chapters

Marco Alberti Marco Gavanelli Evelina Lamma. Deon+: Abduction and constraints for normative reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012. In press.

Paolo Torroni, Federico Chesani, Paola Mello, Pinar Yolum, Munindar P. Singh, Marco Alberti, Marco Gavanelli, and Evelina Lamma. Modeling interactions via commitments and expectations. In Virginia Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 263-284. Information Science Reference, March 2009.

Organizational models often rely on two assumptions: openness and heterogeneity. This is, for instance, the case with organizations consisting of individuals whose behaviour is unpredictable, whose internal structure is unknown, and who do not necessarily share common goals, desires, or intentions. This fact has motivated the adoption of social-based approaches to modelling interaction in organizational models. The idea of social semantics is to abstract away from the agent internals and provide a social meaning to agent message exchanges. In this chapter, we present and discuss two declarative, social models interaction in terms of commitments. The second one adopts a rule-oriented perspective, and models interaction in terms of logical formulae expressing expectations about agent interaction. We use a simple interaction protocol taken from the e-commerce domain to present the functioning and features of the commitment- and expectation-based approaches, and to discuss various forms of reasoning and verification that they accommodate, and how organizational modelling can benefit from them.

Keywords: Social commitments, Social expectations, Interaction protocols, Open agent societies, Semantics of interaction.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Abduction in the context of a reasoning process: the sciff framework. In Maria Carla Galavotti, Roberto Scazzieri, and Patrick Suppes, editors, Reasoning, Rationality and Probability, pages 271-287. Center for the Study of Language and Information, Stanford University, Stanford, California, 2008.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Giovanni Sartor, and Paolo Torroni. Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In Silvia Bisi and Claudio di Cocco, editors, La Gestione e la Negoziazione Automatica dei Diritti sulle Opere dell'Ingegno Digitali: Aspetti Giuridici e Informatici, chapter 1, pages 1-33. Gedit, Bologna, October 2006.