The Norm Implementation Problem in Normative Multi-Agent Systems

Abstract. The norm implementation problem consists in how to see to it that the agents in a system comply with the norms specified for that system by the system designer. It is part of the more general problem of how to synthesize or create norms for multi-agent systems, by, for example, highlighting the choice between regimentation and enforcement, or the punishment associated with a norm violation. In this paper we discuss how various ways to implement norms in a multi-agent system can be distinguished in a formal game-theoretic framework. In particular, we show how different types of norm implementation can all be uniformly specified and verified as types of transformations of extensive games. We introduce the notion of retarded preconditions to implement norms, and we illustrate the framework and the various ways to implement norms in the blocks world environment

THE CONCEPT OF LAW AND EFFICACY

Jedno od značenja izraza ‘učinkovitost’ odnosi se na činjenicu da se adresati pravnih normi stvarno ponašaju onako kako to od njih zahtijevaju pravne norme. To se značenje izraza obično koristi u filozofskopravnim raspravama glede toga je li učinkovitost bitan element pojma prava. Prema pravnom pozitivizmu, učinkovitost je u nekim slučajevima i na određene načine uvjet važenja (vrijeđenja) pravnih normi i pravnih sustava. S druge strane, pravni je realizam sklon potpunom poistovjećivanju pravnog važenja s učinkovitosti ili njegovu svođenju na učinkovitost. Prema tome, u oba je filozofskopravna pravca učinkovitost u pravilu uključena u oblikovanje njihovih pojmova prava. Međutim, dok pravnopozitivističko shvaćanje ne utječe na najuobičajenije značenje važenja pravne norme (pripadanje pravne norme pravnom sustavu), a utvrđivanjem učinkovitosti kao kriterija postojanja pravnog sustava ne dodaje mnogo objašnjenju pojma prava, pravnorealističko se shvaćanje suočava s ozbiljnim prigovorima glede svoje objašnjavalačke prikladnosti.One of the senses of the term ‘efficacy’ refers to the fact that norm-addresses actually behave as is required of them by legal norms. This sense of the term is one which is generally used within the jurisprudential discussions about whether efficacy is the essential element of the concept of law. According to legal positivism, efficacy is in some cases and in certain ways the condition of legal validity of both legal norms and legal systems. On the other hand, legal realism tends to entirely identify legal validity or reduce it to efficacy. Thus, in both jurisprudential approaches, efficacy tends to play a role in shaping their respective concepts of law. However, while the legal positivistic view does not affect the most standard sense of legal validity of the legal norm (i.e. the legal norms’ membership in the legal system), and does not add much to the explanation of the concept of law by identifying efficacy as the criterion of legal systems’ existence, the legal realistic view is faced with some serious objections regarding its explanatory adequacy

Unlocking legal validity. Some remarks on the artificial ontology of law

Following Kelsen’s influential theory of law, the concept of validity has been used in the literature to refer to different properties of law (such as existence, membership, bindingness, and more) and so it is inherently ambiguous. More importantly, Kelsen’s equivalence between the existence and the validity of law prevents us from accounting satisfactorily for relevant aspects of our current legal practices, such as the phenomenon of ‘unlawful law’. This chapter addresses this ambiguity to argue that the most important function of the concept of validity is constituting the complex ontological paradigm of modern law as an institutional-normative practice. In this sense validity is an artificial ontological status that supervenes on that of existence of legal norms, thus allowing law to regulate its own creation and creating the logical space for the occurrence of ‘unlawful law’. This function, I argue in the last part, is crucial to understanding the relationship between the ontological and epistemic dimensions of the objectivity of law. For given the necessary practice-independence of legal norms, it is the epistemic accessibility of their creation that enables the law to fulfill its general action-guiding (and thus coordinating) function

Supersymmetric QCD corrections to e+e−→tbˉH−e^+e^-\to t\bar{b}H^- and the Bernstein-Tkachov method of loop integration

The discovery of charged Higgs bosons is of particular importance, since their existence is predicted by supersymmetry and they are absent in the Standard Model (SM). If the charged Higgs bosons are too heavy to be produced in pairs at future linear colliders, single production associated with a top and a bottom quark is enhanced in parts of the parameter space. We present the next-to-leading-order calculation in supersymmetric QCD within the minimal supersymmetric SM (MSSM), completing a previous calculation of the SM-QCD corrections. In addition to the usual approach to perform the loop integration analytically, we apply a numerical approach based on the Bernstein-Tkachov theorem. In this framework, we avoid some of the generic problems connected with the analytical method.Comment: 14 pages, 6 figures, accepted for publication in Phys. Rev.

Can health kiosks be used to identify oral health care needs?:a pilot study

Abstract Objective: The aim of this study was to investigate the reliability of digital imaging for detecting restorative treatment need among individuals in their 20s by comparing the outcome of digital imaging with clinical caries findings at the patient level. Material and methods: Five intraoral clinical daylight and digital fluorescence images were taken extraorally of 21 patients. A clinical examination was then performed by a trained and calibrated dentist. Additionally, the patients answered a multiple-choice questionnaire about their health habits. The images were analysed and caries findings were recorded. For statistical analysis, sensitivity and specificity were calculated. Results were shown as ROC curves and AUC values. All analyses were done using SPSS (version 24.0, Chicago, IL). Results: Caries lesions were most often detected in molars and least often in canines. When using the clinical status as gold standard, digital imaging gave an AUC value of 0.617, whereas the outcome by questionnaire gave an AUC value of 0.719. When using the combined outcome of digital imaging and the questionnaire, the AUC value was 0.694 with clinical validation. Conclusions: It can be concluded that health kiosks may help to reduce the number of patients waiting for dental treatment; more specifically, the questionnaire with individual feedback may provide a new instrument for providing instructions for homecare online. However, the camera system must be developed further, and dentists and dental hygienists require training to analyse the images