Abstract. Open interaction systems play a crucial role in agreement technologies because they are software devised for enabling autonomous agents (software or human) to interact, negotiate, collaborate, and coordinate their activities in order to establish agreements. In our view those systems can be efficiently and effectively modeled as a set of physical and institutional spaces of interaction. In a distributed open system, spaces are fundamental for modeling the fact that events, actions, and social concepts (like norms and institutional objects) should be perceivable only by the agents situated in the spaces where they happen or where they are situated. Spaces are also crucial for their functional role of keeping track of the state of the interaction, and for monitoring and enforcing norms. Given that it is fundamental to be able to create and destroy spaces of interaction at run-time in this paper we propose to create them using Artificial Institutions (AIs) specified at design time. This dynamic creation is a complex task that deserves to be studied in all details. For doing that, in this paper, we will first define the various components of AIs using Semantic Web Technologies. Then we will describe the mechanisms for concretely using AIs specification for concretely realizes spaces of interaction. We will exemplify this process by formalizing the components of the auction AI and of the spaces required for running concrete auctions.
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.