Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider how an organisational programming language, such as 2OPL [2], can be extended to monitor communication. Such an extended programming language can be used to facilitate the development of electro...

Abstract: In this paper, we consider norms and spreads of RFMLR circulant matrices involving the Fermat, Mersenne sequences and Gaussian Fibonacci number, respectively. Firstly, we reviewed some properties of the Fermat, Mersenne sequences, Gaussian Fibonacci number and RFMLR circulant matrices. Furthermore, we give lower and upper bounds for the spectral norms and spread of these special matri...

In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program’s execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. The...

This paper contrasts materialism and theism in their ability to give a plausible account of mathematics. The ideal, abstract entities of mathematics do not fit readily within a materialist world. Truth, logic, and mathematics require the existence of universal norms. However, materialism has no place for abstract entities or universal norms. How can such ideal norms, inert in themselves, influe...

A major challenge in normative multiagent systems (NMAS) is how norms can be effectively applied to their entities and easily managed. These tasks are arduous because norms are usually written for general purposes, hindering a more precise regulation. In this paper, we go through an operational approach to implement regulative norms in multiagent systems. In our approach, abstract norms are emb...

We understand a sociotechnical system as a microsociety in which autonomous parties interact with and about technical objects. We define governance as the administration of such a system by its participants. We develop an approach for governance based on a computational representation of norms. Our approach has the benefit of capturing stakeholder needs precisely while yielding adaptive resourc...

Each t-norm can be identified with its Cayley tomonoid, which consists of pairwise commuting order-preserving functions from the real unit interval to itself. Cayley tomonoids provide an easily manageable, yet versatile tool for the construction of t-norms. To give evidence to this claim, we review and reformulate several construction methods that are known in the literature. We adopt, on the o...

Abstract In this paper we investigate upper and lower bounds of the norms of the circulant matrices whose elements are k−Jacobsthal numbers and k−Jacobsthal Lucas numbers.

Agent-mediated electronic institutions belong to a new and promising field where interactions among agents are regulated by means of a set of explicit norms. Current implementations of such open-agent systems are, however, mostly using constraints on the behaviour of the agents, thereby severely limiting the autonomy of the agents. In this paper we propose an extension to electronic institution...

Social norms have traditionally been difficult to quantify. In any particular society, their sheer number and complex interdependencies often limit a system-level analysis. Here, we present the development of the network of norms that sustain the online social system Wikipedia. We do so using a network of pages that establish, describe, and interpret the society’s norms. Fifteen years of high-r...