Online Automated Synthesis of Compact Normative Systems

Peer reviewedPostprin

Automated Synthesis of Compact Normative Systems

Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results

Applying IRON to a Virtual Community Scenario

Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems (MAS). The automated synthesis of norms is a complex problem that remains open. IRON (Intelligent Robust On-line Norm synthesis mechanism) is a novel mechanism for the on-line automated synthesis of norms for MASs. IRON produces conflict-free norms that characterise necessary conditions for coordination, without over-regulation. In the past, IRON successfully regulated a traffic scenario even in the presence of non-compliant agents. In this paper, we apply IRON to synthesise norms for a virtual community scenario, where agents are users that share contents within the community. As a result, IRON synthesises norms that prevent users from uploading undesirable contents (i.e., those that users complain about). © 2013 The authors and IOS Press. All rights reserved.This work was funded by AT (CONSOLIDER CSD2007-0022), EVE (TIN2009-14702-C02-01/02), COR (TIN2012-38876-C02-01/02), MECER (201250E053) and the Generalitat of Catalunya (2009-SGR-1434).Peer Reviewe

Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems

Much previous research has investigated explicit, machine-process-able norms as a means to facilitate coordination in open multi-agent systems. This research can typically be classified as considering either offline design (norms are synthesised at design time) or online design. Online synthesis techniques aim to construct norms for a system while that system is actually running. A promising recent approach to on-line norm synthesis has been proposed but it suffers from serious drawbacks: (i) it needs too much information; (ii) it ignores issues of compactness in terms of minimality (ensuring that norms are not superfluous) and simplicity (ensuring that agents can process norms with little computational effort). To overcome these drawbacks, we propose an optimistic approach which, even though it uses less information, is able to explore more norms and synthesises sets of norms which are more compact. We present experimental evidence of the quality of our approach. Copyright © 2014, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.Peer Reviewe

Automating decision making to help establish norm-based regulations

Norms have been extensively proposed as coordination mechanisms for both agent and human societies. Nevertheless, choosing the norms to regulate a society is by no means straightforward. The reasons are twofold. First, the norms to choose from may not be independent (i.e, they can be related to each other). Second, different preference criteria may be applied when choosing the norms to enact. This paper advances the state of the art by modeling a series of decision-making problems that regulation authorities confront when choosing the policies to establish. In order to do so, we first identify three different norm relationships -namely, generalisation, exclusivity, and substitutability- and we then consider norm representation power, cost, and associated moral values as alternative preference criteria. Thereafter, we show that the decision-making problems faced by policy makers can be encoded as linear programs, and hence solved with the aid of state-of-the-art solvers

Internal Perspectivalism: The Solution to Generality Problems About Proper Function and Natural Norms

In this paper, I argue that what counts as the proper function of a trait is a matter of the de facto perspective that the biological system, itself, possesses on what counts as proper functioning for that trait. Unlike non-perspectival accounts, internal perspectivalism does not succumb to generality problems. But unlike external perspectivalism, internal perspectivalism can provide a fully naturalistic, mind-independent grounding of proper function and natural norms. The attribution of perspectives to biological systems is intended to be neither metaphorical nor anthropomorphic: I do not mean to imply that such systems thereby must possess agency, cognition, intentions, concepts, or mental or psychological states. Instead, such systems provide the grounding for norms of performance when they internally enforce their own standard of (i.e., their own perspective on) what constitutes proper functioning or malfunctioning. By operating with a fixed, determinate level of generality, such systems provide the basis for an account of proper function that is immune to generality problems

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

Why Are People's Decisions Sometimes Worse with Computer Support?

In many applications of computerised decision support, a recognised source of undesired outcomes is operators' apparent over-reliance on automation. For instance, an operator may fail to react to a potentially dangerous situation because a computer fails to generate an alarm. However, the very use of terms like "over-reliance" betrays possible misunderstandings of these phenomena and their causes, which may lead to ineffective corrective action (e.g. training or procedures that do not counteract all the causes of the apparently "over-reliant" behaviour). We review relevant literature in the area of "automation bias" and describe the diverse mechanisms that may be involved in human errors when using computer support. We discuss these mechanisms, with reference to errors of omission when using "alerting systems", with the help of examples of novel counterintuitive findings we obtained from a case study in a health care application, as well as other examples from the literature

Improving automation standards via semantic modelling: Application to ISA88

Standardization is essential for automation. Extensibility, scalability, and reusability are important features for automation software that rely in the efficient modelling of the addressed systems. The work presented here is from the ongoing development of a methodology for semi-automatic ontology construction methodology from technical documents. The main aim of this work is to systematically check the consistency of technical documents and support the improvement of technical document consistency. The formalization of conceptual models and the subsequent writing of technical standards are simultaneously analyzed, and guidelines proposed for application to future technical standards. Three paradigms are discussed for the development of domain ontologies from technical documents, starting from the current state of the art, continuing with the intermediate method presented and used in this paper, and ending with the suggested paradigm for the future. The ISA88 Standard is taken as a representative case study. Linguistic techniques from the semi-automatic ontology construction methodology is applied to the ISA88 Standard and different modelling and standardization aspects that are worth sharing with the automation community is addressed. This study discusses different paradigms for developing and sharing conceptual models for the subsequent development of automation software, along with presenting the systematic consistency checking methodPeer ReviewedPostprint (author's final draft