Advanced search    

Search: authors:"Emiliano Lorini"

7 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers (see Aumann and Brandenburger in Econometrica 36:1161–1180, 1995; Baltag et al. in Synthese 169:301–333, 2009; Battigalli and Bonanno in Res Econ 53(2):149–225, 1999; Battigalli and Siniscalchi in J Econ Theory...

Norms in MAS: Definitions and Related Concepts

In this chapter we provide an introductory presentation of normative multi-agent systems (nMAS). The key idea of the chapter is that any definition of nMAS should preliminarily clarify meaning, scope, and function of the concept of norm. On account of this idea, we focus on three definitions and some related requirements for nMAS. For each of such definitions we propose some...

On the dynamics of institutional agreements

Andreas Herzig Tiago de Lima Emiliano Lorini In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of ... NorMAS. Andreas Herzig and Emiliano Lorini are supported by the project ForTrust Social trust analysis and formalization (ANR-06-SETI-006) that is funded by the French institution Agence Nationale de la

Normative Reasoning and Consequence

In this chapter, we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multiagent systems, and finally we discuss current research challenges. We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our in...