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.     

Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer's reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements.     

Justification logics and hybrid logics

Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, we prove a Realization Theorem, something that plays a central role for justification logics generally. Since justification logics are newer and less well known than hybrid logics, we sketch their background, and give pointers to their range of applicability. We conclude with suggestions for future research. Indeed, the main goal of this paper is to encourage others to continue the investigation begun here.     

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.     

Agential obligation as non-agential personal obligation plus agency

I explore various ways of integrating the framework for predeterminism, agency, and ability in [P. McNamara, Nordic J. Philos. Logic 5 (2) (2000) 135] with a framework for obligations. However, the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main current trend, which assumes statements of personal obligation always take agential complements. Instead, I take the basic form to be an agent's being obligated to be such that p. I sketch some logics for agential obligation based on personal obligation and agency, first in a fairly familiar context that rules out conflicting personal obligations (and derivatively, conflicting agential obligations), and then in contexts that do allow for conflicts (of both sorts). Finally, a solution to van Fraassen's puzzle is sketched, and an important theorem is proved.     

Rich deontic logic: a preliminary study

This paper begins the development of new types of deontic operators, particularly ones whose semantic characterization is based on models with forward-branching time. In such models, supplemented by a choice function to model human agency, and an obligation function to introduce normative features, it is possible to develop a rich language with a variety of obligation operators, differing from one another in how they relate to time, and to the causal conditions, the causal consequences, and the logical consequences of actions. We approach these concepts making extensive use of the notion of a transition, as introduced in [M. Xu, Synthese 112 (1997) 137].     

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.

Blueprint for a dynamic deontic logic

Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions.     

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.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

Performing the vertical jump: movement adaptations for submaximal jumping

The purpose of this study was to gain insight into the kinematics and kinetics of the vertical jump when jumping for different heights and to investigate movement effectiveness as a criterion for movement control in submaximal jumping. In order to jump high a countermovement is used and large body segments are rotated, both of which consume energy which is not directly used to gain extra jump height. It was hypothesized that the energy used to reach a specified jump height is minimized by limiting the non-effective energy consumed. Standing vertical jumps attempting 100%, 75%, 50%, and 25% of maximal height were performed by a group of 10 subjects. Force and motion data were recorded simultaneously during each performance. We found that jump height increased due to increasing vertical velocity at take off. This was primarily related to an increase in countermovement amplitude. As such, flexion amplitude of the hip joint increased with jump height whereas the ankle and knee joint flexion did not. These findings revealed that for submaximal jumping a consistent strategy was used of maximizing the contribution of distal joints and minimizing the contribution of proximal joints. Taking into account the high inertia of proximal segments, the potential energy deficit due to countermovement prior to joint extension, the advantageous horizontal orientation of the foot segment during stance and the tendon lengths in distal muscles, it was concluded that movement effectiveness is a likely candidate for the driving criterion of this strategy.     

Substantive and procedural norms in normative multiagent systems

Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to apply sanctions. Procedural norms have first been discussed in law, where they address legal practitioners such as legislators, lawyers and policemen, but they are discussed now too in normative multiagent systems to motivate software agents. Procedural norms aim to achieve the social order specified using regulative norms like obligations and permissions, and constitutive norms like counts-as obligations. In this paper we formalize procedural, regulative and constitutive norms using input/output logic enriched with an agent ontology and an abstraction hierarchy. We show how our formalization explains Castelfranchi's notion of mutual empowerment, stating that not only the agents playing a role in a normative system are empowered by the normative system, but the normative system itself is also empowered by the agents playing a role in it. In our terminology, the agents are not only institutionally empowered, but they are also delegated normative goals from the system. Together, institutional empowerment and normative goal delegation constitute a mechanism which we call delegation of power, where agents acting on behalf of the normative system become in charge of recognizing which institutional facts follow from brute facts.     

Gender differences in implicit and explicit memory for affective passages

Thirty-two participants were administered 4 verbal tasks, an Implicit Affective Task, an Implicit Neutral Task, an Explicit Affective Task, and an Explicit Neutral Task. For the Implicit Tasks, participants were timed while reading passages aloud as quickly as possible, but not so quickly that they did not understand. A target verbal passage was repeated three times, and alternated with other previously unread passages. The Implicit Affective and Neutral passages had strong affective or neutral content, respectively. The Explicit Tasks were administered at the end of testing, and consisted of multiple choice questions regarding the passages. Priming effects in terms of more rapid reading speed for the target compared to non-target passages were seen for both the Implicit Affective Task and the Implicit Neutral Task. Overall reading speed was faster for the passages with neutral compared to affective content, consistent with studies of the emotional Stroop effect. For the Explicit memory tasks, overall performance was better on the items from the repeated passage, and on the Affective compared to Neutral Task. The male subjects showed greater priming for affective material than female subjects, and a greater gain than female subjects in explicit memory for affective compared to neutral material.