Preprint

An operational approach to norms in artificial institutions

  • Viganò, Francesco Istituto di tecnologie della comunicazione (ITC), Facoltà di scienze della comunicazione, Università della Svizzera italiana, Svizzera
  • Fornara, Nicoletta Istituto di tecnologie della comunicazione (ITC), Facoltà di scienze della comunicazione, Università della Svizzera italiana, Svizzera
  • Colombetti, Marco Istituto di tecnologie della comunicazione (ITC), Facoltà di scienze della comunicazione, Università della Svizzera italiana, Svizzera
    2005

14 f

English The notion of artificial institution is crucial for the specification of open and dynamic interaction frameworks where heterogeneous and autonomous agents can interact to face problems in various fields, like for instance electronic commerce, business-to-business (B2B) applications, and personal assistant applications. In our view the specification of artificial institutions requires a clear standard definition of some basic concepts: the notion of ontology, authorizations, conventions, and norms. In this paper we propose an operational approach to the definition of norms that is mainly based on the generation of commitments. These norms can be employed to verify if the interacting agents are behaving in accordance with the normative specification of the system. In particular we regard norms as event-driven rules that are fired by events happening in the system and then modify commitments affecting the agents having a certain role. We will discuss the crucial differences between the notion of authorization and permission and how the notion of permissions, obligations, and prohibitions can be expressed in our model. We will investigate the connections among the specification of different artificial institutions, in particular how an institution can enrich or further regulate the entities defined in another one. Finally we will briefly present the specification of the Dutch Auction Institution and of the Auction House Institution in order to exemplify the model presented in this paper.
Language
  • English
Classification
Computer science
License
License undefined
Identifiers
  • RERO DOC 5689
Persistent URL
https://susi.usi.ch/usi/documents/318080
Statistics

Document views: 6 File downloads:
  • ITC_TR02.pdf: 1