A formalisation of violation, error recovery, and enforcement in the bit transmission problem

The design of complex multi-agent systems is increasingly having to confront the possibility that agents may not behave as they are supposed to. In addition to analysing the properties that hold if protocols are followed correctly, it is also necessary to predict, test, and verify the properties that would hold if these protocols were to be violated. We illustrate how the formal machinery of deontic interpreted systems can be applied to the analysis of such problems by considering three variations of the bit transmission problem. The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally. The second, an example in which an agent may do something it is not supposed to do, shows how it is possible to specify and analyse remedial or error-recovery procedures. The third combines both kinds of faults and introduces a new component into the system, a controller, whose role is to enforce compliance with the protocol. In each case the formal analysis is used to test whether critical properties of the system are compromised, in this example, the reliable communication of information from one agent to the other.     

Conflicting imperatives and dyadic deontic logic

Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J.F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines dyadic deontic operators accordingly, and provides a sound and (weakly) complete axiomatic system for such deontic semantics.     

Intermediaries and intervenients in normative systems

Many concepts in legal texts are “intermediaries”, in the sense that they serve as links between statements of legal grounds, on one hand, and of legal consequences, on the other. In our paper, an algebraic representation of normative systems is used for distinguishing between different kinds of intermediaries and making the idea of a joining between grounds and consequences more precise.In Section 1, the idea of intermediaries is presented and earlier discussions of the subjects are outlined. In Section 2, we introduce the algebraic framework and develop the formal theory. After introducing our approach to the representation of a normative system, we here present a theory of “intervenients”, seen as a tool for analysing intermediaries. In Section 3, dealing with applications, after presenting a model of the formal theory, suited for the analysis of concepts in normative systems, we apply the theory to a number of examples, introduced in the first part. Finally, in Section 4, we make some remarks on the methodology of intermediate concepts.     

Permissibility and Violable Rules

From a logical point of view, permissibility can be reduced to possibility by introducing demands which can be met. The alleged reduction is circular from a philosophical perspective, however, because demands are fundamentally deontic. This paper solves this problem by replacing demands which can be met with rules which can be satisfied and violated.

Attitudinal and normative processes in health behavior

Abstract

Given the importance of the distinction between attitudes and subjective norms for a variety of theories and interventions in social cognition and in the psychology of health, the present article presents a review of the relevant literature. Criticisms raised against the distinction include conceptual arguments, large correlations between attitudes and subjective norms, crossover effects, and methodological issues. Points in favor of the distinction include discriminant validity data, individual differences in the weights placed on attitudes and subjective norms, experimental manipulations of attitudes and subjective norms, and cognitive clustering of the beliefs presumed to underlie attitudes and subjective norms. Finally, implications of the distinction for recent research on interventions, social identity theory, and the self are considered.     

What fair procedures say about me: Self-construals and reactions to procedural fairness

Past research has revealed both positive and negative reactions when people receive unfavorable outcomes via fair decision-making procedures. In three laboratory experiments, we reconcile these findings by considering the role of people’s self-identity. Our results suggest that the more that people base their self-identity on their relationships with others—as indexed by a strong interdependent self-construal—the more positively they react to an unfavorable outcome following from fair procedures. Conversely, the more that people base their self-identity on achievement—as indexed by a strong independent self-construal—the more negatively they react to an unfavorable outcome following from fair procedures. Moreover, these results were stronger when the situation primed interdependence and independence, respectively. Our research indicates that people interpret procedural fairness information in a manner that is consistent with defining aspects of the self.     

Problems and results for logics about imperatives

Deviating from standard possible-worlds semantics, authors belonging to what might be called the ‘imperative tradition’ of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semantics and some properties of the resulting logical systems.     

Deontic action logic, atomic boolean algebras and fault-tolerance

We introduce a deontic action logic and its axiomatization. This logic has some useful properties (soundness, completeness, compactness and decidability), extending the properties usually associated with such logics. Though the propositional version of the logic is quite expressive, we augment it with temporal operators, and we outline an axiomatic system for this more expressive framework. An important characteristic of this deontic action logic is that we use boolean combinators on actions, and, because of finiteness restrictions, the generated boolean algebra is atomic, which is a crucial point in proving the completeness of the axiomatic system. As our main goal is to use this logic for reasoning about fault-tolerant systems, we provide a complete example of a simple application, with an attempt at formalization of some concepts usually associated with fault-tolerance.     

Deontic and epistemic reasoning in children revisited: Comment on Dack and Astington

Dack and Astington (Journal of Experimental Child Psychology 110 2011 94–114) attempted to replicate the deontic reasoning advantage among preschoolers reported by Cummins (Memory & Cognition 24 1996 823–829) and by Harris and Nuñez (Child Development. 67 1996 572–1591). Dack and Astington argued that the apparent deontic advantage reported by these studies was in fact an artifact due to a methodological confound, namely, inclusion of an authority in the deontic condition only. Removing this confound attenuated the effect in young children but had no effect on the reasoning of 7-year-olds and adults. Thus, removing reference to authority “explains away” young children’s apparent precocity at this type of reasoning. But this explanation rests on (a) a misunderstanding of norms as targets of deontic reasoning and (b) conclusions based on a sample size that was too small to detect the effect in young children.     

Sleep in children enhances preferentially emotional declarative but not procedural memories

Although the consolidation of several memory systems is enhanced by sleep in adults, recent studies suggest that sleep supports declarative memory but not procedural memory in children. In the current study, the influence of sleep on emotional declarative memory (recognition task) and procedural memory (mirror tracing task) in 20 healthy children (10-13 years of age) was examined. After sleep, children showed an improvement in declarative memory. Separate analysis with respect to the emotional stimulus content revealed that sleep enhances the recognition of emotional stimuli (p > .001) rather than neutral stimuli (p = .084). In the procedural task, however, no sleep-enhanced memory improvement was observed. The results indicate that sleep in children, comparable to adults, enhances predominantly emotional declarative memory; however, in contrast to adults, it has no effect on the consolidation of procedural memory.     

Phases of procedural learning and memory: characterisation with perceptual-motor sequence tasks

ABSTRACT

Procedural learning and memory has been conceptualised as consisting of cognitive and autonomous phases. Although the Serial Reaction Time Task (SRTT) is a popular task used to study procedural memory (PM), it has not been used to explore the different phases of PM. The present study employed a modified SRTT and investigated whether it can distinguish phases of PM. Our results revealed that performance at the beginning of typing a repeating sequence was marked by a steep learning curve, followed by gradual improvements and ending in high performance levels without further improvement. Steep performance increases characterise the effortful learning of the cognitive phase, gradual increases at higher performances characterise emerging automatisation of the associative phase, and sustained highest performance characterises autonomous procedures when PM has formed. Our study presents an easy-to-use measure, capable of distinguishing phases of PM, and which can be useful to assess PM during brain development.     

Swedish norms for word fluency tests: FAS, animals and verbs

Verbal fluency tests are useful measures of acquired language impairment and cognitive decline of various etiologies. The aim of this study was to provide normative data for the Swedish population on the three verbal fluency tests, FAS, Animals and Verbs. A group of 165 healthy participants ranging from 16 to 89 years of age were assessed with the verbal fluency tests and tests of level of intellectual functioning. The sample was stratified by education, age and gender. Level of education had a substantial influence on the performance on verbal fluency, most clearly so in FAS and Verbs. Intellectual level had a positive and significant correlation with all measures of word fluency. Moreover, there was an interaction between age and gender such that women aged between 30 and 64 years outperformed elderly men on FAS and Verbs. Guidelines for instructions and scoring in Swedish are given in the article.     

Authorities’ knowledge of shared group membership and its effects on the respect-informing properties of procedural fairness

We observe that the voice-leads-to-respect process underlying relational models of procedural fairness is assumed to follow primarily if not solely from interaction with an in-group authority. Moreover, if the voice recipients believe that the authority is unaware of this shared group membership, then the provision of voice actually says nothing (to the voice recipients) about their standing as group members; the respect-providing information as valued in-group members is absent because the recipients know that the authority does not know of their shared group membership. We tested these assumptions in a three-way design manipulating the group membership of the authority (in-group vs. out-group), the nature of voice (provided vs. denied) and the nature of group membership knowledge (the authority knows or does not know the voice recipient’s group membership). A significant three-way interaction was found, as predicted, on respect and fairness ratings. These data provide clear experimental support for an unstated, and yet untested, assumption of relational models of procedural fairness.     

Obligation, contracts, and negotiation: Outlining an approach

In this paper I outline an ambitious project to incorporate into a normative language the tools necessary for an account of hierarchical organizations and the changing roles and obligations of agents within them, and an analogous account of contracts and the changing roles and obligations of agents who are parties to contracts. While such an enriched language is likely to be considerably more complex than those most often considered for deontic logic, it promises for that very reason to enlarge considerably the range of normative problems that can be accurately expressed and effectively addressed.     

On obligations and normative ability: Towards a logical analysis of the social contract

We develop a logic of normative ability, as an extension to the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman. While conventional atl contains cooperation modalities of the form Cφ, intended to express the fact that coalition C have the capability to bring about φ, in Normative atl* (natl*), these expressions are replaced with constructs of the form η:Cφ, with the intended interpretation that C have the ability to achieve φ within the context of the normative system η. A normative system is a set of constraints on the actions that may be performed in any give state. We show how these normative ability constructs can be used to define obligations and permissions: φ is said to be obligatory within the context of the normative system η if φ is a necessary consequence of every agent in the system behaving according to the conventions of η. After introducing natl*, we investigate some of its axiomatic properties. To demonstrate its value as a logic for reasoning about multi-agent systems, we show how natl* can be used to formalise a version of the social contract.