The Current State of Normative Agent-Based Systems

Recent years have seen an increase in the application of ideas from the social sciences to computational systems. Nowhere has this been more pronounced than in the domain of multiagent systems. Because multiagent systems are composed of multiple individual agents interacting with each other many parallels can be drawn to human and animal societies. One of the main challenges currently faced in multiagent systems research is that of social control. In particular, how can open multiagent systems be configured and organized given their constantly changing structure? One leading solution is to employ the use of social norms. In human societies, social norms are essential to regulation, coordination, and cooperation. The current trend of thinking is that these same principles can be applied to agent societies, of which multiagent systems are one type. In this article, we provide an introduction to and present a holistic viewpoint of the state of normative computing (computational solutions that employ ideas based on social norms.) To accomplish this, we (1) introduce social norms and their application to agent-based systems; (2) identify and describe a normative process abstracted from the existing research; and (3) discuss future directions for research in normative multiagent computing. The intent of this paper is to introduce new researchers to the ideas that underlie normative computing and survey the existing state of the art, as well as provide direction for future research.Norms, Normative Agents, Agents, Agent-Based System, Agent-Based Simulation, Agent-Based Modeling

Exploring the resource recovery potentials of municipal solid waste: a review of solid wastes composting in developing countries

Population explosion, high urbanization and improved living standards have induced rapid changes in quantities and materiacompositions of solid waste generation globally. Until recently solid waste disposal in landfills and open dump sites waconsidered more economical and it is the most widely used methods in developing countries. Hence the potentials in the othealternative methods such as the resource recovery and recycling and their integration into waste management have been scarcelassessed. However, the ever growing challenges posed by the rapidly increasing quantities and compositions of solid wastes ideveloping countries led to the searching for alternative waste disposal methods. In this regard the paper presented an assessmenof the resource potentials of municipal solid waste materials arising from cities in developing countries as a strategy fosustainable solid waste management. Using published data on solid waste composition the paper has identified that there is higpotentials of composting in the solid waste stream from cities in developing countries. In conclusion, it recommended the recoverof organic waste material and papers for composting and the recycling of plastic, metals, textiles and others to explore their resource recovery potentials. This will largely reduce the ultimate quantities of solid waste for disposal and lower the operatincosts. This strategy will achieve sustainable waste management in developing countries. It is hoped that the paper has provided useful guide for wastes management policy decisions in developing countries

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure

On the integration of trust with negotiation, argumentation and semantics

Agreement Technologies are needed for autonomous agents to come to mutually acceptable agreements, typically on behalf of humans. These technologies include trust computing, negotiation, argumentation and semantic alignment. In this paper, we identify a number of open questions regarding the integration of computational models and tools for trust computing with negotiation, argumentation and semantic alignment. We consider these questions in general and in the context of applications in open, distributed settings such as the grid and cloud computing. © 2013 Cambridge University Press.This work was partially supported by the Agreement Technology COST action (IC0801). The authors would like to thank for helpful discussions and comments all participants in the panel on >Trust, Argumentation and Semantics> on 16 December 2009, Agia Napa, CyprusPeer Reviewe

Normative agent reasoning in dynamic societies

Several innovative software applications such as those required by ambient intelligence, the semantic grid, e-commerce and e-marketing, can be viewed as open societies of heterogeneous and self-interested agents in which social order is achieved through norms. For agents to participate in these kinds of societies, it is enough that they are able to represent and fulfill norms, and to recognise the authority of certain agents. However, to voluntarily be part of a society or to voluntarily leave it, other characteristics of agents are needed. To find these characteristics we observe that on the one hand, autonomous agents have their own goals and, sometimes, they act on behalf of others whose goals must be satisfied. On the other, we observe that by being members, agents must comply with some norms that can be in clear conflict with their goals. Consequently, agents must evaluate the positive or negative effects of norms on their goals before making a decision concerning their social behaviour. Providing a model of autonomous agents that undertake this kind of norm reasoning is the aim of this paper

Regulated MAS: Social Perspective

This chapter addresses the problem of building normative multi-agent systems in terms of regulatory mechanisms. It describes a static conceptual model through which one can specify normative multi-agent systems along with a dynamic model to capture their operation and evolution. The chapter proposes a typology of applications and presents some open problems. In the last section, the authors express their individual views on these mattersMunindar Singh’s effort was partially supported by the U.S. Army Research Office under grant W911NF-08-1-0105. The content of this paper does not necessarily reflect the position or policy of the U.S. Government; no official endorsement should be inferred or implied. Nicoletta Fornara’s effort is supported by the Hasler Foundation project nr. 11115-KG and by the SER project nr. C08.0114 within the COST Action IC0801 Agreement Technologies. Henrique Lopes Cardoso’s effort is supported by Fundação para a Ciência e a Tecnologia (FCT), under project PTDC/EIA-EIA/104420/2008. Pablo Noriega’s effort has been partially supported by the Spanish Ministry of Science and Technology through the Agreement Technologies CONSOLIDER project under contract CSD2007-0022, and the Generalitat of Catalunya grant 2009-SGR-1434.Peer Reviewe

Electronic institutions with normative environments for agent-based E-contracting

Tese de doutoramento. Engenharia Informática. Faculdade de Engenharia. Universidade do Porto. 201